Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 356 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 356

book GAG: A Practical Compiler Generator

GAG: A Practical Compiler Generator

djvu

Author: Uwe Kastens Brigitte Hutt Erich Zimmermann (auth.)
Language: English
Year: 1982

00

26.01.2024

0

0

book CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings

CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings

djvu

Author: Samson Abramsky (auth.) Ugo Montanari Vladimiro Sassone (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers

Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers

pdf

Author: Kevin Hammond Greg Michaelson (auth.) Ricardo Peña Thomas Arts (eds.)
Language: English
Year: 2003

00

26.01.2024

2

0

book Languages and Compilers for Parallel Computing: 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003. Revised Papers

Languages and Compilers for Parallel Computing: 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003. Revised Papers

djvu

Author: Heidi Ziegler Mary Hall Byoungro So (auth.) Lawrence Rauchwerger (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

djvu

Author: Cliff B Jones (auth.) Hanne Riis Nielson (eds.)
Language: English
Year: 1996

00

26.01.2024

2

0

book Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

pdf

Author: Tobias Nipkow (auth.) Kamel Barkaoui Ana Cavalcanti Antonio Cerone (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

pdf

Author: María Alpuente Santiago Escobar José Iborra (auth.) Andrei Voronkov (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Reasoning with Logic Programming

Reasoning with Logic Programming

djvu

Author: José Júlio Alferes Luís Moniz Pereira (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

pdf

Author: E. Allen Emerson (auth.) Neil D. Jones Markus Müller-Olm (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

djvu

Author: Egon Börger (auth.) Branislav Rovan (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0