Author books / Книги автора Jan van Leeuwen (ed.) » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Jan van Leeuwen (ed.) » Page 2

book Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

pdf

Author: Jan van Leeuwen (ed.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

pdf

Author: Christos H. Papadimitriou (auth.) Fernando Orejas Paul G. Spirakis Jan van Leeuwen (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

pdf

Author: Parosh Aziz Abdulla (auth.) Jan van Leeuwen Anca Muscholl David Peleg Jaroslav Pokorný Bernhard Rumpe (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

pdf

Author: Thomas Johnsson (auth.) Emile H. L. Aarts Jan van Leeuwen Martin Rem (eds.)
Language: English
Year: 1991

00

27.01.2024

0

0

book Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

pdf

Author: Marek Karplnski and Jan van Leeuwen (Eds.)
Language: English
Year: 1985

00

27.01.2024

0

0

book SOFSEM 2007: Theory and Practice of Computer Science: 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

SOFSEM 2007: Theory and Practice of Computer Science: 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

pdf

Author: Ricardo Baeza-Yates (auth.) Jan van Leeuwen Giuseppe F. Italiano Wiebe van der Hoek Christoph Meinel Harald Sack František Plášil (eds.)
Language: English
Year: 2007

00

27.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

pdf

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

00

27.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

pdf

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

00

27.01.2024

0

0

book Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

pdf

Author: W. Ainhirn (auth.) Jaco de Bakker Jan van Leeuwen (eds.)
Language: English
Year: 1980

00

27.01.2024

0

0

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

27.01.2024

0

0