Тема, жанр, tags: Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Logics and Meanings of Pro » Page 415 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Logics and Meanings of Pro » Page 415

book STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings

STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings

djvu

Author: Raimund Seidel (auth.) Patrice Enjalbert Ernst W. Mayr Klaus W. Wagner (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

pdf

Author: Ralph-Johan Back (auth.) Susanna Donatelli P. S. Thiagarajan (eds.)
Language: English
Year: 2006

00

26.01.2024

7

0

book Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings

Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings

djvu

Author: Clarence A. Ellis Gary J. Nutt (auth.) Marco Ajmone Marsan (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24–28, 1981

Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24–28, 1981

djvu

Author: J. Adámek (auth.) Prof. Ferenc Gécseg (eds.)
Language: English
Year: 1981

00

26.01.2024

0

0

book CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

pdf

Author: Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Yichen Xie (auth.) Philippa Gardner Nobuko Yoshida (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975

djvu

Author: J. M. Barzdin J. J. Bičevskis (auth.) Dr. Jíří Bečvář (eds.)
Language: English
Year: 1975

00

26.01.2024

0

0

book Distributed Algorithms: 3rd International Workshop Nice, France, September 26–28, 1989 Proceedings

Distributed Algorithms: 3rd International Workshop Nice, France, September 26–28, 1989 Proceedings

djvu

Author: Judit Bar-Ilan Dror Zernik (auth.) Jean-Claude Bermond Michel Raynal (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

pdf

Author: Dines Bjørner (auth.) Václav Hlaváč Keith G. Jeffery Jiří Wiedermann (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974

Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974

djvu

Author: M. A. Arbib E. G. Manes (auth.) Dr. Ernest Gene Manes (eds.)
Language: English
Year: 1975

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

pdf

Author: Silvano Dal Zilio Andrew D. Gordon (auth.) Mogens Nielsen Branislav Rovan (eds.)
Language: English
Year: 2000

00

26.01.2024

3

0