Тема, жанр, tags: Programming Languages Compilers Interpreters,Logics and Meanings of Programs,Mathematical Logic and » Page 1483 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters,Logics and Meanings of Programs,Mathematical Logic and » Page 1483

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

0

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

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