Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
Applications of Declarative Programming and Knowledge Management
Lecture Notes in Computer Science Vol.7773
19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
2013, xiii, 365   S., XIII, 365 p. 67 illus. 235 mm, Softcover
Springer

mehr Infos

 

Dietmar Seipel, Michael Hanus, Armin Wolf
Applications of Declarative Programming and Knowledge Management
Lecture Notes in Computer Science Bd.5437
17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
2009
2009, x, 253   S., X, 253 p. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Petra Hofstedt, Armin Wolf
Einführung in die Constraint-Programmierung
eXamen.press
Grundlagen, Methoden, Sprachen, Anwendungen
2007, xii, 388   S., 49 SW-Abb.,. 23,5 cm, Softcover
Springer, Berlin

mehr Infos

 

Declarative Programming for Knowledge Management
Lecture Notes in Computer Science Bd.4369, Band 4369
16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
2006
2006, x, 229   S., X, 229 p. Also available online. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Detection of Intrusions and Malware, and Vulnerability Assessment
Lecture Notes in Computer Science Vol.4064
Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings
2006, x, 195   S., X, 195 p. Also available online. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Katrin Franke, Klaus-Robert Müller, Bertram Nickolay, Ralf Schäfer
Pattern Recognition
Lecture Notes in Computer Science Vol.4174
28th DAGM Symposium, Berlin, Germany, September 12-14, 2006, Proceedings
2006, xx, 784   S., XX, 773 p. Also available online. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Applications of Declarative Programming and Knowledge Management
Lecture Notes in Computer Science Vol.3392
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, Revised
2005
2005, x, 315   S., 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Stochastic Algorithms: Foundations and Applications
Lecture Notes in Computer Science Vol.3777
Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
2005, viii, 240   S., VIII, 239 p. Also available online. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Advanced Parallel Processing Technologies
Lecture Notes in Computer Science Vol.2834
5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
2003
2003, xiv, 678   S., XIV, 678 p. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Stochastic Algorithms: Foundations and Applications
Lecture Notes in Computer Science Vol.2264
International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001 Proceedings
2001, ccxvi, 208   S., CCXVI, 208 p. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Balancing Reactivity and Social Deliberation in Multi-Agent Systems
Lecture Notes in Computer Science Vol.2103
From RoboCup to Real-World Applications
2001
2001, viii, 244   S., VIII, 237 pp. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Alexander Nareyek
Constraint-Based Agents
Lecture Notes in Computer Science Vol.2062
An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds
2001, xiv, 186   S., XIV, 186 p. 235 mm, Softcover
Springer, Berlin

mehr Infos

 

Local Search for Planning and Scheduling
Lecture Notes in Computer Science Vol.2148
ECAI 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers
2001
2001, viii, 176   S., VIII, 176 p. 235 x 155 mm, Softcover
Springer, Berlin

mehr Infos

 

Stefan Jähninchen
Compiler Construction
Lecture Notes in Computer Science Vol.1575
8th International Conference, CC "99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS "99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings
1999, x, 310   S., X, 310 p. 23,5 cm, Softcover
Springer, Berlin

mehr Infos

 

Manfred Broy, Stefan Jähnichen
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Lecture Notes in Computer Science Vol.1009
Final Report
1995, x, 458   S., X, 458 p. 23,5 cm, Softcover
Springer, Berlin

mehr Infos