Your search returned 907 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
301.
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Taşıran. by Series: Lecture Notes in Computer Science ; 4839
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.F67 S65 2007.

Place hold Add to cart
302.
Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings / edited by Jürgen Münch, Pekka Abrahamsson. by Series: Lecture Notes in Computer Science ; 4589
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.758 M86 2007.

Place hold Add to cart
303.
Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings / edited by Lionel Briand, Clay Williams. by Series: Lecture Notes in Computer Science ; 3713
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.76.D47 B75 2005.

Place hold Add to cart
304.
305.
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
306.
System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / edited by Reinhard Gotzhein, Rick Reed. by Series: Lecture Notes in Computer Science ; 4320
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: TK5101.A1 G68 2006.

Place hold Add to cart
307.
Information Security Applications [electronic resource] : 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers / edited by Sehun Kim, Moti Yung, Hyung-Woo Lee. by Series: Lecture Notes in Computer Science ; 4867
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 K56 2007.

Place hold Add to cart
308.
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
309.
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
310.
Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers / edited by Jean-Michel Bruel. by Series: Lecture Notes in Computer Science ; 3844
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.76.D47 B78 2006.

Place hold Add to cart
311.
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support [electronic resource] : Results of the IMPROVE Project / edited by Manfred Nagl, Wolfgang Marquardt. by Series: Lecture Notes in Computer Science ; 4970
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: TP155 N34 2008 .

Place hold Add to cart
312.
313.
High Performance Computing - HiPC 2004 [electronic resource] : 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings / edited by Luc Bougé, Viktor K. Prasanna. by Series: Lecture Notes in Computer Science ; 3296
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 B68 2005.

Place hold Add to cart
314.
Scenarios: Models, Transformations and Tools [electronic resource] : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers / edited by Stefan Leue, Tarja Johanna Systä. by Series: Lecture Notes in Computer Science ; 3466
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.758 L48 2005.

Place hold Add to cart
315.
316.
Human Interaction with Machines [electronic resource] : Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005 / edited by G. Hommel, Sheng Huanye. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA167 H66 2006.

Place hold Add to cart
317.
Advances in Grid and Pervasive Computing [electronic resource] : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings / edited by Song Wu, Laurence T. Yang, Tony Li Xu. by Series: Lecture Notes in Computer Science ; 5036
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.9.C58 W8 2008.

Place hold Add to cart
318.
319.
320.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 3835
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: QA76 S88 2005.

Place hold Add to cart
Pages

Powered by Koha