Your search returned 704 results.

Sort
Results
641.
Complex Motion [electronic resource] : First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers / edited by Bernd Jähne, Rudolf Mester, Erhardt Barth, Hanno Scharr. by Series: Lecture Notes in Computer Science ; 3417
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: TA1634 J34 2007.

642.
Local Pattern Detection [electronic resource] : International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers / edited by Katharina Morik, Jean-François Boulicaut, Arno Siebes. by Series: Lecture Notes in Computer Science ; 3539
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.D343 M67 2005 .

643.
644.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert. by Series: Lecture Notes in Computer Science ; 3702
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.A96 B43 2005.

645.
646.
647.
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.

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

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

650.
651.
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.

652.
653.
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.

654.
655.
Data Mining with Computational Intelligence [electronic resource] / by Lipo Wang, Xiuju Fu. by Series: Advanced Information and Knowledge Processing
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.D343 W36 2005 .

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

657.
658.
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.

659.
660.
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.

Pages

Powered by Koha