Тема, жанр, tags: Theory of Computation,Software Engineering/Programming and Operating Systems,Discrete Mathematics in » Page 1389 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Theory of Computation,Software Engineering/Programming and Operating Systems,Discrete Mathematics in » Page 1389

book Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

pdf

Author: Bernard Chazelle (auth.) Lars Arge Christian Cachin Tomasz Jurdziński Andrzej Tarlecki (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers

Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers

djvu

Author: H. Ehrig M. Gajewsky U. Wolter (auth.) Francesco Parisi Presicce (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Lectures on Petri Nets II: Applications: Advances in Petri Nets

Lectures on Petri Nets II: Applications: Advances in Petri Nets

djvu

Author: Eike Best Raymond Devillers Maciej Koutny (auth.) Wolfgang Reisig Grzegorz Rozenberg (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

pdf

Author: Roswitha Bardohl Martin Groβe-Rhode (auth.) Maura Cerioli Gianna Reggio (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Unifying Petri Nets: Advances in Petri Nets

Unifying Petri Nets: Advances in Petri Nets

pdf

Author: Jörg Desel Gabriel Juhás (auth.) Hartmut Ehrig Julia Padberg Gabriel Juhás Grzegorz Rozenberg (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Edmund M. Clarke Robert P. Kurshan (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

pdf

Author: Jordi Cortadella Michael Kishinevsky Alex Kondratyev Luciano Lavagno Alex Yakovlev (auth.) Mogens Nielsen Dan Simpson (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Compiler Construction: 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Compiler Construction: 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

pdf

Author: Marjan Mernik Mitja Lenič Enis Avdičaušević Viljem Žumer (auth.) R. Nigel Horspool (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book SOFSEM 2005: Theory and Practice of Computer Science: 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

SOFSEM 2005: Theory and Practice of Computer Science: 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

pdf

Author: Hans L. Bodlaender (auth.) Peter Vojtáš Mária Bieliková Bernadette Charron-Bost Ondrej Sýkora (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

pdf

Author: Andreas Podelski (auth.) Lenore D. Zuck Paul C. Attie Agostino Cortesi Supratik Mukhopadhyay (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0