Your search returned 544 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
461.
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Žďárek. by Series: Lecture Notes in Computer Science ; 4783
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: QA267 H65 2007.

Place hold Add to cart
462.
463.
Multiobjective Evolutionary Algorithms and Applications [electronic resource] / by K.C. Tan, E.F. Khor, T.H. Lee. by Series: Advanced Information and Knowledge Processing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 T36 2005.

Place hold Add to cart
464.
Algorithms in Bioinformatics [electronic resource] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings / edited by Raffaele Giancarlo, Sridhar Hannenhalli. by Series: Lecture Notes in Computer Science ; 4645
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: QH324.2 G53 2007.

Place hold Add to cart
465.
Transactions on Computational Systems Biology VII [electronic resource] / edited by Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson. by Series: Lecture Notes in Computer Science ; 4230
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
466.
Swarm Robotics [electronic resource] : Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers / edited by Erol Şahin, William M. Spears, Alan F. T. Winfield. by Series: Lecture Notes in Computer Science ; 4433
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: TJ210.3 S24 2007.

Place hold Add to cart
467.
Wireless Sensor Networks [electronic resource] : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / edited by Roberto Verdone. by Series: Lecture Notes in Computer Science ; 4913
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: TK7872.D48 V47 2008.

Place hold Add to cart
468.
Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings / edited by Lynn Margaret Batten, Reihaneh Safavi-Naini. by Series: Lecture Notes in Computer Science ; 4058
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.9.A25 B38 2006.

Place hold Add to cart
469.
470.
Information Security [electronic resource] : 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings / edited by Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta. by Series: Lecture Notes in Computer Science ; 4779
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.9.A25 G37 2007.

Place hold Add to cart
471.
Algorithms and Computation [electronic resource] : 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings / edited by Xiaotie Deng, Ding-Zhu Du. by Series: Lecture Notes in Computer Science ; 3827
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 D46 2005.

Place hold Add to cart
472.
Approximation and Online Algorithms [electronic resource] : Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / edited by Giuseppe Persiano, Roberto Solis-Oba. by Series: Lecture Notes in Computer Science ; 3351
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 P47 2005.

Place hold Add to cart
473.
Computer Algebra in Scientific Computing [electronic resource] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Series: Lecture Notes in Computer Science ; 4770
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: QA155.7.E4 G36 2007.

Place hold Add to cart
474.
475.
476.
The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna. by
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.L63 B73 2007.

Place hold Add to cart
477.
A Graph-Theoretic Approach to Enterprise Network Dynamics [electronic resource] / by Horst Bunke, Peter J. Dickinson, Miro Kraetzl, Walter D. Wallis. by Series: Progress in Computer Science and Applied Logic (PCS) ; 24
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.7 B86 2007.

Place hold Add to cart
478.
479.
Multiobjective Optimization [electronic resource] : Interactive and Evolutionary Approaches / edited by Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński. by Series: Lecture Notes in Computer Science ; 5252
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.5 B73 2008.

Place hold Add to cart
480.
Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen. by Series: Lecture Notes in Computer Science ; 4094
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 I23 2006.

Place hold Add to cart
Pages

Powered by Koha