Тема, жанр, tags: Logics and Meanings of Programs,Computation by Abstract Devices,Programming Languages Compilers Inte » Page 259 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Computation by Abstract Devices,Programming Languages Compilers Inte » Page 259

book CONCUR '97: Concurrency Theory: 8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings

CONCUR '97: Concurrency Theory: 8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings

djvu

Author: Jeremy Gunawardena (auth.) Antoni Mazurkiewicz Józef Winkowski (eds.)
Language: English
Year: 1997

00

26.01.2024

3

0

book Algorithms and Complexity: 4th Italian Conference, CIAC 2000 Rome, Italy, March 1–3, 2000 Proceedings

Algorithms and Complexity: 4th Italian Conference, CIAC 2000 Rome, Italy, March 1–3, 2000 Proceedings

pdf

Author: Giorgio Ausiello Stefano Leonardi Alberto Marchetti-Spaccamela (auth.) Giancarlo Bongiovanni Rossella Petreschi Giorgio Gambosi (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

pdf

Author: Wan Fokkink Natalia Ioustinova Ernst Kesseler Jaco van de Pol Yaroslav S. Usenko (auth.) Luboš Brim Mojmír Křetínský Antonín Kučera Petr Jančar (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Distributed Algorithms: 10th International Workshop, WDAG '96 Bologna, Italy, October 9–11, 1996 Proceedings

Distributed Algorithms: 10th International Workshop, WDAG '96 Bologna, Italy, October 9–11, 1996 Proceedings

djvu

Author: Butler W. Lampson (auth.) Özalp Babaoğlu Keith Marzullo (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Conceptual Modeling: Current Issues and Future Directions

Conceptual Modeling: Current Issues and Future Directions

pdf

Author: Peter P. Chen (auth.) G. Goos J. Hartmanis J. van Leeuwen Peter P. Chen Jacky Akoka Hannu Kangassalu Bernhard Thalheim (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 1984: Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984

Mathematical Foundations of Computer Science 1984: Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984

djvu

Author: José Luis Balcázar (auth.) M. P. Chytil V. Koubek (eds.)
Language: English
Year: 1984

00

26.01.2024

0

0

book Unconventional Computation: 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings

Unconventional Computation: 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings

pdf

Author: Aurélie Goulon Arthur Duprat Gérard Dreyfus (auth.) Cristian S. Calude Michael J. Dinneen Gheorghe Păun Grzegorz Rozenberg Susan Stepney (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Graph-Theoretic Concepts in Computer Science: 25th International Workshop, WG’99 Ascona, Switzerland, June 17–19, 1999 Proceedings

Graph-Theoretic Concepts in Computer Science: 25th International Workshop, WG’99 Ascona, Switzerland, June 17–19, 1999 Proceedings

pdf

Author: Hartmut Noltemeier (auth.) Peter Widmayer Gabriele Neyer Stephan Eidenbenz (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Implementation and Application of Automata: 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers

Implementation and Application of Automata: 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers

pdf

Author: Iñaki Alegria Maxux Aranzabe Nerea Ezeiza (auth.) Bruce W. Watson Derick Wood (eds.)
Language: English
Year: 2002

00

26.01.2024

1

0

book Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

djvu

Author: G. Mints E. Tyugu (auth.) Janis Bārzdinš Dines Bjørner (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0