The high energy solar corona
: waves, eruptions, particles / K.-L. Klein ; A. L. MacKinnon (ed.). - Berlin : Springer, 2007. - X, 284 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in physics; 725)
ISBN 978-3-540-71569-6 / 3-540-71569-X Pp. : EUR 85.55 (freier Pr.), sfr 131.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
High energy spectroscopic astrophysics
/ Saas Fee Advanced Course 30, 2000. S. M. Kahn ; P. von Ballmoos ; R. A. Sunyaev. Swiss Society for Astrophysics and Astronomy. Ed. by M. Güdel and R. Walter. - Berlin : Springer, 2005. - XIV, 295 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-40501-6 / 3-540-40501-1 Pp.
Literaturverz. S. 278 - 283
Quelle: DNB
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
