Programming multi-agent systems
: 4th international workshop ; revised and invited papers / ProMAS 2006, Hakodate, Japan, May 9, 2006. Rafael H. Bordini ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4411 : Lecture notes in artificial intelligence)
ISBN 978-3-540-71956-4
Lizenzpflichtig
Quelle: DNB
Programming multi-agent systems
: third international workshop ; revised and invited papers / ProMAS 2005, Utrecht, The Netherlands, July 26, 2005. Rafael H. Bordini ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3862 : Lecture notes in artificial intelligence)
ISBN 978-3-540-32617-5
Lizenzpflichtig
Quelle: DNB
Programming multi-agent systems
: first international workshop ; selected revised and invited papers / PRoMAS 2003, Melbourne, Australia, July 15, 2003. Mehdi Dastani ... (ed.). - Berlin : Springer, 2004. - X, 220 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3067 : Lecture notes in artificial intelligence : Hot topics)
ISBN 978-3-540-22180-7 / 3-540-22180-8 kart. : EUR 42.80 (freier Pr.), sfr 73.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Apt, Krzysztof R.: Programmverifikation
: sequentielle, parallele und verteilte Programme / Krzysztof R. Apt ; Ernst-Rüdiger Olderog. - Berlin : Springer, 1994. - XII, 258 S.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-57479-8 / 3-540-57479-4 kart. : DM 48.00, sfr 48.00, S 374.40
Literaturverz. S. 245 - 250
Quelle: DNB
Programs as data objects
: second symposium ; proceedings / PADO 2001, Aarhus, Denmark, May 21 - 23, 2001. O. Danvy ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2053)
ISBN 978-3-540-44978-2
Lizenzpflichtig
Quelle: DNB
Progress and perspectives in the treatment of lung cancer
/ P. VanHoutte ... (ed.). With contributions by K. S. Albain ... Foreword by L. W. Brady and H.-P. Heilmann. - Berlin : Springer, 1999. - X, 280 S. : Ill., graph. Darst. - (Medical radiology)
ISBN 978-3-540-62548-3 / 3-540-62548-8 Pp : DM 298.00
Literaturangaben
Quelle: DNB
Progress in anti-cancer chemotherapy
/ Gabriel N. Hortobagyi ; David Khayat (ed.). - Paris : Springer, 1999. - 304 S. : graph. Darst.; 24 cm
ISBN 978-3-540-59666-0 / 3-540-59666-6 kart. : DM 198.00
Literaturangaben. - Teilw. auch mehrbd. begrenztes Werk
Quelle: DNB
Progress in artificial intelligence
: proceedings / IBERAMIA 98, 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5 - 9, 1998. Helder Coelho (ed.). - Berlin : Springer, 1998. - XIII, 420 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1484 : Lecture notes in artificial intelligence)
ISBN 978-3-540-64992-2 / 3-540-64992-1 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Progress in artificial intelligence
: proceedings / 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4 - 7, 2003. Fernando Moura Pires ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2902 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24580-3
Lizenzpflichtig
Quelle: DNB
Progress in artificial intelligence
: proceedings / 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21 - 24, 1999. Pedro Barahona ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 1695 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48159-1
Lizenzpflichtig
Quelle: DNB
