Your search returned 1013 results.

Sort
Results
861.
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.

862.
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 .

863.
864.
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.

865.
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.

866.
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.

867.
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.

868.
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.

869.
870.
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.

871.
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.

872.
873.
874.
875.
Multi-Agent and Multi-Agent-Based Simulation [electronic resource] : Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by Paul Davidsson, Brian Logan, Keiki Takadama. by Series: Lecture Notes in Computer Science ; 3415
Edition: 1a ed.
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.I58 D38 2005.

876.
877.
Bayesian Networks and Influence Diagrams [electronic resource] : A Guide to Construction and Analysis / by Uffe B. Kjærulff, Anders L. Madsen. by Series: Information Science and Statistics
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA279.5 K53 2008.

878.
879.
Modeling and Using Context [electronic resource] : 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings / edited by Anind Dey, Boicho Kokinov, David Leake, Roy Turner. by Series: Lecture Notes in Computer Science ; 3554
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.C65 D49 2005 .

880.
Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents / by Michael Thielscher. by Series: Applied Logic Series ; 33
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: B53 T45 2005.

Pages

Powered by Koha