Refine your search

Your search returned 205 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
Computer Analysis of Images and Patterns [electronic resource] : 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings / edited by André Gagalowicz, Wilfried Philips. by Series: Lecture Notes in Computer Science ; 3691
Edition: 1a ed.
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: TA1637 G34 2005.

Place hold Add to cart
22.
23.
Pervasive Computing [electronic resource] : 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings / edited by Anthony LaMarca, Marc Langheinrich, Khai N. Truong. by Series: Lecture Notes in Computer Science ; 4480
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.5915 L36 2007.

Place hold Add to cart
24.
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings / edited by András Horváth, Miklós Telek. by Series: Lecture Notes in Computer Science ; 4054
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.F67 H67 2006.

Place hold Add to cart
25.
26.
Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / edited by Wolfgang Grieskamp, Carsten Weise. by Series: Lecture Notes in Computer Science ; 3997
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 G75 2005.

Place hold Add to cart
27.
Quality of Protection [electronic resource] : Security Measurements and Metrics / edited by Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin. by Series: Advances in Information Security ; 23
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QP76.9.A25 G65 2006.

Place hold Add to cart
28.
Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen. by Series: Lecture Notes in Computer Science ; 3395
Edition: 1a ed.
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.F67 G73 2005.

Place hold Add to cart
29.
Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley. by Series: Lecture Notes in Computer Science ; 3968
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.5915 F57 2006.

Place hold Add to cart
30.
31.
Networked RFID Systems and Lightweight Cryptography [electronic resource] : Raising Barriers to Product Counterfeiting / edited by Damith C. Ranasinghe, Peter H. Cole. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK6570.I34 R36 2008.

Place hold Add to cart
32.
Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 4700
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.F67 J66 2007.

Place hold Add to cart
33.
34.
Formal Techniques for Networked and Distributed Systems - FORTE 2005 [electronic resource] : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings / edited by Farn Wang. by Series: Lecture Notes in Computer Science ; 3731
Edition: 1a ed.
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 F67 W36 2005.

Place hold Add to cart
35.
Design by Evolution [electronic resource] : Advances in Evolutionary Design / edited by Philip F. Hingston, Luigi C. Barone, Zbigniew Michalewicz. by Series: Natural Computing Series
Edition: 1a ed.
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: QA76.618 H56 2008.

Place hold Add to cart
36.
Computer Analysis of Images and Patterns [electronic resource] : 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings / edited by Walter G. Kropatsch, Martin Kampel, Allan Hanbury. by Series: Lecture Notes in Computer Science ; 4673 | Lecture Notes in Computer Science ; 4673
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: TA1637 K76 2007.

Place hold Add to cart
37.
Introduction to Cryptography [electronic resource] : Principles and Applications / by Hans Delfs, Helmut Knebl. by Series: Information Security and Cryptography, Texts and Monographs
Edition: 2a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 D45 2007.

Place hold Add to cart
38.
Pervasive Computing [electronic resource] : 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings / edited by Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott. by Series: Lecture Notes in Computer Science ; 5013
Edition: 1a ed.
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: QA76.5915 I53 2008.

Place hold Add to cart
39.
Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 4710
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.54 G46 2007.

Place hold Add to cart
40.
Real World Applications of Computational Intelligence [electronic resource] / edited by Mircea Negoita, Bernd Reusch. by Series: Studies in Fuzziness and Soft Computing ; 179
Edition: 1a ed.
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: Q342 N44 2005.

Place hold Add to cart
Pages

Powered by Koha