Kanamori, Akihiro: The higher infinite
: large cardinals in set theory from their beginnings / Akihiro Kanamori. - Berlin : Springer, 1994. - XXIV, 536 S.; 24 cm - (Perspectives in mathematical logic)
ISBN 978-3-540-57071-4 / 3-540-57071-3 Pp. : DM 178.00
Literaturverz. S. 483 - 529
Quelle: DNB
Sharp, Richard: Higher level hardware synthesis
/ Richard Sharp. - Berlin : Springer, 2004. - XVI, 195 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2963)
ISBN 978-3-540-21306-2 / 3-540-21306-6 kart. : EUR 44.94, sfr 76.50
Literaturverz. S. 185 - 192
Quelle: DNB Verlagsmeldungen
Higher level hardware synthesis
/ Richard Sharp. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2963)
ISBN 978-3-540-24657-2
Lizenzpflichtig
Quelle: DNB
Higher order algebra, logic, and term rewriting
: first international workshop ; selected papers / HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Jan Heering ... (ed.). - Berlin : Springer, 1994. - 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 816)
ISBN 978-3-540-58233-5 / 3-540-58233-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Higher order algebra, logic, and term rewriting
: second international workshop ; selected papers / HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (ed.). - Berlin : Springer, 1996. - 287 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1074)
ISBN 978-3-540-61254-4 / 3-540-61254-8 kart. : DM 62.00
Literaturangaben
Quelle: DNB
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
