Your search returned 81 results.

Sort
Results
21.
22.
23.
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy / by Michael Kohlhase. by Series: Lecture Notes in Computer Science ; 4180
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.95 K64 2006.

24.
Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels. by Series: Texts and Monographs in Symbolic Computation
Edition: Second edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Vienna : Springer-Verlag/Wien, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA201 S78 2008 .

25.
Research in Cryptology [electronic resource] : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers / edited by Stefan Lucks, Ahmad-Reza Sadeghi, Christopher Wolf. by Series: Lecture Notes in Computer Science ; 4945
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.A25 L85 2008 .

26.
Advanced Encryption Standard – AES [electronic resource] : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / edited by Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa. by Series: Lecture Notes in Computer Science ; 3373
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 D63 2005.

27.
Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia. by Series: Lecture Notes in Computer Science ; 4545
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: QH323.5 A53 2007.

28.
Algorithmic Number Theory [electronic resource] : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings / edited by Florian Hess, Sebastian Pauli, Michael Pohst. by Series: Lecture Notes in Computer Science ; 4076
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: QA241 H47 2006.

29.
30.
Symbolic Integration I [electronic resource] : Transcendental Functions / by Manuel Bronstein. by Series: Algorithms and Computation in Mathematics ; 1
Edition: Second 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: QA308 B76 2005.

31.
Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning. by Series: Lecture Notes in Computer Science ; 4098
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 P44 2006.

32.
Sets, Logic and Maths for Computing [electronic resource] / by David Makinson. by Series: Undergraduate Topics in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.M35 M35 2008.

33.
Modelling Distributed Systems [electronic resource] / by Wan Fokkink. by Series: Texts in Theoretical Computer Science An EATCS Series
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.58 F65 2007.

34.
Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. by Series: Monographs in Theoretical Computer Science. An EATCS 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: QA267.3 E37 2006.

35.
36.
Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings / edited by Craig E. Nelson, Stéphane Vialette. by Series: Lecture Notes in Computer Science ; 5267
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: QH447 N45 2008.

37.
Computer Algebra Recipes [electronic resource] : An Introductory Guide to the Mathematical Models of Science / by Richard H. Enns, George C. McGuire. by
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science + Business Media, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC30 .E484 2005.

38.
Algorithms in Real Algebraic Geometry [electronic resource] / by Saugata Basu, Richard Pollack, Marie-Françoise Roy. by Series: Algorithms and Computation in Mathematics ; 10
Edition: Second Edition.
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: QA564 B37 2006.

39.
40.
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.

Pages

Powered by Koha