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

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

book Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

pdf

Author: Ricardo Peña Clara Segura (auth.) Markus Mohnen Pieter Koopman (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

pdf

Author: W. Bibel D. Korn C. Kreitz F. Kurucz (auth.) Norbert E. Fuchs (eds.)
Language: English
Year: 1998

00

26.01.2024

3

0

book Distributed Algorithms: 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13–15, 1995 Proceedings

Distributed Algorithms: 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13–15, 1995 Proceedings

djvu

Author: Mohamed G. Gouda (auth.) Jean-Michel Hélary Michel Raynal (eds.)
Language: English
Year: 1995

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

3

0

book Objective Coordination in Multi-Agent System Engineering: Design and Implementation

Objective Coordination in Multi-Agent System Engineering: Design and Implementation

pdf

Author: Michael Schumacher (auth.)
Language: English
Year: 2001

00

26.01.2024

1

0