Тема, жанр, tags: Programming Techniques,Programming Languages Compilers Interpreters,Artificial Intelligence (incl. R » Page 362 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Techniques,Programming Languages Compilers Interpreters,Artificial Intelligence (incl. R » Page 362

book Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

pdf

Author: Alain Colmerauer (auth.) Peter J. Stuckey (eds.)
Language: English
Year: 2008

00

26.01.2024

3

0

book CAAP '90: 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

CAAP '90: 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

djvu

Author: Tirza Hirst David Harel (auth.) A. Arnold (eds.)
Language: English
Year: 1990

00

26.01.2024

1

0

book TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

djvu

Author: Hartmut Ehrig Bernd Mahr (auth.) Peter D. Mosses Mogens Nielsen Michael I. Schwartzbach (eds.)
Language: English
Year: 1995

00

26.01.2024

2

0

book Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

pdf

Author: Matthew M. Huntbach Graem A. Ringwood (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0

book CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

djvu

Author: Robin Milner (auth.) W.R. Cleaveland (eds.)
Language: English
Year: 1992

00

26.01.2024

1

0

book Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

pdf

Author: Kokichi Futatsugi (auth.) Zhenjiang Hu Mario Rodríguez-Artalejo (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

djvu

Author: Jean-Raymond Abrial Egon Börger (auth.) Jean-Raymond Abrial Egon Börger Hans Langmaack (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Compiler Construction: 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings

Compiler Construction: 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings

djvu

Author: Jian Wang Guang R. Gao (auth.) Tibor Gyimóthy (eds.)
Language: English
Year: 1996

00

26.01.2024

1

0

book Algebraic and Logic Programming: Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings

Algebraic and Logic Programming: Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings

djvu

Author: Hassan Aït-Kaci (auth.) Hélène Kirchner Giorgio Levi (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

pdf

Author: Gerhard Weiß Felix Fischer Matthias Nickles Michael Rovatsos (auth.) Jörg P. Müller Franco Zambonelli (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0