Your search returned 959 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
61.
62.
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.

Place hold Add to cart
63.
Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings / edited by Peter Beek. by Series: Lecture Notes in Computer Science ; 3709
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.64 B44 2005.

Place hold Add to cart
64.
65.
Image Analysis and Processing – ICIAP 2005 [electronic resource] : 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings / edited by Fabio Roli, Sergio Vitulano. by Series: Lecture Notes in Computer Science ; 3617
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: TA1632 R65 2005.

Place hold Add to cart
66.
Transactions on Rough Sets V [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Series: Lecture Notes in Computer Science ; 4100
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: QA248 P48 2006.

Place hold Add to cart
67.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 3835
Edition: 1a ed.
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 S88 2005.

Place hold Add to cart
68.
Pedagogically Founded Courseware Generation for Web-Based Learning [electronic resource] : An HTN-Planning-Based Approach Implemented in PAIGOS / by Carsten Ullrich. by Series: Lecture Notes in Computer Science ; 5260
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: LB1044.87 U45 2008.

Place hold Add to cart
69.
Adaptive Motion of Animals and Machines [electronic resource] / edited by Hiroshi Kimura, Kazuo Tsuchiya, Akio Ishiguro, Hartmut Witte. by
Material type: Computer file Computer file; Format: electronic
Publication details: Tokyo : Springer-Verlag Tokyo, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.4 K56 2006.

Place hold Add to cart
70.
Agent Technology from a Formal Perspective [electronic resource] / edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears. by Series: NASA Monographs in Systems and Software Engineering
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: QA76.76.I58 R68 2006.

Place hold Add to cart
71.
Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning. by Series: Lecture Notes in Computer Science ; 4098
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: QA267 P44 2006.

Place hold Add to cart
72.
Transactions on Rough Sets VIII [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Series: Lecture Notes in Computer Science ; 5084
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: QA248 P48 2008.

Place hold Add to cart
73.
74.
75.
Learning Theory [electronic resource] : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings / edited by Gábor Lugosi, Hans Ulrich Simon. by Series: Lecture Notes in Computer Science ; 4005
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: Q325.5 L84 2006.

Place hold Add to cart
76.
Transactions on Rough Sets IV [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Series: Lecture Notes in Computer Science ; 3700
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: QA248 P48 2005.

Place hold Add to cart
77.
Algorithmic Learning in a Random World [electronic resource] / by Vladimir Vovk, Alexander Gammerman, Glenn Shafer. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA279.2 V68 2005.

Place hold Add to cart
78.
Semantic Web and Peer-to-Peer [electronic resource] : Decentralized Management and Exchange of Knowledge and Information / edited by Steffen Staab, Heiner Stuckenschmidt. by
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.88815 S73 2006.

Place hold Add to cart
79.
80.
Adaptive Cooperation between Driver and Assistant System [electronic resource] : Improving Road Safety / by Frédéric Holzmann. 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: TL214.C64 H65 2008.

Place hold Add to cart
Pages

Powered by Koha