Тема, жанр, tags: Computation by Abstract Devices,Software Engineering/Programming and Operating Systems,Logics and Me » Page 1482 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices,Software Engineering/Programming and Operating Systems,Logics and Me » Page 1482

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

3

0

book CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

djvu

Author: Klaus Ambos-Spies Jürgen Kämper (auth.) Egon Börger Hans Kleine Büning Michael M. Richter (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

djvu

Author: William McCune (auth.) Hubert Comon (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

djvu

Author: Pascal Van Hentenryck (auth.) Gert Smolka (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

djvu

Author: Ilies Alouini Claude Kirchner (auth.) Michael Hanus Mario Rodríguez-Artalejo (eds.)
Language: English
Year: 1996

00

26.01.2024

1

0

book Languages and Compilers for Parallel Computing: 5th International Workshop New Haven, Connecticut, USA, August 3–5, 1992 Proceedings

Languages and Compilers for Parallel Computing: 5th International Workshop New Haven, Connecticut, USA, August 3–5, 1992 Proceedings

djvu

Author: W. Kim G. Agha (auth.) Utpal Banerjee David Gelernter Alex Nicolau David Padua (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

pdf

Author: Philippe Jorrand Marie Lalire (auth.) Jean-Pierre Banâtre Pascal Fradet Jean-Louis Giavitto Olivier Michel (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings

CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings

djvu

Author: Pierre America (auth.) Jos C. M. Baeten Jan Frisco Groote (eds.)
Language: English
Year: 1991

00

26.01.2024

4

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