Your search returned 48 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The Safety of Systems [electronic resource] : Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 / edited by Felix Redmill, Tom Anderson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T55.A1 S24 2007.

Place hold Add to cart
2.
Communications and Multimedia Security [electronic resource] : 10th IFIP TC-6 TC-11 International Conference, CMS 2006, Heraklion, Crete, Greece, October 19-21, 2006. Proceedings / edited by Herbert Leitold, Evangelos P. Markatos. by Series: Lecture Notes in Computer Science ; 4237
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.59 .L45 2006.

Place hold Add to cart
3.
4.
Reliability, Life Testing and the Prediction of Service Lives [electronic resource] : For Engineers and Scientists / by Sam C. Saunders. by Series: Springer Series in Statistics
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA169 S27 2007.

Place hold Add to cart
5.
6.
An Introduction to Kolmogorov Complexity and Its Applications [electronic resource] / by Ming Li, Paul Vitányi. by Series: Texts in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.7 L5 2008.

Place hold Add to cart
7.
New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.59 N49 2008.

Place hold Add to cart
8.
Smart Cards, Tokens, Security and Applications [electronic resource] / by Keith E. Mayes, Konstantinos Markantonakis. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.S62 S64 2008.

Place hold Add to cart
9.
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 G36 2007.

Place hold Add to cart
10.
11.
12.
Semi-Markov Chains and Hidden Semi-Markov Models toward Applications [electronic resource] : Their use in Reliability and DNA Analysis / by Nikolaos Limnios, Vlad Stefan Barbu. by Series: Lecture Notes in Statistics ; 191
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA274.7 B37 2008.

Place hold Add to cart
13.
14.
15.
Matrix Algebra [electronic resource] : Theory, Computations, and Applications in Statistics / by James E. Gentle. by Series: Springer Texts in Statistics
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA188 G56 2007.

Place hold Add to cart
16.
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 M55 2006.

Place hold Add to cart
17.
Ubiquitous and Pervasive Commerce [electronic resource] : New Frontiers for Electronic Business / edited by George Roussos. by Series: Computer Communications and Networks
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.32 U25 2006.

Place hold Add to cart
18.
Constraint Theory [electronic resource] : Multidimensional Mathematical Model Management / by George J. Friedman. by Series: Ifsr International Series on Systems Science and Engineering ; 23
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA168 F75 2005.

Place hold Add to cart
19.
Towards Next Generation Grids [electronic resource] : Proceedings of the CoreGRID Symposium 2007 / edited by Thierry Priol, Marco Vanneschi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.55 T69 2007.

Place hold Add to cart
20.
Convergence and Applications of Newton-type Iterations [electronic resource] / by Ioannis K. Argyros. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA297.8 A73 2008.

Place hold Add to cart
Pages

Powered by Koha