Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniq » Page 1471 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniq » Page 1471

book Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

pdf

Author: Diego Calvanese (auth.) Bernhard Beckert (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

pdf

Author: Thierry Coquand (auth.) Paweł Urzyczyn (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book Languages and Compilers for Parallel Computing: Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings

Languages and Compilers for Parallel Computing: Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings

djvu

Author: G. Agha C. Houck R. Panwar (auth.) Utpal Banerjee David Gelernter Alex Nicolau David Padua (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

pdf

Author: Hamideh Afsarmanesh Ersin Kaletas Louis O. Hertzberger (auth.) Leszek Pacholski Peter Ružička (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

pdf

Author: Tony Hoare Jay Misra (auth.) Bertrand Meyer Jim Woodcock (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

pdf

Author: Ulrich Herzog (auth.) Ed Brinksma Holger Hermanns Joost-Pieter Katoen (eds.)
Language: English
Year: 2001

00

26.01.2024

3

0

book Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

pdf

Author: Vijay Saraswat (auth.) Zhong Shao (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Automata, Languages and Programming: 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings

Automata, Languages and Programming: 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings

djvu

Author: Alok Aggarwal Ashok K. Chandra (auth.) Timo Lepistö Arto Salomaa (eds.)
Language: English
Year: 1988

00

26.01.2024

0

0

book Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings

Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings

pdf

Author: Jan A. Bergstra Inge Bethke (auth.) Jos C. M. Baeten Jan Karel Lenstra Joachim Parrow Gerhard J. Woeginger (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Implementation of Functional Languages: 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers

Implementation of Functional Languages: 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers

pdf

Author: Simon Peyton Jones Thomas Nordin Dino Oliva (auth.) Chris Clack Kevin Hammond Tony Davie (eds.)
Language: English
Year: 1998

00

26.01.2024

1

0