Your search returned 888 results.

Sort
Results
741.
Advances in Web-Based Learning – ICWL 2005 [electronic resource] : 4th International Conference, Hong Kong, China, July 31 - August 3, 2005. Proceedings / edited by Rynson W. H. Lau, Qing Li, Ronnie Cheung, Wenyin Liu. by Series: Lecture Notes in Computer Science ; 3583
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: LB1044.87 L38 2005.

742.
743.
744.
745.
746.
747.
Medical Imaging and Augmented Reality [electronic resource] : 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings / edited by Takeyoshi Dohi, Ichiro Sakuma, Hongen Liao. by Series: Lecture Notes in Computer Science ; 5128
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: R857.O6 D64 2008.

748.
749.
Algorithmic Learning Theory [electronic resource] : 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007. Proceedings / edited by Marcus Hutter, Rocco A. Servedio, Eiji Takimoto. by Series: Lecture Notes in Computer Science ; 4754
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 H88 2007.

750.
Journal on Data Semantics V [electronic resource] / edited by Stefano Spaccapietra, Paolo Atzeni, Wesley W. Chu, Tiziana Catarci, Katia P. Sycara. by Series: Lecture Notes in Computer Science ; 3870
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.9.D35 S63 2006.

751.
Database Theory – ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings / edited by Thomas Schwentick, Dan Suciu. by Series: Lecture Notes in Computer Science ; 4353
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.9.D3 S39 2006 .

752.
753.
Graph-based Knowledge Representation [electronic resource] : Computational Foundations of Conceptual Graphs / by Michel Chein, Marie-Laure Mugnier. by Series: Advanced Information and Knowledge Processing
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: London : Springer London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q387.2 C44 2008.

754.
Handbook of Spatial Logics [electronic resource] / edited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 A34 2007.

755.
Advances in Computation and Intelligence [electronic resource] : Third International Symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / edited by Lishan Kang, Zhihua Cai, Xuesong Yan, Yong Liu. by Series: Lecture Notes in Computer Science ; 5370
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: Q335 K36 2008.

756.
Knowledge Science, Engineering and Management [electronic resource] : Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007. Proceedings / edited by Zili Zhang, Jörg Siekmann. by Series: Lecture Notes in Computer Science ; 4798
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.76.E95 Z43 2007.

757.
Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik. by Series: Lecture Notes in Computer Science ; 5123
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: QA76.76.V47 G87 2008.

758.
759.
Journal on Data Semantics II [electronic resource] / edited by Stefano Spaccapietra, Elisa Bertino, Sushil Jajodia, Roger King, Dennis McLeod, Maria E. Orlowska, Leon Strous. by Series: Lecture Notes in Computer Science ; 3360
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.D35 S63 2005.

760.
Ontology Learning and Population from Text [electronic resource] : Algorithms, Evaluation and Applications / by Philipp Cimiano. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.E95 C56 2006.

Pages

Powered by Koha