Your search returned 135 results.

Sort
Results
21.
22.
23.
24.
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.

25.
26.
27.
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.

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

29.
30.
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.

31.
Formal Concept Analysis [electronic resource] : Foundations and Applications / edited by Bernhard Ganter, Gerd Stumme, Rudolf Wille. by Series: Lecture Notes in Computer Science ; 3626
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: QA171.5 G368 2005.

32.
33.
Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 5052
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.58 L43 2008.

34.
35.
36.
37.
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Series: Lecture Notes in Computer Science ; 2605
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.A96 H88 2005.

38.
Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems / by Thomas Bräunl. by
Edition: Second Edition.
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: TJ211.415 B73 2006.

39.
40.
Metainformatics [electronic resource] : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / edited by Uffe Kock Wiil. by Series: Lecture Notes in Computer Science ; 3511
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: QA75.5 W55 2005.

Pages

Powered by Koha