|
|
181.
|
Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson.
by Nielson, Hanne Riis | Nielson, Flemming | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
|
|
|
182.
|
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari.
by Ben-Ari, Mordechai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
183.
|
Sets, Logic and Maths for Computing [electronic resource] / by David Makinson.
by Makinson, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
184.
|
Mathematical Linguistics [electronic resource] / by András Kornai.
by Kornai, András | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
185.
|
Value-Range Analysis of C Programs [electronic resource] : Towards Proving the Absence of Buffer Overflow Vulnerabilities / edited by Axel Simon.
by Simon, Axel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
186.
|
Elementary Logic [electronic resource] : For Software Development / by Robert Lover.
by Lover, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
187.
|
A Concise Introduction to Languages and Machines [electronic resource] / by Alan P. Parkes.
by Parkes, Alan P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
188.
|
Line Drawing Interpretation [electronic resource] / by Martin Cooper.
by Cooper, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
189.
|
A Course in Formal Languages, Automata and Groups [electronic resource] / by Ian M. Chiswell.
by Chiswell, Ian M | 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
|
|
|
190.
|
Introduction to Embedded System Design Using Field Programmable Gate Arrays [electronic resource] / by Rahul Dubey.
by Dubey, Rahul | 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
|
|
|
191.
|
Principles of Programming Languages [electronic resource] / by Gilles Dowek.
by Dowek, Gilles | 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
|
|
|
192.
|
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi.
by Crespi Reghizzi, Stefano | 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
|
|
|
193.
|
Computable Models [electronic resource] / by Raymond Turner.
by Turner, Raymond | 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
|
|
|
194.
|
Understanding Concurrent Systems [electronic resource] / by A.W. Roscoe.
by Roscoe, A.W | 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
|
|
|
195.
|
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
|
|
|
196.
|
Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.
by Boca, Paul | Bowen, Jonathan P | Siddiqi, Jawed | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
197.
|
Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog.
by Apt, Krzysztof R | Boer, Frank S | Olderog, Ernst-Rüdiger | 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
|
|
|
198.
|
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
|
|
|
199.
|
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
|
|
|
200.
|
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
|
