Paulson, Lawrence C.: Isabelle
: a generic theorem prover / Lawrence C. Paulson. With contributions by Tobias Nipkow. - Berlin : Springer, 1994. - XVII, 321 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 828)
ISBN 978-3-540-58244-1 / 3-540-58244-4 kart. : DM 66.00
Literaturverz. S. 301 - 304
Quelle: DNB
Isabelle, HOL
: a proof assistant for higher order logic / T. Nipkow .... - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2283)
ISBN 978-3-540-45949-1
Lizenzpflichtig
Quelle: DNB
Nipkow, Tobias: Isabelle, HOL
: a proof assistant for higher order logic / Tobias Nipkow ; Lawrence C. Paulson ; Markus Wenzel. - Berlin : Springer, 2002. - XIII, 218 S.; 24 cm - (Lecture notes in computer science; Vol. 2283)
ISBN 978-3-540-43376-7 / 3-540-43376-7 kart. : EUR 32.10
Literaturverz. S. 209 - 211
Quelle: DNB
Ischemia in head injury
: proceedings of a special symposium ; with 23 tables / 10th European Congress of Neurosurgery, Berlin 1995. T. C. G. Smith (ed.). - Berlin : Springer, 1996. - 49 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-61002-1 / 3-540-61002-2 kart. : DM 48.00
Quelle: DNB
L 'ischemia nei traumi cranici
: atti di un simposio satellite / 10 Congresso Europeo di Neurochirurgia, Berlino, 1995. Thomas C. G. Smith. [Trad. a cura di S. Perna]. - Berlin : Springer, 1997. - 41 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-75033-8 / 3-540-75033-9 geh.
Quelle: DNB
ISDN am Computer
/ Torsten Schulz. - Berlin : Springer, 1998. - X, 185 S. : graph. Darst.; 24 cm
ISBN 978-3-540-62783-8 : DM 78.00, sfr 71.00, S 569.40
Quelle: DNB
Bocker, Peter: ISDN - digitale Netze für Sprach-, Text-, Daten-, Video- und Multimediakommunikation
/ Peter Bocker. - 4., erw. Aufl. - Berlin : Springer, 1996. - XIII, 332 S. : graph. Darst.; 24 cm
ISBN 978-3-540-57431-6 / 3-540-57431-X Pp. : DM 128.00
Literaturverz. S. 305 - 321
Quelle: DNB
Bocker, Peter: ISDN, the integrated services digital network
: concept, methods, systems ; with 21 tables / Peter Bocker. In collab. with G. Arndt .... - 2. ed. - Berlin : Springer, 1992. - XIV, 258 S. : graph. Darst.; 25 cm
ISBN 978-3-540-54819-5 / 3-540-54819-X Pp. : DM 128.00
Dt. Ausg. u.d.T.: Bocker, Peter: ISDN, das diensteintegrierende digitale Nachrichtennetz. - Literaturverz. S. 237 - 250
Quelle: DNB
Binek, Christian: Ising type antiferromagnets
: model systems in statistical physics and in the magnetism of exchange bias / Christian Binek. - Berlin : Springer, 2003. - X, 118 S. : Ill., graph. Darst.; 24 cm - (Springer tracts in modern physics; Vol. 196)
ISBN 978-3-540-40428-6 / 3-540-40428-7 Pp. : EUR 88.76, sfr 138.00
Literaturverz. S. 109 - 112
Quelle: DNB
Ising type antiferromagnets
: model systems in statistical physics and in the magnetism of exchange bias / Christian Binek. - Berlin : Springer, 2003. - Online-Ressource - (Springer tracts in modern physics; Vol. 196)
ISBN 978-3-540-45001-6
Lizenzpflichtig
Quelle: DNB
