Your search returned 754 results.

Sort
Results
601.
602.
Scalable Uncertainty Management [electronic resource] : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings / edited by Sergio Greco, Thomas Lukasiewicz. by Series: Lecture Notes in Computer Science ; 5291
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: Q375 G74 2008.

603.
Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin. by Series: Lecture Notes in Computer Science ; 3403
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: QA171.5 G36 2005.

604.
605.
AI 2008: Advances in Artificial Intelligence [electronic resource] : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings / edited by Wayne Wobcke, Mengjie Zhang. by Series: Lecture Notes in Computer Science ; 5360
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 W63 2008.

606.
Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings / edited by Dominique Borrione, Wolfgang Paul. by Series: Lecture Notes in Computer Science ; 3725
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: TK7874.75 B67 2005.

607.
608.
Nonlinear Speech Modeling and Applications [electronic resource] : Advanced Lectures and Revised Selected Papers / edited by Gérard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro. by Series: Lecture Notes in Computer Science ; 3445
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: TK7882.S65 C46 2005.

609.
610.
Anaphora: Analysis, Algorithms and Applications [electronic resource] : 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers / edited by António Branco. by Series: Lecture Notes in Computer Science ; 4410
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: P299.A5 B73 2007.

611.
612.
Mathematical Knowledge Management [electronic resource] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings / edited by Jonathan M. Borwein, William M. Farmer. by Series: Lecture Notes in Computer Science ; 4108
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.95 B67 2006.

613.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings / edited by Alexander Gelbukh. by Series: Lecture Notes in Computer Science ; 3406
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.T48 G45 2005.

614.
Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla. by Series: Lecture Notes in Computer Science ; 4407
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: QA76.63 P84 2007.

615.
616.
617.
Concept Lattices and Their Applications [electronic resource] : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers / edited by Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek. by Series: Lecture Notes in Computer Science ; 4923
Edition: 1a ed.
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: QA171.5 Y34 2008.

618.
619.
620.
Pages

Powered by Koha