Your search returned 514 results.

Sort
Results
1.
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by Series: Lecture Notes in Computer Science ; 5195
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.9.A96 A76 2008.

2.
3.
4.
5.
6.
Artificial Life Models in Software [electronic resource] / edited by Andrew Adamatzky, Maciej Komosinski. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.618 A33 2005.

7.
8.
9.
10.
11.
12.
13.
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems [electronic resource] / edited by Michal Pěchouček, Simon G. Thompson, Holger Voos. by Series: Whitestein Series in Software Agent Technologies and Autonomic Computing
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 P43 2008.

14.
The Art of Artificial Evolution [electronic resource] : A Handbook on Evolutionary Art and Music / edited by Juan Romero, Penousal Machado. by Series: Natural Computing Series
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: NX260 R66 2008.

15.
16.
Advances in Unmanned Aerial Vehicles [electronic resource] : State of the Art and the Road to Autonomy / edited by Kimon P. Valavanis. by Series: Intelligent Systems, Control and Automation: Science and Engineering ; 33
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: UG1242.D7 V35 2007 .

17.
Advanced Data Mining and Applications [electronic resource] : Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings / edited by Reda Alhajj, Hong Gao, Xue Li, Jianzhong Li, Osmar R. Zaïane. by Series: Lecture Notes in Computer Science ; 4632
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.D343 A44 2007.

18.
19.
20.
Environment Learning for Indoor Mobile Robots [electronic resource] : A Stochastic State Estimation Approach to Simultaneous Localization and Map Building / by Juan Andrade-Cetto, Alberto Sanfeliu. by Series: Springer Tracts in Advanced Robotics ; 23
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: TA1 A53 2006.

Pages

Powered by Koha