Your search returned 308 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu. by Series: Studies in Universal Logic
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 D53 2008 .

Place hold Add to cart
102.
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. by Series: Springer Monographs in Mathematics
Edition: Second Revised and Enlarged Edition 1999.
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: QA9.7 E23 2006.

Place hold Add to cart
103.
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / edited by S. Arun-Kumar, Naveen Garg. by Series: Lecture Notes in Computer Science ; 4337
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.758 A78 2006.

Place hold Add to cart
104.
105.
Inconsistency Tolerance [electronic resource] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub. by Series: Lecture Notes in Computer Science ; 3300
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 B47 2005 .

Place hold Add to cart
106.
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
107.
Probabilistic Inductive Logic Programming [electronic resource] : Theory and Applications / edited by Luc Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton. by Series: Lecture Notes in Computer Science ; 4911
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.63 R34 2008.

Place hold Add to cart
108.
109.
Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings / edited by Rokia Missaoui, Jürg Schmidt. by Series: Lecture Notes in Computer Science ; 3874
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: QA171.5 M57 2006.

Place hold Add to cart
110.
111.
112.
113.
114.
Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / edited by Maurice Margenstern. by Series: Lecture Notes in Computer Science ; 3354
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.6 M37 2005.

Place hold Add to cart
115.
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
116.
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
117.
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
118.
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
119.
120.
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
Pages

Powered by Koha