Your search returned 362 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
341.
50 Years of Artificial Intelligence [electronic resource] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer. by Series: Lecture Notes in Computer Science ; 4850
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: Q334 L86 2007.

Place hold Add to cart
342.
Statistical Implicative Analysis [electronic resource] : Theory and Applications / edited by Régis Gras, Einoshin Suzuki, Fabrice Guillet, Filippo Spagnolo. by Series: Studies in Computational Intelligence ; 127
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: QA276 G73 2008.

Place hold Add to cart
343.
Fuzzy Systems Engineering [electronic resource] : Theory and Practice / edited by Nadia Nedjah, Luiza de Mourelle. by Series: Studies in Fuzziness and Soft Computing ; 181
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.S63 N43 2005 .

Place hold Add to cart
344.
345.
Fuzzy Implications [electronic resource] / by Michał Baczyński, Balasubramaniam Jayaram. by Series: Studies in Fuzziness and Soft Computing ; 231
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: QA9.64 B33 2008 .

Place hold Add to cart
346.
Advances in Telerobotics [electronic resource] / edited by Manuel Ferre, Martin Buss, Rafael Aracil, Claudio Melchiorri, Carlos Balaguer. by Series: Springer Tracts in Advanced Robotics ; 31
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 F47 2007.

Place hold Add to cart
347.
Automated Deduction – CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning. by Series: Lecture Notes in Computer Science ; 4603
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.A96 P44 2007.

Place hold Add to cart
348.
Intelligent Information Technology [electronic resource] : 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings / edited by Gautam Das, Ved Prakash Gulati. by Series: Lecture Notes in Computer Science ; 3356
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: T58.5 D37 2005.

Place hold Add to cart
349.
Multiagent System Technologies [electronic resource] : 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings / edited by Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong. by Series: Lecture Notes in Computer Science ; 4196
Edition: 1a ed.
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.76.I58 F57 2006.

Place hold Add to cart
350.
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.

Place hold Add to cart
351.
Advances in Informatics [electronic resource] : 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings / edited by Panayiotis Bozanis, Elias N. Houstis. by Series: 3746 ; 0302-9743 ;
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: T58.5 B69 2005.

Place hold Add to cart
352.
Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. by Series: Texts in Theoretical Computer Science, An Eatcs Series
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: QA279.4 K76 2008 .

Place hold Add to cart
353.
Design and Analysis of Learning Classifier Systems [electronic resource] : A Probabilistic Approach / by Jan Drugowitsch. by Series: Studies in Computational Intelligence ; 139
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: Q325.5 D78 2008.

Place hold Add to cart
354.
Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss. by Series: Lecture Notes in Computer Science ; 4327
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.7 B35 2006.

Place hold Add to cart
355.
Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments [electronic resource] / by Cipriano Galindo, Juan-Antonio Fernández-Madrigal, Javier Gonzáez. by Series: Studies in Computational Intelligence ; 68
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.415 G35 2007.

Place hold Add to cart
356.
Soft Computing for Information Processing and Analysis [electronic resource] / edited by Masoud Nikravesh, Lotfi A. Zadeh, Janusz Kacprzyk. by Series: Studies in Fuzziness and Soft Computing ; 164
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.S63 N55 2005.

Place hold Add to cart
357.
Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Amy L. Murphy, Jan Vitek. by Series: Lecture Notes in Computer Science ; 4467
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.58 M87 2007.

Place hold Add to cart
358.
Fuzzy Information and Engineering [electronic resource] : Proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE) / edited by Bing-Yuan Cao. by Series: Advances in Soft Computing ; 40
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: QA402 C36 2007.

Place hold Add to cart
359.
Foundations of Learning Classifier Systems [electronic resource] / edited by Larry Bull, Tim Kovacs. by Series: Studies in Fuzziness and Soft Computing ; 183
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.5 B85 2005.

Place hold Add to cart
360.
Extending the Scalability of Linkage Learning Genetic Algorithms [electronic resource] : Theory & Practice / by Ying-ping Chen. by Series: Studies in Fuzziness and Soft Computing ; 190
Edition: 1a ed.
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: QA402.5 C44 2006.

Place hold Add to cart
Pages

Powered by Koha