|
|
221.
|
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
|
|
|
222.
|
Practical Distributed Processing [electronic resource] / by Phillip J. Brooke, Richard F. Paige.
by Brooke, Phillip J | Paige, Richard F | 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
|
|
|
223.
|
Introduction to Operating System Design and Implementation [electronic resource] : The OSP 2 Approach / by Michael Kifer, Scott A. Smolka.
by Kifer, Michael | Smolka, Scott A | 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
|
|
|
224.
|
Formal Refinement for Operating System Kernels [electronic resource] / by Iain D. Craig.
by Craig, Iain D | 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
|
|
|
225.
|
Guide to Advanced Empirical Software Engineering [electronic resource] / edited by Forrest Shull, Janice Singer, Dag I. K. Sjøberg.
by Shull, Forrest | Singer, Janice | Sjøberg, Dag I. K | 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
|
|
|
226.
|
A Process Algebraic Approach to Software Architecture Design [electronic resource] / by Alessandro Aldini, Marco Bernardo, Flavio Corradini.
by Aldini, Alessandro | Bernardo, Marco | Corradini, Flavio | 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
|
|
|
227.
|
Foundations of 3D Graphics Programming [electronic resource] : Using JOGL and Java3D / by Jim X. Chen, Chunyang Chen.
by Chen, Jim X | Chen, Chunyang | 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
|
|
|
228.
|
A Concise Introduction to Software Engineering [electronic resource] / by Pankaj Jalote.
by Jalote, Pankaj | 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
|
|
|
229.
|
Guide to Graphics Software Tools [electronic resource] / by Jim X. Chen.
by Chen, Jim X | 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
|
|
|
230.
|
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
|
|
|
231.
|
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
|
|
|
232.
|
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
|
|
|
233.
|
Scheduling for Parallel Processing [electronic resource] / by Maciej Drozdowski.
by Drozdowski, 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
|
|
|
234.
|
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
|
|
|
235.
|
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
|
|
|
236.
|
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
|
|
|
237.
|
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
|
|
|
238.
|
Robust Control for Uncertain Networked Control Systems with Random Delays [electronic resource] / by Dan Huang, Sing Kiong Nguang.
by Huang, Dan | Nguang, Sing Kiong | 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
|
|
|
239.
|
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
|
|
|
240.
|
Electronic Value Exchange [electronic resource] : Origins of the VISA Electronic Payment System / by David L. Stearns.
by Stearns, David L | 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
|
