|
|
301.
|
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
|
|
|
302.
|
The Safety of Systems [electronic resource] : Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 / edited by Felix Redmill, Tom Anderson.
by Redmill, Felix | Anderson, Tom | 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
|
|
|
303.
|
Network Performance Analysis [electronic resource] : Using the J Programming Language / by Alan Holt.
by Holt, Alan | 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
|
|
|
304.
|
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
|
|
|
305.
|
Enterprise Interoperability II [electronic resource] : New Challenges and Approaches / edited by Ricardo J. Gonçalves, Jörg P. Müller, Kai Mertins, Martin Zelm.
by Gonçalves, Ricardo J | Müller, Jörg P | Mertins, Kai | Zelm, Martin | 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
|
|
|
306.
|
Explorations in Quantum Computing [electronic resource] / by Colin P. Williams.
by Williams, Colin P | 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
|
|
|
307.
|
Maturing Usability [electronic resource] : Quality in Software, Interaction and Value / edited by Effie Lai-Chong Law, Ebba Thora Hvannberg, Gilbert Cockton.
by Law, Effie Lai-Chong | Hvannberg, Ebba Thora | Cockton, Gilbert | 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
|
|
|
308.
|
Object-Oriented Programming and Java [electronic resource] / by Danny Poo, Derek Kiong, Swarnalatha Ashok.
by Poo, Danny | Kiong, Derek | Ashok, Swarnalatha | 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
|
|
|
309.
|
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
|
|
|
310.
|
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
|
|
|
311.
|
Adoption-centric Usability Engineering [electronic resource] : Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering / edited by Ahmed Seffah, Eduard Metzker.
by Seffah, Ahmed | Metzker, Eduard | 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
|
|
|
312.
|
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
|
|
|
313.
|
Improvements in System Safety [electronic resource] / edited by Felix Redmill, Tom Anderson.
by Redmill, Felix | Anderson, Tom | 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
|
|
|
314.
|
Networked RFID [electronic resource] : Systems, Software and Services / by George Roussos.
by Roussos, George | 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
|
|
|
315.
|
Agile Software Engineering [electronic resource] / by Orit Hazzan, Yael Dubinsky.
by Hazzan, Orit | Dubinsky, Yael | 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
|
|
|
316.
|
Enterprise Interoperability III [electronic resource] : New Challenges and Industrial Approaches / edited by Kai Mertins, Rainer Ruggaber, Keith Popplewell, Xiaofei Xu.
by Mertins, Kai | Ruggaber, Rainer | Popplewell, Keith | Xu, Xiaofei | 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
|
|
|
317.
|
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
|
|
|
318.
|
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
|
|
|
319.
|
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
|
|
|
320.
|
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
|