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

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

book Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

djvu

Author: Claude Kirchner (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings

STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings

pdf

Author: Noam Nisan (auth.) Christoph Meinel Sophie Tison (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

pdf

Author: Cinzia Bernardeschi Nicoletta De Francesco (auth.) Agostino Cortesi (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

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 Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers

Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers

djvu

Author: H. Ehrig M. Gajewsky U. Wolter (auth.) Francesco Parisi Presicce (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

djvu

Author: Klaus Ambos-Spies Jürgen Kämper (auth.) Egon Börger Hans Kleine Büning Michael M. Richter (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

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