Your search returned 1354 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1341.
Abstraction, Reformulation, and Approximation [electronic resource] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings / edited by Ian Miguel, Wheeler Ruml. by Series: Lecture Notes in Computer Science ; 4612
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: QA75.5 M54 2007.

Place hold Add to cart
1342.
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems [electronic resource] / edited by Jerzy Pejaś, Andrzej Piegat. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 P45 2005.

Place hold Add to cart
1343.
1344.
PEACH - Intelligent Interfaces for Museum Visits [electronic resource] / edited by Oliviero Stock, Massimo Zancanaro. by Series: Cognitive Technologies
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: AM151 S76 2007.

Place hold Add to cart
1345.
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
1346.
1347.
Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings / edited by Hugues Bersini, Jorge Carneiro. by Series: Lecture Notes in Computer Science ; 4163
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.875 B47 2006.

Place hold Add to cart
1348.
Handbook of Face Recognition [electronic resource] / by Stan Z. Li, Anil K. Jain. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1650 H36 2005.

Place hold Add to cart
1349.
1350.
PRICAI 2008: Trends in Artificial Intelligence [electronic resource] : 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings / edited by Tu-Bao Ho, Zhi-Hua Zhou. by Series: Lecture Notes in Computer Science ; 5351
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: Q334 H6 2008.

Place hold Add to cart
1351.
Discovery Science [electronic resource] : 8th International Conference, DS 2005, Singapore, October 8 – 11, 2005. Proceedings / edited by Achim Hoffmann, Hiroshi Motoda, Tobias Scheffer. by Series: Lecture Notes in Computer Science ; 3735
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: Q174 H64 2005.

Place hold Add to cart
1352.
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
1353.
Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings / edited by Masami Hagiya, Philip Wadler. by Series: Lecture Notes in Computer Science ; 3945
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.62 H34 2006.

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