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

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

book Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

pdf

Author: Alfredo Cristóbal-Salas Andrey Chernykh (auth.) Clemens Grelck Frank Huch Greg J. Michaelson Phil Trinder (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book CONCUR'93: 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings

CONCUR'93: 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings

djvu

Author: Gérard Boudol (auth.) Eike Best (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings

CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings

pdf

Author: Albert Benveniste Stefan Haar Eric Fabre Claude Jard (auth.) Roberto Amadio Denis Lugiez (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

pdf

Author: Andreas Abel (auth.) Martin Hofmann (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0

book CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

pdf

Author: Rance Cleaveland (auth.) Jos C. M. Baeten Sjouke Mauw (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming — CP96: Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings

Principles and Practice of Constraint Programming — CP96: Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings

djvu

Author: Slim Abdennadher Thom Frühwirth (auth.) Eugene C. Freuder (eds.)
Language: English
Year: 1996

00

26.01.2024

1

0

book Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers

pdf

Author: Davide Ancona (auth.) José Luiz Fiadeiro (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Languages and Compilers for High Performance Computing: 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

Languages and Compilers for High Performance Computing: 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

pdf

Author: Troy A. Johnson Sang-Ik Lee Long Fei (auth.) Rudolf Eigenmann Zhiyuan Li Samuel P. Midkiff (eds.)
Language: English
Year: 2005

00

26.01.2024

1

0

book Languages and Compilers for Parallel Computing: 12th International Workshop, LCPC’99 La Jolla, CA, USA, August 4–6, 1999 Proceedings

Languages and Compilers for Parallel Computing: 12th International Workshop, LCPC’99 La Jolla, CA, USA, August 4–6, 1999 Proceedings

pdf

Author: Pedro V. Artigas Manish Gupta Samuel P. Midkiff José E. Moreira (auth.) Larry Carter Jeanne Ferrante (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

pdf

Author: Paolo Baldan Paolo Mancarella Alessandra Raffaetà Franco Turini (auth.) Antonis C. Kakas Fariba Sadri (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0