Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques,Programming Languages Compilers Inte » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques,Programming Languages Compilers Inte » Page 2

book Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

pdf

Author: Manuel Hermenegildo Germán Puebla Francisco Bueno (auth.) Barry O’Sullivan (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

pdf

Author: José Meseguer (auth.) Dang Van Hung Martin Wirsing (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

pdf

Author: Philippe Blache (auth.) Henning Christiansen Peter Rossen Skadhauge Jørgen Villadsen (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

pdf

Author: Dawson Engler (auth.) Martín Abadi Luca de Alfaro (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

pdf

Author: Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Yichen Xie (auth.) Philippa Gardner Nobuko Yoshida (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers

pdf

Author: Krzysztof R. Apt Peter Zoeteweij (auth.) Krzysztof R. Apt François Fages Francesca Rossi Péter Szeredi Josef Váncza (eds.)
Language: English
Year: 2004

00

27.01.2024

1

0

book The Mathematica GuideBook for Programming

The Mathematica GuideBook for Programming

pdf

Author: Michael Trott (auth.)
Language: English
Year: 2004

00

27.01.2024

1

0

book Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

djvu

Author: Hartmut Ehrig Bernd Mahr
Language: English
Year: 1985

00

27.01.2024

1

0

book Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

pdf

Author: Vítor Santos Costa (auth.) Maria Garcia de la Banda Enrico Pontelli (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

pdf

Author: Monica S. Lam (auth.) Sandro Etalle Mirosław Truszczyński (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0