Your search returned 340 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 3835
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 S88 2005.

Place hold Add to cart
102.
Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels. by Series: Texts and Monographs in Symbolic Computation
Edition: Second edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Vienna : Springer-Verlag/Wien, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA201 S78 2008 .

Place hold Add to cart
103.
104.
Geometric Modeling and Processing - GMP 2006 [electronic resource] : 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings / edited by Myung-Soo Kim, Kenji Shimada. by Series: Lecture Notes in Computer Science ; 4077
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: TA174 K56 2006.

Place hold Add to cart
105.
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
106.
Induction, Algorithmic Learning Theory, and Philosophy [electronic resource] / edited by Michèle Friend, Norma B. Goethe, Valentina S. Harizanov. by Series: Logic, Epistemology, and the Unity of Science ; 9
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 F75 2007 .

Place hold Add to cart
107.
Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia. by Series: Lecture Notes in Computer Science ; 4545
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: QH323.5 A53 2007.

Place hold Add to cart
108.
M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke. by Series: Advances in Mathematics ; 10
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA564 K67 2006.

Place hold Add to cart
109.
Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers / edited by F. Acar Savacı. by Series: Lecture Notes in Computer Science ; 3949
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.87 S28 2006.

Place hold Add to cart
110.
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
111.
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
112.
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
113.
114.
Agent Technology from a Formal Perspective [electronic resource] / edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears. by Series: NASA Monographs in Systems and Software Engineering
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 R68 2006.

Place hold Add to cart
115.
116.
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
117.
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 M55 2006.

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

Powered by Koha