Тема, жанр, tags: Programming Languages Compilers Interpreters,Mathematical Logic and Formal Languages,Software Engine » Page 1479 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters,Mathematical Logic and Formal Languages,Software Engine » Page 1479

book Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings

Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings

djvu

Author: Peter Ørbæk (auth.) Peter A. Fritzson (eds.)
Language: English
Year: 1994

00

26.01.2024

2

0

book Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Wojciech Penczek Andrzej Szałas (eds.)
Language: English
Year: 1996

00

26.01.2024

1

0

book Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings

Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings

pdf

Author: John H. Reif (auth.) Peter Widmayer Stephan Eidenbenz Francisco Triguero Rafael Morales Ricardo Conejo Matthew Hennessy (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings

CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings

djvu

Author: Franco Barbanera Stefano Berardi (auth.) J. -C. Raoult (eds.)
Language: English
Year: 1992

00

26.01.2024

2

0

book Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

pdf

Author: Joshua D. Guttman (auth.) Bernhard Steffen Giorgio Levi (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Implementation of Functional Languages: 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers

Implementation of Functional Languages: 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers

pdf

Author: Claus Aßmann (auth.) Kevin Hammond Tony Davie Chris Clack (eds.)
Language: English
Year: 1999

00

26.01.2024

1

0

book Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

djvu

Author: Jürgen Dix Luís Moniz Pereira (auth.) Jürgen Dix Luís Moniz Pereira Teodor C. Przymusinski (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Advances in Exception Handling Techniques

Advances in Exception Handling Techniques

pdf

Author: J∅rgen Lindskov Knudsen (auth.) Alexander Romanovsky Christophe Dony Jørgen Lindskov Knudsen Anand Tripathi (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

djvu

Author: Norman Ramsey (auth.) Manuel V. Hermenegildo Daniel Cabeza (eds.)
Language: English
Year: 2005

00

26.01.2024

5

0

book Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

pdf

Author: Gert Smolka (auth.) Chris Hankin (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0