Russo, Lucio: The forgotten revolution
: how science was born in 300 BC and why it had to be reborn / Lucio Russo. With the collab. of the transl., Silvio Levy. - Berlin : Springer, 2004. - IX, 487 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-20396-4 / 3-540-20396-6 kart. : EUR 32.05, sfr 54.50
Literaturverz. S. 419 - 434
Quelle: DNB Verlagsmeldungen
Formability of metallic materials
: plastic anisotropy, formability testing, forming limits / D. Banabic ... Ed. by D. Banabic. - Berlin : Springer, 2000. - XV, 334 S. : graph. Darst.; 24 cm - (Engineering materials)
ISBN 978-3-540-67906-6 / 3-540-67906-5 Pp. : DM 249.00
Literaturangaben
Quelle: DNB
Formal and natural computing
: essays dedicated to Grzegorz Rozenberg / W. Brauer ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2300)
ISBN 978-3-540-45711-4
Lizenzpflichtig
Quelle: DNB
Formal approaches to agent based systems
: first international workshop ; revised papers / FAABS 2000, Greenbelt, MD, USA, April 5 - 7, 2000. James L. Rash ... (ed.). - Berlin : Springer, 2001. - IX, 368 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1871 : Lecture notes in artificial intelligence)
ISBN 978-3-540-42716-2 / 3-540-42716-3 kart.
Literaturangaben
Quelle: DNB
Formal approaches to agent based systems
: second international workshop ; revised papers / FAABS 2002, Greenbelt, MD, USA, October 29 - 31, 2002. Michael G. Hinchey ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2699 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45133-4
Lizenzpflichtig
Quelle: DNB
Formal approaches to agent based systems
: first international workshop ; revised papers / FAABS 2000, Greenbelt, MD, USA, April 2000. J. L. Rash ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1871 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45484-7
Lizenzpflichtig
Quelle: DNB
Formal approaches to agent based systems
: second international workshop ; revised papers / FAABS 2002, Greenbelt, MD, USA, October 29 - 31, 2002. Michael G. Hinchey ... (ed.). - Berlin : Springer, 2003. - IX, 295 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2699 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40665-5 / 3-540-40665-4 kart. : EUR 49.22, sfr 79.00
Literaturangaben
Quelle: DNB
Formal approaches to agent based systems
: third international workshop ; revised selected papers / FAABS 2004, Greenbelt, MD, USA, April 26 - 27, 2004. Michael G. Hinchey ... (ed.). - Berlin : Springer, 2005. - VIII, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3228 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24422-6 / 3-540-24422-0 kart. : EUR 48.15 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ; Andreas Ulrich (ed.). - Berlin : Springer, 2004. - VIII, 266 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2931)
ISBN 978-3-540-20894-5 / 3-540-20894-1 kart. : EUR 44.94 (freier Pr.), sfr 76.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2931)
ISBN 978-3-540-24617-6
Lizenzpflichtig
Quelle: DNB
