Тема, жанр, tags: Computation by Abstract Devices » Page 421 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices » Page 421

book Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

pdf

Author: Robert Giegerich Peter Steffen (auth.) Eerke A. Boiten Bernhard Möller (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Algorithmic Learning Theory: 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings

Algorithmic Learning Theory: 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings

pdf

Author: Nicolò Cesa-Bianchi Masayuki Numao Rüdiger Reischuk (eds.)
Language: English
Year: 2002

00

26.01.2024

3

0

book Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Wojciech Penczek Andrzej Szałas (eds.)
Language: English
Year: 1996

00

26.01.2024

1

0

book Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings

Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings

pdf

Author: John H. Reif (auth.) Peter Widmayer Stephan Eidenbenz Francisco Triguero Rafael Morales Ricardo Conejo Matthew Hennessy (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings

CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings

djvu

Author: Franco Barbanera Stefano Berardi (auth.) J. -C. Raoult (eds.)
Language: English
Year: 1992

00

26.01.2024

2

0

book Graph-Theoretic Concepts in Computer Science: 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 Proceedings

Graph-Theoretic Concepts in Computer Science: 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 Proceedings

djvu

Author: Hans L. Bodlaender John R. Gilbert (auth.) Gunther Schmidt Rudolf Berghammer (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

pdf

Author: Marcin Bienkowski Friedhelm Meyer auf der Heide (auth.) Joanna Jȩdrzejowicz Andrzej Szepietowski (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

pdf

Author: Luigi Acerbi Alberto Dennunzio Enrico Formenti (auth.) S. Barry Cooper Benedikt Löwe Andrea Sorbi (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop WG 80 Bad Honnef, June 15–18, 1980

Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop WG 80 Bad Honnef, June 15–18, 1980

djvu

Author: H. Maurer (auth.) Hartmut Noltemeier (eds.)
Language: English
Year: 1981

00

26.01.2024

0

0

book Advances in Petri Nets 1989

Advances in Petri Nets 1989

djvu

Author: M. Ajmone Marsan (auth.) Grzegorz Rozenberg (eds.)
Language: English
Year: 1990

00

26.01.2024

1

0