|
|
1721.
|
The Proof is in the Pudding [electronic resource] : The Changing Nature of Mathematical Proof / by Steven G. Krantz.
by Krantz, Steven G [author.] | 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
|
|
|
1722.
|
The Colorado Mathematical Olympiad and Further Explorations [electronic resource] : From the Mountains of Colorado to the Peaks of Mathematics / by Alexander Soifer.
by Soifer, Alexander [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
|
|
|
1723.
|
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
by Almeida, José Bacelar [author.] | Frade, Maria João [author.] | Pinto, Jorge Sousa [author.] | Melo de Sousa, Simão [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
1724.
|
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy.
by Dowek, Gilles [author.] | Lévy, Jean-Jacques [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
1725.
|
Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach / by Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.
by Cheng, Daizhan [author.] | Qi, Hongsheng [author.] | Li, Zhiqiang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
1726.
|
Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.
by Dowek, Gilles [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
1727.
|
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy.
by Alagar, V.S [author.] | Periyasamy, K [author.] | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
1728.
|
The Selected Correspondence of L.E.J. Brouwer [electronic resource] / by Dirk Dalen.
by Dalen, Dirk [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
1729.
|
Quaternions for Computer Graphics [electronic resource] / by John Vince.
by Vince, John [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
1730.
|
Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
by Schwartz, Jacob T [author.] | Cantone, Domenico [author.] | Omodeo, Eugenio G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
1731.
|
Interactive Wittgenstein [electronic resource] : Essays in Memory of Georg Henrik von Wright / edited by Enzo De Pellegrin.
by De Pellegrin, Enzo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
1732.
|
Proofs and Fundamentals [electronic resource] : A First Course in Abstract Mathematics / by Ethan D. Bloch.
by Bloch, Ethan D [author.] | 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
|
|
|
1733.
|
Why Is Everyone Else Wrong? [electronic resource] : Explorations in Truth and Reason / by Tibor R. Machan.
by Machan, Tibor R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
1734.
|
Reading, Writing, and Proving [electronic resource] : A Closer Look at Mathematics / by Ulrich Daepp, Pamela Gorkin.
by Daepp, Ulrich [author.] | Gorkin, Pamela [author.] | 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
|
|
|
1735.
|
Mathematical Logic and Model Theory [electronic resource] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell.
by Prestel, Alexander [author.] | Delzell, Charles N [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
1736.
|
Computer Science [electronic resource] : The Hardware, Software and Heart of It / edited by Edward K. Blum, Alfred V. Aho.
by Blum, Edward K [editor.] | Aho, Alfred V [editor.] | SpringerLink (Online service). Edition: 1.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
|
|
|
1737.
|
Designing Sorting Networks [electronic resource] : A New Paradigm / by Sherenaz W. Al-Haj Baddar, Kenneth E. Batcher.
by Al-Haj Baddar, Sherenaz W [author.] | Batcher, Kenneth E [author.] | 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
|
|
|
1738.
|
Recursion Theory and Computational Complexity [electronic resource] / edited by G. Lolli.
by Lolli, G [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1739.
|
Aspects of Mathematical Logic [electronic resource] / edited by E. Casari.
by Casari, E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1740.
|
Model Theory and Applications [electronic resource] / edited by P. Mangani.
by Mangani, P [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
