Algebra, meaning, and computation
: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi ... (ed.). - Berlin : Springer, 2006. - XXXVIII, 642 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4060 : Festschrift)
ISBN 978-3-540-35462-8 / 3-540-35462-X kart. : EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.)
Bibliogr. S. XIII - XXXVIII
Quelle: DNB Verlagsmeldungen
Algebra, meaning, and computation
: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4060)
ISBN 978-3-540-35464-2
Lizenzpflichtig
Quelle: DNB
Applications of declarative programming and knowledge management
: revised selected papers / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004 and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4 - 6, 2004, Dietmar Seipel ... (ed.). - Berlin : Springer, 2005. - X, 308 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3392 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25560-4 / 3-540-25560-5 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Concurrency, graphs and models
: essays dedicated to Ugo Montanari on the occasion of his 65th birthday / Pierpaolo Degano ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5065)
ISBN 978-3-540-68679-8
Lizenzpflichtig
Quelle: DNB
Constraint programming
: [proceedings of the NATO Advanced Study Institute on Constraint Programming, held at Pärnu, Estonia, August 13 - 24, 1993] / ed. by Brian Mayoh ... Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1994. - 449 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 131)
ISBN 978-3-540-57859-8 / 3-540-57859-5 Pp. : DM 148.00
Literaturangaben
Quelle: DNB
Constraint programming
: basics and trends ; Châtillon-sur-Seine, France, May 16 - 20, 1994 ; selected papers / Andreas Podelski (ed.). - Berlin : Springer, 1995. - IX, 316 S. : graph. Darst.; 24 cm - (... Spring school / [Laboratoire d'Informatique Théorique et Programmation]; 1994)
ISBN 978-3-540-59155-9 / 3-540-59155-9 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Constraint solving and language processing
: first international workshop ; revised selected and invited papers / CSLP 2004, Roskilde, Denmark, September 1 - 3, 2004. Henning Christiansen ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3438 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31928-3
Lizenzpflichtig
Quelle: DNB
Constraint solving and language processing
: first international workshop ; revised selected and invited papers / CSLP 2004, Roskilde, Denmark, September 1 - 3, 2004. Henning Christiansen ... (ed.). - Berlin : Springer, 2005. - VIII, 204 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3438 : Lecture notes in artificial intelligence)
ISBN 978-3-540-26165-0 / 3-540-26165-6 kart.
Literaturangaben
Quelle: DNB
Declarative programming for knowledge management
: revised selected papers / 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22 - 24, 2005. Masanobu Umeda ...(ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4369 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69234-8
Lizenzpflichtig
Quelle: DNB
Hofstedt, Petra: Einführung in die Constraint-Programmierung
: Grundlagen, Methoden, Sprachen, Anwendungen / Petra Hofstedt ; Armin Wolf. - Berlin : Springer, 2007. - XII, 388 S. : graph. Darst.; 24 cm - (eXamen.press)
ISBN 978-3-540-23184-4 / 3-540-23184-6 kart. : EUR 29.95, sfr 51.00
Literaturverz. S. 367 - 378
Quelle: DNB Verlagsmeldungen