|
61.
|
The P=NP Question and Gödel’s Lost Letter [electronic resource] / by Richard J. Lipton.
by Lipton, Richard J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
62.
|
Reading, Writing, and Proving [electronic resource] : A Closer Look at Mathematics / by Ulrich Daepp, Pamela Gorkin.
by Daepp, Ulrich | Gorkin, Pamela | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
63.
|
Propositional and Predicate Calculus A Model of Argument [electronic resource] / by Derek Goldrei.
by Goldrei, Derek | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available
|
|
64.
|
Dude, Can You Count? [electronic resource] : Stories, Challenges, and Adventures in Mathematics / edited by Christian Constanda.
by Constanda, Christian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
65.
|
Cardinal Invariants on Boolean Algebras [electronic resource] / by J. Donald Monk.
by Monk, J. Donald | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2010Online access: Click here to access online Availability: No items available
|
|
66.
|
The Strength of Nonstandard Analysis [electronic resource] / edited by Imme Berg, Vítor Neves.
by Berg, Imme | Neves, Vítor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2007Online access: Click here to access online Availability: No items available
|
|
67.
|
Algorithmic Composition [electronic resource] : Paradigms of Automated Music Generation / by Gerhard Nierhaus.
by Nierhaus, Gerhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2009Online access: Click here to access online Availability: No items available
|
|
68.
|
Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels.
by Sturmfels, Bernd | SpringerLink (Online service). Edition: Second edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2008Online access: Click here to access online Availability: No items available
|
|
69.
|
Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro.
by Fiadeiro, José Luiz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
70.
|
Field Arithmetic [electronic resource] / by Michael D. Fried, Moshe Jarden.
by Fried, Michael D | Jarden, Moshe | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
71.
|
Introduction to Modern Number Theory [electronic resource] / by Yuri Ivanovic Manin, Alexei A. Panchishkin.
by Manin, Yuri Ivanovic | Panchishkin, Alexei A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
72.
|
Laws of Nature [electronic resource] / by Peter Mittelstaedt, Paul A. Weingartner.
by Mittelstaedt, Peter | Weingartner, Paul A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
73.
|
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum.
by Ebbinghaus, Heinz-Dieter | Flum, Jörg | SpringerLink (Online service). Edition: Second Revised and Enlarged Edition 1999.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
74.
|
Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe.
by Flum, Jörg | Grohe, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
75.
|
Valued Fields [electronic resource] / by Antonio J. Engler, Alexander Prestel.
by Engler, Antonio J | Prestel, Alexander | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
76.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell.
by Hoos, Holger H | Mitchell, David G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
77.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh.
by Bacchus, Fahiem | Walsh, Toby | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
78.
|
Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong.
by Ong, Luke | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
79.
|
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan.
by Hutter, Dieter | Stephan, Werner | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
80.
|
Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer.
by Middeldorp, Aart | Oostrom, Vincent | Raamsdonk, Femke | Vrijer, Roel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|