Your search returned 806 results.

Sort
Results
741.
Annotating, Extracting and Reasoning about Time and Events [electronic resource] : International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers / edited by Frank Schilder, Graham Katz, James Pustejovsky. by Series: Lecture Notes in Computer Science ; 4795
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.9.N38 S34 2007.

742.
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Series: Lecture Notes in Computer Science ; 4590
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.V47 D36 2007.

743.
744.
Context: Nature, Impact, and Role [electronic resource] : 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005. Proceedings / edited by Fabio Crestani, Ian Ruthven. by Series: Lecture Notes in Computer Science ; 3507
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: Z672.5 C74 2005.

745.
746.
50 Years of Artificial Intelligence [electronic resource] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer. by Series: Lecture Notes in Computer Science ; 4850
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: Q334 L86 2007.

747.
748.
Massively Multi-Agent Systems I [electronic resource] : First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers / edited by Toru Ishida, Les Gasser, Hideyuki Nakashima. by Series: Lecture Notes in Computer Science ; 3446
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 I84 2005.

749.
Computer Vision – ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV / edited by Aleš Leonardis, Horst Bischof, Axel Pinz. by Series: Lecture Notes in Computer Science ; 3954
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: TA1634 L46 2006.

750.
751.
GeoSpatial Semantics [electronic resource] : First International Conference, GeoS 2005, Mexico City, Mexico, November 29-30, 2005. Proceedings / edited by M. Andrea Rodríguez, Isabel Cruz, Sergei Levashkin, Max J. Egenhofer. by Series: Lecture Notes in Computer Science ; 3799
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: QA75 R63 2005.

752.
753.
Automated Deduction – CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning. by Series: Lecture Notes in Computer Science ; 4603
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 P44 2007.

754.
755.
Computational Logic in Multi-Agent Systems [electronic resource] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / edited by Jürgen Dix, João Leite. by Series: Lecture Notes in Computer Science ; 3259
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.9.L63 D59 2005.

756.
Intelligent Information Technology [electronic resource] : 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings / edited by Gautam Das, Ved Prakash Gulati. by Series: Lecture Notes in Computer Science ; 3356
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: T58.5 D37 2005.

757.
Multiagent System Technologies [electronic resource] : 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings / edited by Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong. by Series: Lecture Notes in Computer Science ; 4196
Edition: 1a ed.
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.76.I58 F57 2006.

758.
Knowledge Science, Engineering and Management [electronic resource] : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006. Proceedings / edited by Jérôme Lang, Fangzhen Lin, Ju Wang. by Series: Lecture Notes in Computer Science ; 4092
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.76.E95 L36 2006.

759.
Argumentation in Multi-Agent Systems [electronic resource] : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Iyad Rahwan, Pavlos Moraïtis, Chris Reed. by Series: Lecture Notes in Computer Science ; 3366
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 R34 2005.

760.
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings / edited by Petra Perner, Atsushi Imiya. by Series: Lecture Notes in Computer Science ; 3587
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: Q327 P47 2005.

Pages

Powered by Koha