Your search returned 68 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
The Mathematica GuideBook for Symbolics [electronic resource] / by Michael Trott. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.95 T76 2006.

Place hold Add to cart
42.
Continuous System Simulation [electronic resource] / by François E. Cellier, Ernesto Kofman. by
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: T57.62 C45 2006.

Place hold Add to cart
43.
44.
Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 L44 2008.

Place hold Add to cart
45.
46.
Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings / edited by Jürgen Giesl. by Series: Lecture Notes in Computer Science ; 3467
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: QA267 G54 2005.

Place hold Add to cart
47.
Computer Algebra in Scientific Computing [electronic resource] : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Series: Lecture Notes in Computer Science ; 3718
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: QA155.7.E4 G36 2005.

Place hold Add to cart
48.
Arithmetic of Finite Fields [electronic resource] : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / edited by Joachim Gathen, José Luis Imaña, Çetin Kaya Koç. by Series: Lecture Notes in Computer Science ; 5130
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: QA247.3 G38 2008.

Place hold Add to cart
49.
50.
51.
52.
Mathematics of Surfaces XII [electronic resource] : 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings / edited by Ralph Martin, Malcolm Sabin, Joab Winkler. by Series: Lecture Notes in Computer Science ; 4647
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: QA571 M37 2007.

Place hold Add to cart
53.
54.
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.

Place hold Add to cart
55.
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
56.
57.
58.
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.

Place hold Add to cart
59.
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 .

Place hold Add to cart
60.
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 .

Place hold Add to cart
Pages

Powered by Koha