Your search returned 44 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T55.A1 S24 2007.

Place hold Add to cart
2.
Constituents of Modern System-safety Thinking [electronic resource] : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / edited by Felix Redmill, Tom Anderson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T55.A1 R43 2005.

Place hold Add to cart
3.
Interoperability of Enterprise Software and Applications [electronic resource] / edited by Dimitri Konstantas, Jean-Paul Bourrières, Michel Léonard, Nacer Boudjlida. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 I68 2010.

Place hold Add to cart
4.
A Concise Introduction to Software Engineering [electronic resource] / by Pankaj Jalote. by Series: Undergraduate Topics in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 J34 2008.

Place hold Add to cart
5.
Foundations of 3D Graphics Programming [electronic resource] : Using JOGL and Java3D / by Jim X. Chen, Edward J. Wegman. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 C46 2008.

Place hold Add to cart
6.
Artificial Life Models in Software [electronic resource] / edited by Andrew Adamatzky, Maciej Komosinski. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.618 A33 2005.

Place hold Add to cart
7.
Biometric Systems [electronic resource] : Technology, Design and Performance Evaluation / edited by James Wayman, Anil Jain, Davide Maltoni, Dario Maio. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7882.B56 B58 2005.

Place hold Add to cart
8.
Body Sensor Networks [electronic resource] / edited by Guang-Zhong Yang. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: R857.B54 G83 2006.

Place hold Add to cart
9.
Developments in Risk-based Approaches to Safety [electronic resource] : Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006 / edited by Felix Redmill, Tom Anderson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T55 S2145 2006.

Place hold Add to cart
10.
Network Performance Analysis [electronic resource] : Using the J Programming Language / by Alan Holt. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 H68 2008.

Place hold Add to cart
11.
Guide to Advanced Empirical Software Engineering [electronic resource] / edited by Forrest Shull, Janice Singer, Dag I. K. Sjøberg. by
Material type: Computer file Computer file; Format: electronic
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 S48 2008.

Place hold Add to cart
12.
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 M55 2006.

Place hold Add to cart
13.
Ubiquitous and Pervasive Commerce [electronic resource] : New Frontiers for Electronic Business / edited by George Roussos. by Series: Computer Communications and Networks
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.32 U25 2006.

Place hold Add to cart
14.
Constructing Correct Software [electronic resource] / by John Cooke. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 C66 2005.

Place hold Add to cart
15.
Virtual Machines [electronic resource] / by Iain D. Craig. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.V5 C73 2007.

Place hold Add to cart
16.
System Software Reliability [electronic resource] / by Hoang Pham. by Series: Springer Series in Reliability Engineering
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.S95 P43 2007.

Place hold Add to cart
17.
Formal Models of Operating System Kernels [electronic resource] / by Iain D. Craig. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.O63 C73 2007.

Place hold Add to cart
18.
Embedded Java Security [electronic resource] : Security for Mobile Devices / by Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9 A25 D43 2007.

Place hold Add to cart
19.
Practical Distributed Processing [electronic resource] / by Phillip J. Brooke, Richard F. Paige. by Series: Undergraduate Topics in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 B76 2008.

Place hold Add to cart
20.
Agile Software Engineering [electronic resource] / by Yael Dubinsky, Orit Hazzan. by Series: Undergraduate Topics in Computer Science
Material type: Computer file Computer file; Format: electronic
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 D83 2008.

Place hold Add to cart
Pages

Powered by Koha