Your search returned 806 results.

Sort
Results
241.
242.
243.
244.
245.
246.
Artificial Intelligence and Simulation [electronic resource] : 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / edited by Tag Gon Kim. by Series: Lecture Notes in Computer Science ; 3397
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.C65 K56 2005.

247.
248.
249.
Advances in Spatial and Temporal Databases [electronic resource] : 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007. Proceedings / edited by Dimitris Papadias, Donghui Zhang, George Kollios. by Series: Lecture Notes in Computer Science ; 4605
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.D3 P37 2007.

250.
251.
252.
253.
254.
Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by José Meseguer, Grigore Roşu. by Series: Lecture Notes in Computer Science ; 5140
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.758 M47 2008.

255.
Articulated Motion and Deformable Objects [electronic resource] : 4th International Conference, AMDO 2006, Port d’Andratx, Mallorca, Spain, July 11-14, 2006. Proceedings / edited by Francisco J. Perales, Robert B. Fisher. by Series: Lecture Notes in Computer Science ; 4069
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: T385 P47 2006.

256.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings / edited by Khaled Mellouli. by Series: Lecture Notes in Computer Science ; 4724
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: Q334 M45 2007.

257.
258.
259.
260.
Pages

Powered by Koha