[Types for proofs and programs]
: [international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003] / [Stefano Berardi ... (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3085])
ISBN 978-3-540-24849-1
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Heuel, Stephan: [Uncertain projective geometry]
: [statistical reasoning for polyhedral object reconstruction] / [Stephan Heuel]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3008])
ISBN 978-3-540-24656-5
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
[Uniqueness theorems for variational problems by the method of transformation groups]
/ [Wolfgang Reichel]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in mathematics]; [1841])
ISBN 978-3-540-40915-1
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Wonderen der natuur
/ ETI. - Berlin : [Springer], 1998. - 124 S. : Ill.; 21 cm
ISBN 978-3-540-14662-9 : DM 219.24
Quelle: DNB
