Your search returned 216 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
82.
Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning. by Series: Lecture Notes in Computer Science ; 4098
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: QA267 P44 2006.

Place hold Add to cart
83.
Transactions on Rough Sets VIII [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Series: Lecture Notes in Computer Science ; 5084
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: QA248 P48 2008.

Place hold Add to cart
84.
Fuzzy Systems and Knowledge Discovery [electronic resource] : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I / edited by Lipo Wang, Yaochu Jin. by Series: Lecture Notes in Computer Science ; 3613
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: QA248 W36 2005.

Place hold Add to cart
85.
Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 5110
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: QA9.A1 H63 2008.

Place hold Add to cart
86.
87.
AI*IA 2005: Advances in Artificial Intelligence [electronic resource] : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings / edited by Stefania Bandini, Sara Manzoni. by Series: Lecture Notes in Computer Science ; 3673
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 B36 2005.

Place hold Add to cart
88.
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
89.
Learning Theory [electronic resource] : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings / edited by Gábor Lugosi, Hans Ulrich Simon. by Series: Lecture Notes in Computer Science ; 4005
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 L84 2006.

Place hold Add to cart
90.
Active Conceptual Modeling of Learning [electronic resource] : Next Generation Learning-Base System Development / edited by Peter P. Chen, Leah Y. Wong. by Series: Lecture Notes in Computer Science ; 4512
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: Q325.5 C46 2007.

Place hold Add to cart
91.
92.
Transactions on Rough Sets IV [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Series: Lecture Notes in Computer Science ; 3700
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: QA248 P48 2005.

Place hold Add to cart
93.
94.
95.
96.
97.
98.
Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / edited by Joe Hurd, Tom Melham. by Series: Lecture Notes in Computer Science ; 3603
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
99.
100.
Advances in Case-Based Reasoning [electronic resource] : 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings / edited by Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir. by Series: Lecture Notes in Computer Science ; 4106
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 R68 2006.

Place hold Add to cart
Pages

Powered by Koha