Тема, жанр, tags: Computation by Abstract Devices,Programming Languages Compilers Interpreters,Mathematical Logic and » Page 594 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices,Programming Languages Compilers Interpreters,Mathematical Logic and » Page 594

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

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

book Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

djvu

Author: Martín Abadi Luca Cardelli (auth.) Donald Sannella (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book SOFSEM '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings

SOFSEM '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings

djvu

Author: Jirí Wiedermann (auth.) Miroslav Bartosek Jan Staudek Jirí Wiedermann (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

pdf

Author: Nachum Dershowitz Georg Moser (auth.) Hubert Comon-Lundh Claude Kirchner Hélène Kirchner (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

pdf

Author: Peter J. Stuckey Martin Sulzmann Jeremy Wazny (auth.) Naoki Kobayashi (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Compiling Natural Semantics

Compiling Natural Semantics

pdf

Author: Mikael Pettersson (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

pdf

Author: Matthew M. Huntbach Graem A. Ringwood (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0