Higher order logic theorem proving and its applications
- Berlin : Springer, 1994. - IX, 517 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 780)
ISBN 978-3-540-57826-0 / 3-540-57826-9 Pp. : DM 96.00
Quelle: DNB
Higher order logic theorem proving and its applications
- Berlin : Springer, 1994. - IX, 470 S. : graph. Darst. - (Lecture notes in computer science; Vol. 859)
ISBN 978-3-540-58450-6 / 3-540-58450-1 kart. : DM 86.00
Quelle: DNB
Higher order logic theorem proving and its applications
- Berlin : Springer, 1995. - (Lecture notes in computer science; Vol. 971)
ISBN 978-3-540-60275-0 / 3-540-60275-5 kart. : DM 86.00
Quelle: DNB
Cohen, Gary C.: Higher order numerical methods for transient wave equations
/ Gary C. Cohen. - Berlin : Springer, 2002. - XVIII, 348 S. : Ill., graph. Darst.; 24 cm - (Scientific computation)
ISBN 978-3-540-41598-5 / 3-540-41598-X Pp.
Literaturverz. S. 341 - 346
Quelle: DNB
High field brain MRI
: use in clinical practice / U. Salvolini ; T. Scarabino (ed.). - Berlin : Springer, 2006. - XV, 237 S. : zahlr. Ill., graph. Darst.; 28 cm
ISBN 978-3-540-31775-3 / 3-540-31775-9 Pp. : EUR 106.95 (freier Pr.), sfr 169.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Leo, Karl: High field transport in semiconductor superlattices
/ Karl Leo. - Berlin : Springer, 2003. - XIV, 240 S. : graph. Darst.; 24 cm - (Springer tracts in modern physics; Vol. 187)
ISBN 978-3-540-00569-8 / 3-540-00569-2 Pp. : EUR 149.75
Literaturangaben
Quelle: DNB
High field transport in semiconductor superlattices
/ Karl Leo. - Berlin : Springer, 2003. - Online-Ressource - (Springer tracts in modern physics; Vol. 187)
ISBN 978-3-540-36471-9
Lizenzpflichtig
Quelle: DNB
High integrity system specification and design
/ Jonathon P. Bowen and Michael G. Hinchey. - London : Springer, 1999. - XIX, 701 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76226-3 / 3-540-76226-4 kart. : DM 195.00
Literaturangaben
Quelle: DNB
Wisshak, Max: High latitude bioerosion
: the Kosterfjord experiment / Max Wisshak. - Berlin : Springer, 2006. - XI, 202 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in earth sciences; 109)
ISBN 978-3-540-36848-9 / 3-540-36848-5 Pp. : EUR 106.95 (freier Pr.), ca. sfr 123.50 (freier Pr.)
Literaturverz. S. 171 - 194
Quelle: DNB Verlagsmeldungen
High latitude bioerosion
: the Kosterfjord experiment / Max Wisshak. - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in earth sciences; 109)
ISBN 978-3-540-36849-6
Lizenzpflichtig
Quelle: DNB
