Refine your search

Your search returned 140 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
61.
Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer. by Series: Lecture Notes in Computer Science ; 4454
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.76.T48 G87 2007.

Place hold Add to cart
62.
Passive and Active Network Measurement [electronic resource] : 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005. Proceedings / edited by Constantinos Dovrolis. by Series: Lecture Notes in Computer Science ; 3431
Edition: 1a ed.
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: TK5105.5 D68 2005.

Place hold Add to cart
63.
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
64.
Event-Triggered and Time-Triggered Control Paradigms [electronic resource] / by Roman Obermaisser. by Series: Real-Time Systems Series, Event-Triggered and Time-Triggered Control Paradigms ; 22
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.7 O24 2005.

Place hold Add to cart
65.
Telecommunications Planning: Innovations in Pricing, Network Design and Management [electronic resource] / edited by S. Raghavan, G. Anandalingam. by Series: Operations Research/Computer Science Interfaces Series ; 33
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
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: TK5102.5 R34 2005.

Place hold Add to cart
66.
Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Series: Lecture Notes in Computer Science ; 4746
Edition: 1a ed.
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.F3 B66 2007.

Place hold Add to cart
67.
Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu. by Series: Monographs in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C69 H49 2006.

Place hold Add to cart
68.
A Software Process Model Handbook for Incorporating People’s Capabilities [electronic resource] / by Silvia Teresita Acuña, Natalia Juristo, Ana María Moreno, Alicia Mon. 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.76.D47 S66 2005.

Place hold Add to cart
69.
Embedded Systems – Modeling, Technology, and Applications [electronic resource] / edited by Günter Hommel, Sheng Huanye. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 H66 2006.

Place hold Add to cart
70.
71.
The Common Component Modeling Example [electronic resource] : Comparing Software Component Models / edited by Andreas Rausch, Ralf Reussner, Raffaela Mirandola, František Plášil. by Series: Lecture Notes in Computer Science ; 5153
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: QA76.76.C66 R38 2008.

Place hold Add to cart
72.
Reliable Distributed Systems [electronic resource] : Technologies, Web Services, and Applications / by Kenneth P. Birman. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 B57 2005.

Place hold Add to cart
73.
74.
75.
IP Operations and Management [electronic resource] : 8th IEEE International Workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings / edited by Nail Akar, Michal Pioro, Charalabos Skianis. by Series: Lecture Notes in Computer Science ; 5275
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.5 A33 2008.

Place hold Add to cart
76.
Advances in Grid and Pervasive Computing [electronic resource] : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings / edited by Yeh-Ching Chung, José E. Moreira. by Series: Lecture Notes in Computer Science ; 3947
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C58 C86 2006.

Place hold Add to cart
77.
Performance Modeling and Engineering [electronic resource] / edited by Zhen Liu, Cathy H. Xia. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.E94 L58 2008.

Place hold Add to cart
78.
The Robosapien Companion [electronic resource] : Tips, Tricks, and Hacks / by Jamie Samans. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Jamie Samans, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211 S26 2005.

Place hold Add to cart
79.
Fault-Tolerance Techniques for SRAM-based FPGAs [electronic resource] / by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.G36 K37 2006.

Place hold Add to cart
80.
Pages

Powered by Koha