Your search returned 537 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
521.
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
522.
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
523.
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
524.
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
525.
Speech, Audio, Image and Biomedical Signal Processing using Neural Networks [electronic resource] / edited by Bhanu Prasad, S. R. Mahadeva Prasanna. by Series: Studies in Computational Intelligence ; 83
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 P73 2008.

Place hold Add to cart
526.
Electroactive Polymers for Robotic Applications [electronic resource] : Artificial Muscles and Sensors / edited by Kwang J. Kim, Satoshi Tadokoro. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HV1569.5 K56 2006.

Place hold Add to cart
527.
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
528.
Computational Intelligence in Automotive Applications [electronic resource] / edited by Danil Prokhorov. by Series: Studies in Computational Intelligence ; 132
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TL152.8 P76 2008.

Place hold Add to cart
529.
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
530.
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
531.
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
532.
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
533.
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
534.
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
535.
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
536.
Intelligent Interactive Systems in Knowledge-Based Environments [electronic resource] / edited by Maria Virvou, Lakhmi C. Jain. by Series: Studies in Computational Intelligence ; 104
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.I58 V57 2008 .

Place hold Add to cart
537.
Advances in Robot Control [electronic resource] : From Everyday Physics to Human-Like Movements / edited by Sadao Kawamura, Mikhail Svinin. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.35 K39 2006.

Place hold Add to cart
Pages

Powered by Koha