Your search returned 160 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Swarm Robotics [electronic resource] : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / edited by Erol Şahin, William M. Spears. by Series: Lecture Notes in Computer Science ; 3342
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: TJ210.3 S24 2005.

Place hold Add to cart
102.
103.
104.
Theory of Computation [electronic resource] / by Dexter C. Kozen. by Series: Texts in Computer Science
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: QA267.7 K69 2006.

Place hold Add to cart
105.
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
106.
Fun with Algorithms [electronic resource] : 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings / edited by Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci. by Series: Lecture Notes in Computer Science ; 4475
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.A43 C74 2007.

Place hold Add to cart
107.
Algorithms in Bioinformatics [electronic resource] : 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings / edited by Rita Casadio, Gene Myers. by Series: Lecture Notes in Computer Science ; 3692
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: QH324.2 C37 2005.

Place hold Add to cart
108.
109.
110.
Parallel Computing Technologies [electronic resource] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings / edited by Victor Malyshkin. by Series: Lecture Notes in Computer Science ; 4671
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.58 M35 2007.

Place hold Add to cart
111.
112.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Carlos Cotta, Jano Hemert. by Series: Lecture Notes in Computer Science ; 4446
Edition: 1a ed.
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.87 C68 2007.

Place hold Add to cart
113.
Learning Theory [electronic resource] : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings / edited by Peter Auer, Ron Meir. by Series: Lecture Notes in Computer Science ; 3559
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: Q325.7 A94 2005.

Place hold Add to cart
114.
115.
Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings / edited by Luděk Kučera, Antonín Kučera. by Series: Lecture Notes in Computer Science ; 4708
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 K83 2007.

Place hold Add to cart
116.
117.
Handbook of Nature-Inspired and Innovative Computing [electronic resource] : Integrating Classical Models with Emerging Technologies / edited by Albert Y. Zomaya. by
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: QA76.618 Z66 2006.

Place hold Add to cart
118.
119.
Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Series: Texts in Theoretical Computer Science. An EATCS Series
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: QA267.7 F58 2006.

Place hold Add to cart
120.
Pages

Powered by Koha