|
|
161.
|
Interactive Wittgenstein [electronic resource] : Essays in Memory of Georg Henrik von Wright / edited by Enzo De Pellegrin.
by De Pellegrin, Enzo | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
162.
|
Programming Sudoku [electronic resource] / by Wei-Meng Lee.
by Lee, Wei-Meng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berkeley, CA : Apress, 2006Online access: Click here to access online Availability: No items available
|
|
|
163.
|
Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada.
by Tabuada, Paulo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
|
|
164.
|
A Course in Mathematical Logic for Mathematicians [electronic resource] / by Yu. I. Manin.
by Manin, Yu. I | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
165.
|
A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg.
by Rautenberg, Wolfgang | SpringerLink (Online service). Edition: 3.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
166.
|
Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] : Theory, Algorithms, and Applications / by Evangelos Triantaphyllou.
by Triantaphyllou, Evangelos | 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
|
|
|
167.
|
Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.
by Dastani, Mehdi | Hindriks, Koen V | Meyer, John-Jules Charles | 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
|
|
|
168.
|
Proofs and Fundamentals [electronic resource] : A First Course in Abstract Mathematics / by Ethan D. Bloch.
by Bloch, Ethan D | 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
|
|
|
169.
|
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
|
|
|
170.
|
Why Is Everyone Else Wrong? [electronic resource] : Explorations in Truth and Reason / by Tibor R. Machan.
by Machan, Tibor R | 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
|
|
|
171.
|
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
|
|
|
172.
|
Mathematical Logic and Model Theory [electronic resource] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell.
by Prestel, Alexander | Delzell, Charles N | 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
|
|
|
173.
|
Computer Science [electronic resource] : The Hardware, Software and Heart of It / edited by Edward K. Blum, Alfred V. Aho.
by Blum, Edward K | Aho, Alfred V | 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
|
|
|
174.
|
Designing Sorting Networks [electronic resource] : A New Paradigm / by Sherenaz W. Al-Haj Baddar, Kenneth E. Batcher.
by Al-Haj Baddar, Sherenaz W | Batcher, Kenneth E | 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
|
|
|
175.
|
Constructing Correct Software [electronic resource] / by John Cooke.
by Cooke, John | SpringerLink (Online service). Edition: Second Edition.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
|
|
|
176.
|
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
|
|
|
177.
|
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills.
by Mills, Bruce | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
|
178.
|
Agent Technology from a Formal Perspective [electronic resource] / edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears.
by Rouff, Christopher A | Hinchey, Michael | Rash, James | Truszkowski, Walter | Gordon-Spears, Diana | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
|
179.
|
Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by Howard Bowman, Rodolfo Gomez.
by Bowman, Howard | Gomez, Rodolfo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
|
180.
|
Discrete Mathematics Using a Computer [electronic resource] / by John O’Donnell, Cordelia Hall, Rex Page.
by O’Donnell, John | Hall, Cordelia | Page, Rex | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
