Your search returned 3370 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue