Your search returned 1013 results.

Sort
Results
601.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti. by Series: Lecture Notes in Computer Science ; 4548
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 O45 2007.

602.
Global Computing [electronic resource] : IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers / edited by Corrado Priami, Paola Quaglia. by Series: Lecture Notes in Computer Science ; 3267
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 P75 2005.

603.
604.
605.
606.
607.
608.
Research in Computational Molecular Biology [electronic resource] : 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings / edited by Terry Speed, Haiyan Huang. by Series: Lecture Notes in Computer Science ; 4453
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: QH506 S64 2007.

609.
Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli. by Series: Lecture Notes in Computer Science ; 4405
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.758 P33 2007.

610.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 [electronic resource] : 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I / edited by James S. Duncan, Guido Gerig. by Series: Lecture Notes in Computer Science ; 3749
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: R857.O6 D96 2005.

611.
612.
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search [electronic resource] / by Simone Frintrop. by Series: Lecture Notes in Computer Science ; 3899
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: No items available.

613.
614.
615.
Fuzzy Models and Algorithms for Pattern Recognition and Image Processing [electronic resource] / by James C. Bezdek, James Keller, Raghu Krisnapuram, Nikhil R. Pal. by Series: The Handbooks of Fuzzy Sets ; 4
Material type: Computer file Computer file; Format: electronic available online remote
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: TA1650 .F89 2005.

616.
Hebbian Learning and Negative Feedback Networks [electronic resource] / by Colin Fyfe. by Series: Advanced Information and Knowledge Processing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 F94 2005.

617.
Fundamentals of Statistics with Fuzzy Data [electronic resource] / by Hung Nguyen, Berlin Wu. by Series: Studies in Fuzziness and Soft Computing ; 198
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: QA276.5 N48 2006.

618.
619.
Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner. by Series: Handbook of Philosophical Logic ; 14
Edition: 2nd Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BC6 G33 2007.

620.
Pages

Powered by Koha