Refine your search

Your search returned 834 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
721.
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
722.
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
723.
724.
Quantum Kinetics in Transport and Optics of Semiconductors [electronic resource] / by Hartmut Haug, Antti-Pekka Jauho. by Series: Solid-State Sciences ; 123
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: QC611.6.O6 H38 2008.

Place hold Add to cart
725.
726.
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
727.
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
728.
Complex Dynamics in Communication Networks [electronic resource] / edited by Ljupco Kocarev, Gábor Vattay. by Series: Understanding Complex Systems
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.5 K63 2005.

Place hold Add to cart
729.
Weak Links [electronic resource] : Stabilizers of Complex Systems from Proteins to Social Networks / by Peter Csermely. by Series: The Frontiers Collection
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag, 2006
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
730.
731.
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
732.
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
733.
Advances in Cryptology - CRYPTO 2007 [electronic resource] : 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings / edited by Alfred Menezes. by Series: Lecture Notes in Computer Science ; 4622
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 M46 2007.

Place hold Add to cart
734.
Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II / edited by Lipo Wang, Ke Chen, Yew Soon Ong. by Series: Lecture Notes in Computer Science ; 3611
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.87 W36 2005.

Place hold Add to cart
735.
736.
Algorithmic Information Theory [electronic resource] : Mathematics of Digital Information / by Peter Seibt. by Series: Signals and Communication Technology
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.D33 S45 2006 .

Place hold Add to cart
737.
Complexity Theory and Cryptology [electronic resource] : An Introduction to Cryptocomplexity / by Jörg Rothe. by Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS)
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.A25 R68 2005.

Place hold Add to cart
738.
Information Security and Cryptology - ICISC 2007 [electronic resource] : 10th International Conference, Seoul, Korea, November 29-30, 2007. Proceedings / edited by Kil-Hyun Nam, Gwangsoo Rhee. by Series: Lecture Notes in Computer Science ; 4817
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 N36 2007.

Place hold Add to cart
739.
Automated Deduction in Geometry [electronic resource] : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers / edited by Francisco Botana, Tomas Recio. by Series: Lecture Notes in Computer Science ; 4869
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: QA448.D38 B68 2007.

Place hold Add to cart
740.
Chinese Spoken Language Processing [electronic resource] : 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006. Proceedings / edited by Qiang Huo, Bin Ma, Eng-Siong Chng, Haizhou Li. by Series: Lecture Notes in Computer Science ; 4274
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: PL1278 H86 2006 .

Place hold Add to cart
Pages

Powered by Koha