Your search returned 417 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
401.
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
402.
403.
Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings / edited by Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner. by Series: Lecture Notes in Computer Science ; 5282
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C66 C43 2008.

Place hold Add to cart
404.
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
405.
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
406.
Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers / edited by Peter Roy. by Series: Lecture Notes in Computer Science ; 3389
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 R69 2005.

Place hold Add to cart
407.
408.
Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau. by Series: Lecture Notes in Computer Science ; 3536
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 C53 2005.

Place hold Add to cart
409.
Transactions on Computational Science II [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao, Guoyin Wang. by Series: Lecture Notes in Computer Science ; 5150
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q183.9 G38 2008.

Place hold Add to cart
410.
Forensic Computing [electronic resource] / by Tony Sammes, Brian Jenkinson. 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: TA219 S26 2007.

Place hold Add to cart
411.
Web Component Development with Zope 3 [electronic resource] / by Philipp Weitershausen. by
Edition: Third edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.Z65 W45 2008.

Place hold Add to cart
412.
Formal Refinement for 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
413.
Validated Designs for Object-oriented Systems [electronic resource] / by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef. 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.9.O35 F58 2005.

Place hold Add to cart
414.
Agile Software Construction [electronic resource] / by John Hunt. 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.76.S95 H86 2006.

Place hold Add to cart
415.
Distributed Embedded Systems: Design, Middleware and Resources [electronic resource] / edited by Bernd Kleinjohann, Wayne Wolf, Lisa Kleinjohann. by Series: IFIP – The International Federation for Information Processing ; 271
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 K54 2005.

Place hold Add to cart
416.
Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal. by Series: Lecture Notes in Computer Science ; 4878
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 T68 2007.

Place hold Add to cart
417.
Pages

Powered by Koha