Тема, жанр, tags: Theory of Computation,Software Engineering/Programming and Operating Systems,Mathematics of Computin » Page 1480 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Theory of Computation,Software Engineering/Programming and Operating Systems,Mathematics of Computin » Page 1480

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

0

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

0

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

0

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

book Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings

pdf

Author: Dana S. Scott (auth.) Jiří Sgall Aleš Pultr Petr Kolman (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Parallel Computer Architectures: Theory, Hardware, Software, Applications

Parallel Computer Architectures: Theory, Hardware, Software, Applications

djvu

Author: Johannes Schwider Norbert Streibl Konrad Zürl (auth.) Arndt Bode Mario Dal Cin (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0