Your search returned 7 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 F57 2007.

Place hold Add to cart
2.
New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 .N49 2005.

Place hold Add to cart
3.
Innovation in Manufacturing Networks [electronic resource] : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008 / edited by Américo Azevedo. by Series: IFIP – The International Federation for Information Processing ; 266
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : International Federation for Information Processing, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TH438 I66 2005.

Place hold Add to cart
4.
Soft Real-Time Systems [electronic resource] : Predictability vs. Efficiency / by Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo. by Series: Series in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.54 .S56 2005.

Place hold Add to cart
5.
Distributed and Parallel Systems [electronic resource] : From Cluster to Grid Computing / edited by Péter Kacsuk, Thomas Fahringer, Zsolt Németh. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 K33 2007.

Place hold Add to cart
6.
Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer. by Series: Lecture Notes in Computer Science ; 4158
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A97 Y36 2006.

Place hold Add to cart
7.
Access Control Systems [electronic resource] : Security, Identity Management and Trust Models / by Messaoud Benantar. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.59 B46 2005.

Place hold Add to cart
Pages

Powered by Koha