Refine your search

Your search returned 1287 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
381.
Requirements Management [electronic resource] : The Interface Between Requirements Development and All Other Systems Engineering Processes / by Colin Hood, Simon Wiedemann, Stefan Fichtinger, Urte Pautz. by
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 H66 2008.

Place hold Add to cart
382.
Product-Focused Software Process Improvement [electronic resource] : 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings / edited by Andreas Jedlitschka, Outi Salo. by Series: Lecture Notes in Computer Science ; 5089
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.758 J43 2008.

Place hold Add to cart
383.
384.
385.
Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : Second International Conference, AH 2002 Málaga, Spain, May 29–31, 2002 Proceedings / edited by Paul Bra, Peter Brusilovsky, Ricardo Conejo. by Series: Lecture Notes in Computer Science ; 2347
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.I59 B73 2006.

Place hold Add to cart
386.
387.
Financial Cryptography and Data Security [electronic resource] : 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers / edited by Giovanni Crescenzo, Avi Rubin. by Series: Lecture Notes in Computer Science ; 4107
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: HG1710 C74 2006.

Place hold Add to cart
388.
Case-Based Reasoning Research and Development [electronic resource] : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings / edited by Héctor Muñoz-Ávila, Francesco Ricci. by Series: Lecture Notes in Computer Science ; 3620
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.E95 M86 2005.

Place hold Add to cart
389.
Peer-to-Peer Systems III [electronic resource] : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers / edited by Geoffrey M. Voelker, Scott Shenker. by Series: Lecture Notes in Computer Science ; 3279
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.525 V64 2005.

Place hold Add to cart
390.
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
391.
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
392.
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
393.
Principles and Practice of Constraint Programming [electronic resource] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings / edited by Peter J. Stuckey. by Series: Lecture Notes in Computer Science ; 5202
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.C65 S78 2008.

Place hold Add to cart
394.
395.
Advances in Cryptology – ASIACRYPT 2007 [electronic resource] : 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings / edited by Kaoru Kurosawa. by Series: Lecture Notes in Computer Science ; 4833
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.A25 K87 2007.

Place hold Add to cart
396.
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
397.
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
398.
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
399.
Journal on Data Semantics X [electronic resource] / edited by Stefano Spaccapietra. by Series: Lecture Notes in Computer Science ; 4900
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.D35 S63 2008.

Place hold Add to cart
400.
Responsibility and Dependable Systems [electronic resource] / edited by Guy Dewsbury, John Dobson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA169 D49 2007.

Place hold Add to cart
Pages

Powered by Koha