|
|
341.
|
The Realism-Antirealism Debate in the Age of Alternative Logics [electronic resource] / edited by Shahid Rahman, Giuseppe Primiero, Mathieu Marion.
by Rahman, Shahid [editor.] | Primiero, Giuseppe [editor.] | Marion, Mathieu [editor.] | 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
|
|
|
342.
|
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
|
|
|
343.
|
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
|
|
|
344.
|
Concise Guide to Computation Theory [electronic resource] / by Akira Maruoka.
by Maruoka, Akira [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
|
|
|
345.
|
Genetic Programming Theory and Practice VIII [electronic resource] / edited by Rick Riolo, Trent McConaghy, Ekaterina Vladislavleva.
by Riolo, Rick [editor.] | McConaghy, Trent [editor.] | Vladislavleva, Ekaterina [editor.] | 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
|
|
|
346.
|
Computability and Complexity Theory [electronic resource] / by Steven Homer, Alan L. Selman.
by Homer, Steven [author.] | Selman, Alan L [author.] | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
347.
|
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
|
|
|
348.
|
Genetic Programming Theory and Practice IX [electronic resource] / edited by Rick Riolo, Ekaterina Vladislavleva, Jason H. Moore.
by Riolo, Rick [editor.] | Vladislavleva, Ekaterina [editor.] | Moore, Jason H [editor.] | 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
|
|
|
349.
|
Geospatial Abduction [electronic resource] : Principles and Practice / by Paulo Shakarian, V. S. Subrahmanian.
by Shakarian, Paulo [author.] | Subrahmanian, V. S [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
|
|
|
350.
|
Theoretical Computer Science [electronic resource] / edited by F. Preparata.
by Preparata, F [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
|
|
|
351.
|
New Structures for Physics [electronic resource] / edited by Bob Coecke.
by Coecke, Bob [editor.] | 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
|
|
|
352.
|
Theoretical Aspects of Distributed Computing in Sensor Networks [electronic resource] / edited by Sotiris Nikoletseas, José D.P. Rolim.
by Nikoletseas, Sotiris [editor.] | Rolim, José D.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
|
|
|
353.
|
Deterministic Extraction from Weak Random Sources [electronic resource] / by Ariel Gabizon.
by Gabizon, Ariel [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
|
|
|
354.
|
A Short Course in Quantum Information Theory [electronic resource] : An Approach From Theoretical Physics / by Lajos Diosi.
by Diosi, Lajos [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
|
|
|
355.
|
Cartesian Genetic Programming [electronic resource] / edited by Julian F. Miller.
by Miller, Julian F [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
|
|
|
356.
|
Patterns in Permutations and Words [electronic resource] / by Sergey Kitaev.
by Kitaev, Sergey [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
|
|
|
357.
|
Extremal Combinatorics [electronic resource] : With Applications in Computer Science / by Stasys Jukna.
by Jukna, Stasys [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
|
|
|
358.
|
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers / edited by Wim Dam, Vivien M. Kendon, Simone Severini.
by Dam, Wim [editor.] | Kendon, Vivien M [editor.] | Severini, Simone [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
|
|
|
359.
|
High Performance Computing for Computational Science – VECPAR 2010 [electronic resource] : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers / edited by José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes.
by Palma, José M. Laginha M [editor.] | Daydé, Michel [editor.] | Marques, Osni [editor.] | Lopes, João Correia [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
|
|
|
360.
|
Rainbow of Computer Science [electronic resource] : Dedicated to Hermann Maurer on the Occasion of His 70th Birthday / edited by Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa.
by Calude, Cristian S [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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
|
