Your search returned 539 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [electronic resource] : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings / edited by Michael Beigl, Paul Lukowicz. by Series: Lecture Notes in Computer Science ; 3432
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.9.A73 B45 2005.

Place hold Add to cart
102.
Peer-to-Peer Systems IV [electronic resource] : 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers / edited by Miguel Castro, Robbert Renesse. by Series: Lecture Notes in Computer Science ; 3640
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 C37 2005.

Place hold Add to cart
103.
104.
RoboCup 2006: Robot Soccer World Cup X [electronic resource] / edited by Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi. by Series: Lecture Notes in Computer Science ; 4434
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: TJ210.3 L35 2007.

Place hold Add to cart
105.
Virtual Reality [electronic resource] : Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Randall Shumaker. by Series: Lecture Notes in Computer Science ; 4563
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
106.
Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi Romijn, Graeme Smith, Jaco Pol. by Series: Lecture Notes in Computer Science ; 3771
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.9.F67 R66 2005.

Place hold Add to cart
107.
108.
109.
Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 3675
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: TA345 L86 2005.

Place hold Add to cart
110.
B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / edited by Jacques Julliand, Olga Kouchnarenko. by Series: Lecture Notes in Computer Science ; 4355
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.B22 J85 2006.

Place hold Add to cart
111.
Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Ulrich Furbach, Natarajan Shankar. by Series: Lecture Notes in Computer Science ; 4130
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.A96 F87 2006.

Place hold Add to cart
112.
Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / edited by Markus Lumpe, Wim Vanderperren. by Series: Lecture Notes in Computer Science ; 4829
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.C66 L86 2007.

Place hold Add to cart
113.
Software Process Improvement [electronic resource] : 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings / edited by Ita Richardson, Per Runeson, Richard Messnarz. by Series: Lecture Notes in Computer Science ; 4257
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 R53 2006.

Place hold Add to cart
114.
115.
Dependability Metrics [electronic resource] : Advanced Lectures / edited by Irene Eusgeld, Felix C. Freiling, Ralf Reussner. by Series: Lecture Notes in Computer Science ; 4909
Edition: 1a ed.
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.R44 E97 2008.

Place hold Add to cart
116.
Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 4184
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: TK5105.88813 B73 2006.

Place hold Add to cart
117.
118.
119.
120.
Model Driven Architecture – Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings / edited by Arend Rensink, Jos Warmer. by Series: Lecture Notes in Computer Science ; 4066
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 R46 2006 .

Place hold Add to cart
Pages

Powered by Koha