Your search returned 960 results.

Sort
Results
21.
22.
Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle. by Series: Lecture Notes in Computer Science ; 3573
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.63 E83 2005.

23.
24.
25.
26.
Control of Interactive Robotic Interfaces [electronic resource] : A Port-Hamiltonian Approach / by Cristian Secchi, Cesare Fantuzzi, Stefano Stramigioli. by Series: Springer Tracts in Advanced Robotics ; 29
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: TJ211.35 S43 2007.

27.
Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers / edited by H. Jaap Herik, Paolo Ciancarini, H. H. L. M. (Jeroen) Donkers. by Series: Lecture Notes in Computer Science ; 4630
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: GV1469.15 H47 2007.

28.
SmartKom: Foundations of Multimodal Dialogue Systems [electronic resource] / edited by Wolfgang Wahlster. by Series: Cognitive Technologies
Material type: Computer file Computer file; Format: electronic available online remote
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.N38 S53 2006.

29.
Experimental Robotics X [electronic resource] : The 10th International Symposium on Experimental Robotics / edited by Oussama Khatib, Vijay Kumar, Daniela Rus. by Series: Springer Tracts in Advanced Robotics ; 39
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: TJ210.3 K43 2008.

30.
Adaptive and Multilevel Metaheuristics [electronic resource] / edited by Carlos Cotta, Marc Sevaux, Kenneth Sörensen. by Series: Studies in Computational Intelligence ; 136
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: T57.84 C68 2008.

31.
32.
Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III / edited by Lipo Wang, Ke Chen, Yew Soon Ong. by Series: Lecture Notes in Computer Science ; 3612
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.87 W36 2005.

33.
Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

34.
35.
Electronic Commerce [electronic resource] : Theory and Practice / edited by Tokuro Matsuo, Juhnyoung Lee, Minjie Zhang, Takayuki Ito, Makoto Yokoo. by Series: Studies in Computational Intelligence
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: HF5548.32 M38 2008.

36.
Intelligence and Security Informatics [electronic resource] : Techniques and Applications / edited by Hsinchun Chen, Christopher C. Yang. by Series: Studies in Computational Intelligence ; 135
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.76.E95 C46 2008.

37.
Pattern Recognition [electronic resource] : 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007. Proceedings / edited by Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne. by Series: Lecture Notes in Computer Science ; 4713
Edition: 1a ed.
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: TK7882.P3 H36 2007.

38.
39.
Artificial Neural Networks in Vehicular Pollution Modelling [electronic resource] / by Mukesh Khare, S. M. Shiva Nagendra. by Series: Studies in Computational Intelligence ; 41
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: TD883.1 K43 2007.

40.
Trends in Neural Computation [electronic resource] / edited by Ke Chen, Lipo Wang. by Series: Studies in Computational Intelligence ; 35
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.

Pages

Powered by Koha