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
Progress in artificial intelligence
: proceedings / IBERAMIA 98, 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5 - 9, 1998. Helder Coelho (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 1484 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49795-0
Lizenzpflichtig
Quelle: DNB
Progress in artificial intelligence
: proceedings / 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Guimarães, Portugal, December 3 - 7, 2007. José Neves ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4874 : Lecture notes in artificial intelligence)
ISBN 978-3-540-77002-2
Lizenzpflichtig
Quelle: DNB
Progress in artificial intelligence
: proceedings / 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5 - 8, 2005. Carlos Bento ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3808 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31646-6
Lizenzpflichtig
Quelle: DNB
