Refine your search

Your search returned 834 results.

Sort
Results
61.
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 4576
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: QA9.A1 L45 2007.

62.
Distributed Search by Constrained Agents [electronic resource] : Algorithms, Performance, Communication / by Amnon Meisels. by Series: Advanced Information and Knowledge Processing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 M45 2008.

63.
Digital Watermarking [electronic resource] : Third International Workshop, IWDW 2004, Seoul, South Korea, October 30 - November 1, 2004, Revised Selected Papers / edited by Ingemar J. Cox, Ton Kalker, Heung-Kyu Lee. by Series: Lecture Notes in Computer Science ; 3304
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 C69 2005.

64.
Theory of Cryptography [electronic resource] : Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings / edited by Ran Canetti. by Series: Lecture Notes in Computer Science ; 4948
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

65.
Mathematical Systems Theory I [electronic resource] : Modelling, State Space Analysis, Stability and Robustness / by Diederich Hinrichsen, Anthony J. Pritchard. by Series: Texts in Applied Mathematics ; 48
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: QA402 H56 2005.

66.
Liapunov Functions and Stability in Control Theory [electronic resource] / by Andrea Bacciotti, Lionel Rosier. by Series: Communications and Control Engineering
Edition: 2nd Edition.
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: QA402.3 B33 2005.

67.
Pattern Recognition [electronic resource] : 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings / edited by Gerhard Rigoll. by Series: Lecture Notes in Computer Science ; 5096
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: TK7882.P3 G47 2008.

68.
Computational Intelligence [electronic resource] : Principles, Techniques and Applications / by Amit Konar. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q342 K66 2005.

69.
70.
71.
Technologies for Advanced Heterogeneous Networks II [electronic resource] : Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings / edited by Kenjiro Cho, Philippe Jacquet. by Series: Lecture Notes in Computer Science ; 4311
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: TK5105.5 C6 2006.

72.
Advanced Methods for Knowledge Discovery from Complex Data [electronic resource] / by Sanghamitra Bandyopadhyay, Ujjwal Maulik, Lawrence B. Holder, Diane J. Cook. by Series: Advanced Information and Knowledge Processing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Dr Sanghamitra Bandyopadhyay, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D26 B36 2005.

73.
Topics in Cryptology – CT-RSA 2008 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings / edited by Tal Malkin. by Series: Lecture Notes in Computer Science ; 4964
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

74.
Cryptography and Coding [electronic resource] : 10th IMA International Conference, Cirencester, UK, December 19-21, 2005. Proceedings / edited by Nigel P. Smart. by Series: Lecture Notes in Computer Science ; 3796
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: QA268 S63 2005.

75.
Financial Cryptography and Data Security [electronic resource] : 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers / edited by Andrew S. Patrick, Moti Yung. by Series: Lecture Notes in Computer Science ; 3570
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: HG1710 P38 2005.

76.
Genetic Programming Theory and Practice IV [electronic resource] / edited by Rick Riolo, Terence Soule, Bill Worzel. by Series: Genetic and Evolutionary Computation
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.623 G49 2007.

77.
Cognitive Vision Systems [electronic resource] : Sampling the Spectrum of Approaches / edited by Henrik I. Christensen, Hans-Hellmut Nagel. by Series: Lecture Notes in Computer Science ; 3948
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: TA1634 C47 2006.

78.
Cloud Optics [electronic resource] / by Alexander A. Kokhanovsky. by Series: Atmospheric and Oceanographic Sciences Library ; 34
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC921.6.T4 K65 2006.

79.
Control of Nonlinear Dynamical Systems [electronic resource] : Methods and Applications / by Felix L. Chernousko, Igor M. Ananievski, Sergey A. Reshmin. by Series: Communications and Control Engineering
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: QA402.35 C44 2008.

80.
Combinatorial Pattern Matching [electronic resource] : 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1–4, 2001 Proceedings / by Gad M. Landau ; edited by Amihood Amir. by Series: Lecture Notes in Computer Science ; 2089
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.A43 L36 2006.

Pages

Powered by Koha