Refine your search

Your search returned 834 results.

Sort
Results
421.
Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings / edited by Joanna Jȩdrzejowicz, Andrzej Szepietowski. by Series: Lecture Notes in Computer Science ; 3618
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.M35 J43 2005.

422.
Algorithmic Aspects in Information and Management [electronic resource] : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / edited by Rudolf Fleischer, Jinhui Xu. by Series: Lecture Notes in Computer Science ; 5034
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.A43 F54 2008.

423.
Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda. by Series: Lecture Notes in Computer Science ; 4045
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: QA90 B37 2006.

424.
425.
STACS 2005 [electronic resource] : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings / edited by Volker Diekert, Bruno Durand. by Series: Lecture Notes in Computer Science ; 3404
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: QA75.5 D54 2005.

426.
427.
Peer-to-Peer Systems and Applications [electronic resource] / edited by Ralf Steinmetz, Klaus Wehrle. by Series: Lecture Notes in Computer Science ; 3485
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: TK5105.525 S74 2005.

428.
Pedestrian Dynamics [electronic resource] : Feedback Control of Crowd Evacuation / edited by Pushkin P.E. Kachroo, Sabiha Amin Wadoo, Sadeq J. Al-nasur, Apoorva Shende. by Series: Understanding Complex Systems
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: TH9410 K33 2008.

429.
Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings / edited by Camil Demetrescu. by Series: Lecture Notes in Computer Science ; 4525
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.A23 D46 2007.

430.
431.
432.
433.
Nanotechnology: Science and Computation [electronic resource] / edited by Junghuei Chen, Nataša Jonoska, Grzegorz Rozenberg. by Series: Natural Computing Series
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: T174.7 C44 2006.

434.
Selected Areas in Cryptography [electronic resource] : 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers / edited by Carlisle Adams, Ali Miri, Michael Wiener. by Series: Lecture Notes in Computer Science ; 4876
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 A33 2007.

435.
Robust Synchronization of Chaotic Systems via Feedback [electronic resource] / by Ricardo Femat, Gualberto Solis-Perales. by Series: Lecture Notes in Control and Information Sciences ; 378
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: TJ216 F46 2008.

436.
Frontiers in Algorithmics [electronic resource] : Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings / edited by Franco P. Preparata, Xiaodong Wu, Jianping Yin. by Series: Lecture Notes in Computer Science ; 5059
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.A43 P74 2008.

437.
Progress in Cryptology - VIETCRYPT 2006 [electronic resource] : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006. Revised Selected Papers / edited by Phong Q. Nguyen. by Series: Lecture Notes in Computer Science ; 4341
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 N48 2006.

438.
Modular Algorithms in Symbolic Summation and Symbolic Integration [electronic resource] / by Jürgen Gerhard. by Series: Lecture Notes in Computer Science ; 3218
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.A43 G47 2005.

439.
Information Security and Cryptology - ICISC 2005 [electronic resource] : 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers / edited by Dong Ho Won, Seungjoo Kim. by Series: Lecture Notes in Computer Science ; 3935
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.A25 W66 2005.

440.
Bio-informatique moléculaire [electronic resource] : Une approche algorithmique / by Pavel A. Pevzner. by Series: Collection IRIS
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Paris : Springer-Verlag France, Paris, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH508 P48 2006.

Pages

Powered by Koha