|
|
321.
|
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
|
|
|
322.
|
Software Verification and Analysis [electronic resource] : An Integrated, Hands-On Approach / by William Stanley, Janusz Laski.
by Stanley, William | Laski, Janusz | 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
|
|
|
323.
|
Deadlock Resolution in Automated Manufacturing Systems [electronic resource] : A Novel Petri Net Approach / by ZhiWu Li, MengChu Zhou.
by Li, ZhiWu | Zhou, MengChu | 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
|
|
|
324.
|
Practical Introduction to Computer Architecture [electronic resource] / by Daniel Page.
by Page, Daniel | SpringerLink (Online service). Edition: 1.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
|
|
|
325.
|
Artificial Life Models in Software [electronic resource] / edited by Maciej Komosinski, Andrew Adamatzky.
by Komosinski, Maciej | Adamatzky, Andrew | 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
|
|
|
326.
|
Ada for Software Engineers (Second Edition with Ada 2005) [electronic resource] / edited 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, 2009Online access: Click here to access online Availability: No items available
|
|
|
327.
|
A Concise and Practical Introduction to Programming Algorithms in Java [electronic resource] / by Frank Nielsen.
by Nielsen, Frank | 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
|
|
|
328.
|
Safety-Critical Systems: Problems, Process and Practice [electronic resource] : Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009 / edited by Chris Dale, Tom Anderson.
by Dale, Chris | Anderson, Tom | 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
|
|
|
329.
|
New Trends on Human–Computer Interaction [electronic resource] : Research, Development, New Tools and Methods / edited by José A. Macías, Antoni Granollers Saltiveri, Pedro M. Latorre.
by Macías, José A | Granollers Saltiveri, Antoni | Latorre, Pedro 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
|
|
|
330.
|
Geometric Algebra: An Algebraic System for Computer Games and Animation [electronic resource] / by John Vince.
by Vince, John | 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
|
|
|
331.
|
Models of Computation [electronic resource] : An Introduction to Computability Theory / by Maribel Fernández.
by Fernández, Maribel | SpringerLink (Online service). Edition: 1.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
|
|
|
332.
|
Artificial Life Models in Hardware [electronic resource] / edited by Andrew Adamatzky, Maciej Komosinski.
by Adamatzky, Andrew | Komosinski, Maciej | 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
|
|
|
333.
|
The Engineering of Mixed Reality Systems [electronic resource] / edited by Emmanuel Dubois, Philip Gray, Laurence Nigay.
by Dubois, Emmanuel | Gray, Philip | Nigay, Laurence | 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
|
|
|
334.
|
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
|
|
|
335.
|
Agent-Based Service-Oriented Computing [electronic resource] / edited by Nathan Griffiths, Kuo-Ming Chao.
by Griffiths, Nathan | Chao, Kuo-Ming | 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
|
|
|
336.
|
Making Systems Safer [electronic resource] : Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 / edited by Chris Dale, Tom Anderson.
by Dale, Chris | Anderson, Tom | 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
|
|
|
337.
|
Tabletops - Horizontal Interactive Displays [electronic resource] / edited by Christian Müller-Tomfelde.
by Müller-Tomfelde, Christian | 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
|
|
|
338.
|
Thriving Systems Theory and Metaphor-Driven Modeling [electronic resource] / by Leslie J. Waguespack.
by Waguespack, Leslie J | 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
|
|
|
339.
|
Requirements Engineering [electronic resource] / by Elizabeth Hull, Ken Jackson, Jeremy Dick.
by Hull, Elizabeth | Jackson, Ken | Dick, Jeremy | 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
|
|
|
340.
|
The Seductive Computer [electronic resource] : Why IT Systems Always Fail / by Derek Partridge.
by Partridge, Derek | 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
|
