Extended IAPWS-IF97 steam tables
: interactive software for the calculation of thermodynamic and transport properties of water and steam - DLL for user specific programs / Wolfgang Wagner .... - Berlin : Springer, 2006. - 1 CD-ROM; 12 cm, in Behältnis 19 x 14 x 2 cm
ISBN 978-3-540-21412-0 / 3-540-21412-7 : EUR 398.99 (freier Pr.), ca. sfr 630.50 (freier Pr.)
Titel auf dem Behältnis
Quelle: DNB
Jou, David: Extended irreversible thermodynamics
/ D. Jou ; J. Casas-Vázquez ; G. Lebon. - 2., rev. and enl. ed. - Berlin : Springer, 1996. - XIV, 383 S. : graph. Darst.; 24 cm
ISBN 978-3-540-60789-2 / 3-540-60789-7 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Jou, David: Extended irreversible thermodynamics
/ D. Jou ; J. Casas-Vázquez ; G. Lebon. - Berlin : Springer, 1993. - XII, 319 S. : graph. Darst.; 24 cm
ISBN 978-3-540-55874-3 / 3-540-55874-8 kart. : DM 78.00
Literaturverz. S. 303 - 314
Quelle: DNB
Jou, David: Extended irreversible thermodynamics
: with 15 tables / D. Jou ; J. Casas-Vázquez ; G. Lebon. - 3., rev. and enl. ed. - Berlin : Springer, 2001. - XV, 462 S. : graph. Darst.; 24 cm - (Physics and astronomy online library)
ISBN 978-3-540-41156-7 / 3-540-41156-9 Pp. : DM 129.00
Literaturverz. S. 431 - 450
Quelle: DNB
Hofmann, Martin: Extensional constructs in intensional type theory
/ Martin Hofmann. - London : Springer, 1997. - XII, 214 S. : graph. Darst.; 24 cm - (CPHC/BCS distinguished dissertations)
ISBN 978-3-540-76121-1 / 3-540-76121-7 Pp. : DM 108.00
Literaturverz. S. 207 - 211
Quelle: DNB
Extensions of logic programming
: 5th international workshop ; proceedings / ELP '96, Leipzig, Germany, March 28 - 30, 1996. Roy Dyckhoff ... (ed.). - Berlin : Springer, 1996. - VIII, 318 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1050 : Lecture notes in artificial intelligence)
ISBN 978-3-540-60983-4 / 3-540-60983-0 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Extensions of logic programming
: 4th international workshop ; proceedings / ELP '93, St. Andrews, UK, March 29 - April 1, 1993. Roy Dyckhoff (ed.). - Berlin : Springer, 1994. - VIII, 360 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 798 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58025-6 / 3-540-58025-5 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Extensions of logic programming
: second international workshop ; proceedings / ELP '91, Stockholm, Sweden, January 27 - 29, 1991. L.-H. Eriksson ... (ed.). - Berlin : Springer, 1992. - 369 S.; 25 cm - (Lecture notes in computer science; Vol. 596 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55498-1 / 3-540-55498-X kart. : DM 72.00
Literaturangaben
Quelle: DNB
Extensions of logic programming
: international workshop, Tübingen, FRG, December 8 - 10, 1989 ; proceedings / P. Schroeder-Heister (ed.). - Berlin : Springer, 1991. - VIII, 364 S. : Ill., graph. Darst.; 25 cm - (Lecture notes in computer science; 475 : Lecture notes in artificial intelligence)
ISBN 978-3-540-53590-4 / 3-540-53590-X kart. : DM 52.00
Literaturangaben
Quelle: DNB
Extensions of logic programming
: third international workshop ; proceedings / ELP '92, Bologna, Italy, February 26 - 28, 1992. E. Lamma ; P. Mello (ed.). - Berlin : Springer, 1993. - VIII, 417 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 660 : Lecture notes in artificial intelligence)
ISBN 978-3-540-56454-6 / 3-540-56454-3 kart. : DM 80.00
Literaturangaben
Quelle: DNB
