Theorem proving with analytic tableaux and related methods
: 5th international workshop ; tableaux '96, Terrasini, Palermo, Italy, May 15 - 17th, 1996 ; proceedings / [Workshop on Theorem Proving with Analytic Tableaux and Related Methods]. P. Miglioli ... (ed.). - Berlin : Springer, 1996. - X, 329 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1071 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61208-7 / 3-540-61208-4 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Theorem proving with analytic tableaux and related methods
: 4th international workshop ; tableaux '95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995 ; proceedings / [Workshop on Theorem Proving with Analytic Tableaux and Related Methods]. Peter Baumgartner ... (ed.). - Berlin : Springer, 1995. - X, 352 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 918 : Lecture notes in artificial intelligence)
ISBN 978-3-540-59338-6 / 3-540-59338-1 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Harrison, John: Theorem proving with the real numbers
/ John Harrison. - London : Springer, 1998. - XII, 186 S. : graph. Darst.; 24 cm - (Distinguished dissertations)
ISBN 978-3-540-76256-0 / 3-540-76256-6 Pp. : DM 139.00
Literaturverz. S. 169 - 183
Quelle: DNB
Gelbaum, Bernard R.: Theorems and counterexamples in mathematics
/ Bernard R. Gelbaum ; John M. H. Olmsted. - 2., corr. print. - New York : Springer, 1993. - XXXIV, 305 S. : graph. Darst.; 25 cm - (Problem books in mathematics)
ISBN 978-3-540-97342-3 / 3-540-97342-7 Pp.
Literaturverz. S. 233 - 247
Quelle: DNB
Amos, Martyn: Theoretical and experimental DNA computation
/ Martyn Amos. - Berlin : Springer, 2005. - XIII, 172 S. : Ill., graph. Darst.; 24 cm - (Natural computing series)
ISBN 978-3-540-65773-6 / 3-540-65773-8 Pp. : EUR 48.10
Literaturangaben
Quelle: DNB
Theoretical and experimental insights into immunology
: [proceedings of the NATO Advanced Research Workshop on Theoretical Immunology, held in Paris, September 27 - October 1, 1991] / ed. by Alan S. Perelson ; Gérard Weisbuch. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1992. - XVII, 480 S. : graph. Darst.; 25 cm - (NATO ASI series : Series H, Cell biology; Vol. 66)
ISBN 978-3-540-54614-6 / 3-540-54614-6 Pp. : DM 228.00
Literaturangaben
Quelle: DNB
Theoretical and numerical unsaturated soil mechanics
: with 21 tables / T. Schanz (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Springer proceedings in physics; 113)
ISBN 978-3-540-69876-0
Lizenzpflichtig
Quelle: DNB
Theoretical and practical aspects of SPIN model checking
: proceedings / 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 ; Toulouse, France, September 21 and 24, 1999. Dennis Dams ... (ed.). - Berlin : Springer, 1999. - X, 276 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1680)
ISBN 978-3-540-66499-4 / 3-540-66499-8 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Theoretical and practical aspects of SPIN model checking
: proceedings / 5th and 6th International SPIN Workshops, Trento, Italy, July 1999 ... D. Dams ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1680)
ISBN 978-3-540-48234-5
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computer science
: advanced lectures / G. B. Khosrovshahi ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2292)
ISBN 978-3-540-45878-4
Lizenzpflichtig
Quelle: DNB
