Your search returned 81 results.

Sort
Results
61.
62.
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö. by Series: Lecture Notes in Computer Science ; 4588
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: QA267.3 H37 2007.

63.
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.

64.
Computational Commutative Algebra 2 [electronic resource] / by Martin Kreuzer, Lorenzo Robbiano. by
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: QA251.3 K74 2005.

65.
66.
67.
Cours d’optique [electronic resource] : Simulations et exercices résolus avec Maple®, Matlab®, Mathematica®, Mathcad® / by Karl D. Möller, Claude Bélorgoet. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Paris : Springer-Verlag Paris, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC363 M65 2007.

68.
Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings / edited by Oscar H. Ibarra, Zhe Dang. by Series: Lecture Notes in Computer Science ; 4036
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: QA267.3 I23 2006.

69.
Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai. by Series: Lecture Notes in Computer Science ; 5324
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.9.A25 B34 2008 .

70.
Computer Algebra Recipes [electronic resource] : An Advanced Guide to Scientific Modeling / by Richard H. Enns, George C. McGuire. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC30 .E484 2005.

71.
Getting Started with MuPAD [electronic resource] / by Miroslaw Majewski. by
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.95 M35 2005 .

72.
Pairing-Based Cryptography – Pairing 2008 [electronic resource] : Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / edited by Steven D. Galbraith, Kenneth G. Paterson. by Series: Lecture Notes in Computer Science ; 5209
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 G35 2008 .

73.
74.
Max-Plus Linear Stochastic Systems and Perturbation Analysis [electronic resource] / edited by Bernd Heidergott. by Series: The International Series on Discrete Event Dynamic Systems ; 16
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: QA402.37 H45 2007.

75.
76.
Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader. by Series: Lecture Notes in Computer Science ; 4533
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: QA267 B33 2007.

77.
78.
Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings / edited by Andrés Iglesias, Nobuki Takayama. by Series: Lecture Notes in Computer Science ; 4151
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 I35 2006.

79.
Global Optimization [electronic resource] : From Theory to Implementation / edited by Leo Liberti, Nelson Maculan. by Series: Nonconvex Optimization and Its Applications ; 84
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.5 L53 2006.

80.
Algorithmic Number Theory [electronic resource] : 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings / edited by Alfred J. Poorten, Andreas Stein. by Series: Lecture Notes in Computer Science ; 5011
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: QA241 P66 2008.

Pages

Powered by Koha