Your search returned 467 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
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 A76 2008.

2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
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
Availability: Items available for loan: Biblioteca Digital (1)Call number: NX260 R66 2008.

13.
14.
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
Availability: Items available for loan: Biblioteca Digital (1)Call number: UG1242.D7 V35 2007 .

15.
16.
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
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1 A53 2006.

17.
18.
19.
20.
Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings / edited by Bernhard Gramlich. by Series: Lecture Notes in Computer Science ; 3717
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.A1 G73 2005.

Pages

Powered by Koha