Your search returned 291 results.

Sort
Results
41.
Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits. by Series: Lecture Notes in Computer Science ; 4322
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 K67 2007.

42.
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.

43.
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.

44.
45.
46.
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.

47.
48.
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 .

49.
50.
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III / edited by Julie A. Jacko. by Series: Lecture Notes in Computer Science ; 4552
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.H85 J35 2007.

51.
Engineering Self-Organising Systems [electronic resource] : Methodologies and Applications / edited by Sven A. Brueckner, Giovanna Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal. by Series: Lecture Notes in Computer Science ; 3464
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: Q325 B78 2005.

52.
53.
54.
Grid Computing [electronic resource] : Experiment Management, Tool Integration, and Scientific Workflows / by Radu Prodan, Thomas Fahringer. by Series: Lecture Notes in Computer Science ; 4340
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.C58 P76 2007.

55.
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.

56.
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.

57.
58.
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.

59.
60.
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.

Pages

Powered by Koha