Your search returned 192 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
161.
Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / edited by Ron Meyden, Leendert Torre. by Series: Lecture Notes in Computer Science ; 5076
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: Q75.5 M49 2008.

Place hold Add to cart
162.
Machine Learning: ECML 2006 [electronic resource] : 17th European Conference on Machine Learning Berlin, Germany, September 18-22, 2006 Proceedings / edited by Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou. by Series: Lecture Notes in Computer Science ; 4212
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: Q325.5 F87 2006.

Place hold Add to cart
163.
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang. by Series: Lecture Notes in Computer Science ; 3763
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: QA448.D38 H66 2006.

Place hold Add to cart
164.
165.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf. by Series: Lecture Notes in Computer Science ; 4483
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 B37 2007.

Place hold Add to cart
166.
Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni. by Series: Lecture Notes in Computer Science ; 4371
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.L63 I56 2007.

Place hold Add to cart
167.
Case-Based Reasoning Research and Development [electronic resource] : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings / edited by Rosina O. Weber, Michael M. Richter. by Series: Lecture Notes in Computer Science ; 4626
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 W43 2007.

Place hold Add to cart
168.
Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings / edited by Lou Goble, John-Jules Ch. Meyer. by Series: Lecture Notes in Computer Science ; 4048
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: Q75.5 G63 2006.

Place hold Add to cart
169.
Constraint Handling Rules [electronic resource] : Current Research Topics / edited by Tom Schrijvers, Thom Frühwirth. by Series: Lecture Notes in Computer Science ; 5388
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: QA76.612 S37 2008.

Place hold Add to cart
170.
Scalable Uncertainty Management [electronic resource] : First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings / edited by Henri Prade, V. S. Subrahmanian. by Series: Lecture Notes in Computer Science ; 4772
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: Q375 P73 2007.

Place hold Add to cart
171.
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Series: Lecture Notes in Computer Science ; 4144
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.V47 B35 2006.

Place hold Add to cart
172.
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers / edited by Balder D. Cate, Henk W. Zeevat. by Series: Lecture Notes in Computer Science ; 4363
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.L63 C38 2007.

Place hold Add to cart
173.
Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill. by Series: Lecture Notes in Computer Science ; 3901
Edition: 1a ed.
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: QA76.63 H55 2006.

Place hold Add to cart
174.
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings / edited by Petra Perner. by Series: Lecture Notes in Computer Science ; 4571
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: Q327 P47 2007.

Place hold Add to cart
175.
Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / edited by Kousha Etessami, Sriram K. Rajamani. by Series: Lecture Notes in Computer Science ; 3576
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.V47 E84 2005.

Place hold Add to cart
176.
Logic Programming [electronic resource] : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / edited by Maria Garcia de la Banda, Enrico Pontelli. by Series: Lecture Notes in Computer Science ; 5366
Edition: 1a ed.
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: QA76.63 G37 2008.

Place hold Add to cart
177.
Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Sandro Etalle, Mirosław Truszczyński. by Series: Lecture Notes in Computer Science ; 4079
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.63 E83 2006.

Place hold Add to cart
178.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings / edited by Lluís Godo. by Series: Lecture Notes in Computer Science ; 3571
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: Q334 G63 2005.

Place hold Add to cart
179.
180.
Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / edited by Jacques Garrigue, Manuel V. Hermenegildo. by Series: Lecture Notes in Computer Science ; 4989
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.62 G37 2008.

Place hold Add to cart
Pages

Powered by Koha