|
261.
|
Non solo calcoli [electronic resource] : Domande e risposte sui perché della matematica / by Vinicio Villani, Claudio Bernardi, Sergio Zoccante, Roberto Porcaro.
by Villani, Vinicio [author.] | Bernardi, Claudio [author.] | Zoccante, Sergio [author.] | Porcaro, Roberto [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
262.
|
Truth and Falsehood [electronic resource] : An Inquiry into Generalized Logical Values / by Yaroslav Shramko, Heinrich Wansing.
by Shramko, Yaroslav [author.] | Wansing, Heinrich [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available
|
|
263.
|
Epistemology versus Ontology [electronic resource] : Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf / edited by P. Dybjer, Sten Lindström, Erik Palmgren, G. Sundholm.
by Dybjer, P [editor.] | Lindström, Sten [editor.] | Palmgren, Erik [editor.] | Sundholm, G [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
264.
|
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
|
|
265.
|
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
|
|
266.
|
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
|
|
267.
|
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
|
|
268.
|
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
|
|
269.
|
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
|
|
270.
|
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
|
|
271.
|
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
|
|
272.
|
From Boolean Logic to Switching Circuits and Automata [electronic resource] : Towards Modern Information Technology / by Radomir S. Stanković, Jaakko Astola.
by Stanković, Radomir S [author.] | Astola, Jaakko [author.] | 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
|
|
273.
|
Mathematical Lives [electronic resource] : Protagonists of the Twentieth Century From Hilbert to Wiles / edited by Claudio Bartocci, Renato Betti, Angelo Guerraggio, Roberto Lucchetti.
by Bartocci, Claudio [editor.] | Betti, Renato [editor.] | Guerraggio, Angelo [editor.] | Lucchetti, Roberto [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
|
|
274.
|
Conditionals and Modularity in General Logics [electronic resource] / by Dov M. Gabbay, Karl Schlechta.
by Gabbay, Dov M [author.] | Schlechta, Karl [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
275.
|
Hyperfinite Dirichlet Forms and Stochastic Processes [electronic resource] / by Sergio Albeverio, Ruzong Fan, Frederik Herzberg.
by Albeverio, Sergio [author.] | Fan, Ruzong [author.] | Herzberg, Frederik [author.] | 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
|
|
276.
|
Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Martin Hofmann.
by Hofmann, Martin [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
|
|
277.
|
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.
by Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [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
|
|
278.
|
Computation, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday / edited by Jozef Kelemen, Alica Kelemenová.
by Kelemen, Jozef [editor.] | Kelemenová, Alica [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
|
|
279.
|
Computer Science – Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings / edited by Alexander Kulikov, Nikolay Vereshchagin.
by Kulikov, Alexander [editor.] | Vereshchagin, Nikolay [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
|
|
280.
|
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [electronic resource] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / edited by Marcello Balduccini, Tran Cao Son.
by Balduccini, Marcello [editor.] | Son, Tran Cao [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
|