Author books / Книги автора Anne Berry Jean R. S. Blair (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Luděk Kučera (eds.) » Page 19 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Anne Berry Jean R. S. Blair (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Luděk Kučera (eds.) » Page 19

book Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers

Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers

pdf

Author: Anne Berry Jean R. S. Blair (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Luděk Kučera (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

pdf

Author: Jean-Pierre Jouannaud Ralf Treinen (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Hubert Comon Claude Marché Ralf Treinen (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

djvu

Author: Sten Agerholm (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Joakim von Wright Jim Grundy John Harrison (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Graph-Theoretic Concepts in Computer Science: International Workshop WG '88 Amsterdam, The Netherlands, June 15–17, 1988 Proceedings

Graph-Theoretic Concepts in Computer Science: International Workshop WG '88 Amsterdam, The Netherlands, June 15–17, 1988 Proceedings

djvu

Author: Hans L. Bodlaender (auth.) J. van Leeuwen (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book Algorithms — ESA '94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings

Algorithms — ESA '94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings

djvu

Author: Andrew V. Goldberg (auth.) Jan van Leeuwen (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

pdf

Author: Alex Biryukov Adi Shamir David Wagner (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Bruce Schneier (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Supramolecular Catalysis

Supramolecular Catalysis

pdf

Author: Piet W. N. M. van Leeuwen
Language: English
Year: 2008

00

26.01.2024

1

0

book Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning

Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning

pdf

Author: Jos P. van Leeuwen Harry J.P. Timmermans
Language: English
Year: 2010

00

26.01.2024

0

0

book Hipparcos, the New Reduction of the Raw Data

Hipparcos, the New Reduction of the Raw Data

pdf

Author: Floor van Leeuwen
Language: English
Year: 2010

00

26.01.2024

1

0

book Catalysis: An Integrated Approach

Catalysis: An Integrated Approach

pdf

Author: R.A. van Santen P.W.N.M. van Leeuwen J.A. Moulijn and B.A. Averill (Eds.)
Language: English
Year: 1999

00

26.01.2024

1

0