Your search returned 317 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
182.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti. by Series: Lecture Notes in Computer Science ; 4548
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 O45 2007.

Place hold Add to cart
183.
Contributions to the Science of Text and Language [electronic resource] : Word Length Studies and Related Issues / edited by Peter Grzybek. by Series: Text, Speech and Language Technology ; 31
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: P138.6 G79 2006.

Place hold Add to cart
184.
Mathematical Linguistics [electronic resource] / by András Kornai. by Series: Advanced Information and Knowledge Processing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: P138 K67 2008.

Place hold Add to cart
185.
Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner. by Series: Handbook of Philosophical Logic ; 14
Edition: 2nd Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BC6 G33 2007.

Place hold Add to cart
186.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / edited by Sundar Sarukkai, Sandeep Sen. by Series: Lecture Notes in Computer Science ; 3821
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.751 S27 2005.

Place hold Add to cart
187.
Discrete, Continuous, and Hybrid Petri Nets [electronic resource] / by René David, Hassane Alla. by
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: TA347.N46 D38 2005.

Place hold Add to cart
188.
189.
190.
Transactions on Computational Systems Biology VI [electronic resource] / edited by Corrado Priami, Gordon Plotkin. by Series: Lecture Notes in Computer Science ; 4220
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: QH324.2 P75 2006.

Place hold Add to cart
191.
Programming Sudoku [electronic resource] / by Wei-Meng Lee. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Wei-Meng Lee, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: GV1507.S83 L44 2006.

Place hold Add to cart
192.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / edited by V. Arvind, Sanjiva Prasad. by Series: Lecture Notes in Computer Science ; 4855
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.751 A78 2007.

Place hold Add to cart
193.
25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith. by Series: Lecture Notes in Computer Science ; 5000
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.76.V47 G78 2008.

Place hold Add to cart
194.
Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings / edited by Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita. by Series: Lecture Notes in Computer Science ; 3734
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.A43 J35 2005.

Place hold Add to cart
195.
AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005. Proceedings / edited by Shichao Zhang, Ray Jarvis. by Series: Lecture Notes in Computer Science ; 3809
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 Z43 2005.

Place hold Add to cart
196.
197.
198.
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Series: Applied Logic Series ; 35
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 C37 2008.

Place hold Add to cart
199.
200.
Pages

Powered by Koha