Your search returned 618 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
The Disappearing Computer [electronic resource] : Interaction Design, System Infrastructures and Applications for Smart Environments / edited by Norbert Streitz, Achilles Kameas, Irene Mavrommati. by Series: Lecture Notes in Computer Science ; 4500
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.5915 S77 2007.

Place hold Add to cart
82.
Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings / edited by Kees M. Hee, Rüdiger Valk. by Series: Lecture Notes in Computer Science ; 5062
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: QA267 H44 2008.

Place hold Add to cart
83.
RoboCup 2005: Robot Soccer World Cup IX [electronic resource] / edited by Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi. by Series: Lecture Notes in Computer Science ; 4020
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: TJ210.3 B74 2006.

Place hold Add to cart
84.
85.
86.
Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / edited by Magnus Egerstedt, Bud Mishra. by Series: Lecture Notes in Computer Science ; 4981
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.38 E34 2008.

Place hold Add to cart
87.
Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons. by Series: Lecture Notes in Computer Science ; 4591
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 D38 2007.

Place hold Add to cart
88.
Advanced Parallel Processing Technologies [electronic resource] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu. by Series: Lecture Notes in Computer Science ; 3756
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.642 C36 2005.

Place hold Add to cart
89.
90.
91.
92.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel. by Series: Lecture Notes in Computer Science ; 4937
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.88813 D86 2008.

Place hold Add to cart
93.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / edited by Thomas Kühne. by Series: Lecture Notes in Computer Science ; 4364
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.76.D47 K84 2007.

Place hold Add to cart
94.
95.
96.
97.
Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Qingfeng Chen, Chengqi Zhang, Shichao Zhang. by Series: Lecture Notes in Computer Science ; 5111
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.59 C46 2008 .

Place hold Add to cart
98.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 5330
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.63 C47 2008.

Place hold Add to cart
99.
Transactions on Aspect-Oriented Software Development I [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Series: Lecture Notes in Computer Science ; 3880
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.76.D47 R37 2006.

Place hold Add to cart
100.
Pages

Powered by Koha