|
|
61.
|
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
|
|
|
62.
|
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
|
|
|
63.
|
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
|
|
|
64.
|
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
|
|
|
65.
|
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
|
|
|
66.
|
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
|
|
|
67.
|
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
|
|
|
68.
|
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
|
|
|
69.
|
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
|
|
|
70.
|
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
|
|
|
71.
|
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
|
|
|
72.
|
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
|
|
|
73.
|
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings / edited by Kamal Lodaya, Meena Mahajan.
by Lodaya, Kamal | Mahajan, Meena | 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
|
|
|
74.
|
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
|
|
|
75.
|
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
|
|
|
76.
|
Formal Concept Analysis [electronic resource] : Foundations and Applications / edited by Bernhard Ganter, Gerd Stumme, Rudolf Wille.
by Ganter, Bernhard | Stumme, Gerd | Wille, Rudolf | 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.
|
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
|
|
|
78.
|
Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Vladimiro Sassone.
by Sassone, Vladimiro | 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.
|
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / edited by Sundar Sarukkai, Sandeep Sen.
by Sarukkai, Sundar | Sen, Sandeep | 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
|
