Your search returned 218 results.

Sort
Results
1.
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by Series: Lecture Notes in Computer Science ; 5195
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.9.A96 A76 2008.

2.
3.
4.
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / edited by Khalid Al-Begain, Armin Heindl, Miklós Telek. by Series: Lecture Notes in Computer Science ; 5055
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: QA274.A1 A43 2008.

5.
Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen. by Series: Lecture Notes in Computer Science ; 4624
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.M35 M67 2007.

6.
7.
8.
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum. by Series: Lecture Notes in Computer Science ; 3396
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.76.I58 E35 2005.

9.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4246
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: QA76.63 H47 2006.

10.
11.
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. by Series: Lecture Notes in Computer Science ; 4019
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 J64 2006.

12.
13.
14.
15.
16.
17.
Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele. by Series: Lecture Notes in Computer Science ; 3414
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.38 M67 2005.

18.
Adaptive Agents and Multi-Agent Systems II [electronic resource] : Adaptation and Multi-Agent Learning / edited by Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso. by Series: Lecture Notes in Computer Science ; 3394
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.76.I58 K83 2005.

19.
20.
Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / edited by Magnus Egerstedt, Bud Mishra. by Series: Lecture Notes in Computer Science ; 4981
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.38 E34 2008.

Pages

Powered by Koha