Your search returned 334 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
321.
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
322.
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
323.
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
324.
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
325.
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
326.
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
327.
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
328.
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
329.
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
330.
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
331.
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
332.
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
333.
Intelligence in Reliability Engineering [electronic resource] : New Metaheuristics, Neural and Fuzzy Techniques in Reliability / edited by Gregory Levitin. by Series: Studies in Computational Intelligence ; 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: TA169 L48 2007.

Place hold Add to cart
334.
Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Rastislav Bodik. by Series: Lecture Notes in Computer Science ; 3443
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.76.C65 B64 2005.

Place hold Add to cart
Pages

Powered by Koha