Your search returned 3732 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2021.
Formal Models of Operating System Kernels [electronic resource] / by Iain D. Craig. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.O63 C73 2007.

Place hold Add to cart
2022.
2023.
Google Maps Mashups with Google Mapplets [electronic resource] / by Michael Young. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Michael Young, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: G70.212 Y68 2008.

Place hold Add to cart
2024.
Pro T-SQL 2008 Programmer’s Guide [electronic resource] / by Michael Coles. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Apress, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.S67 C65 2008.

Place hold Add to cart
2025.
Data Warehousing and Knowledge Discovery [electronic resource] : 9th International Conference, DaWaK 2007, Regensburg Germany, September 3-7, 2007. Proceedings / edited by Il Yeal Song, Johann Eder, Tho Manh Nguyen. by Series: Lecture Notes in Computer Science ; 4654
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.D37 S66 2007.

Place hold Add to cart
2026.
Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe. by Series: Lecture Notes in Computer Science ; 5028
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: QA9.59 B43 2008.

Place hold Add to cart
2027.
Computational Discovery of Scientific Knowledge [electronic resource] : Introduction, Techniques, and Applications in Environmental and Life Sciences / edited by Sašo Džeroski, Ljupčo Todorovski. by Series: Lecture Notes in Computer Science ; 4660
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: Q183.9 D94 2007.

Place hold Add to cart
2028.
IP Operations and Management [electronic resource] : 8th IEEE International Workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings / edited by Nail Akar, Michal Pioro, Charalabos Skianis. by Series: Lecture Notes in Computer Science ; 5275
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: TK5105.5 A33 2008.

Place hold Add to cart
2029.
Privacy Enhancing Technologies [electronic resource] : 6th International Workshop, PET 2006, Cambridge, UK, June 28-30, 2006, Revised Selected Papers / edited by George Danezis, Philippe Golle. by Series: Lecture Notes in Computer Science ; 4258
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.9.A25 D36 2006.

Place hold Add to cart
2030.
Advances in Grid and Pervasive Computing [electronic resource] : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings / edited by Yeh-Ching Chung, José E. Moreira. by Series: Lecture Notes in Computer Science ; 3947
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.C58 C86 2006.

Place hold Add to cart
2031.
Journal on Data Semantics IV [electronic resource] / edited by Stefano Spaccapietra. by Series: Lecture Notes in Computer Science ; 3730
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.D35 S63 2005.

Place hold Add to cart
2032.
Methods and Procedures for the Verification and Validation of Artificial Neural Networks [electronic resource] / by Brian J. Taylor. by
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: QA76.87 T39 2006.

Place hold Add to cart
2033.
Max-Plus Methods for Nonlinear Control and Estimation [electronic resource] / by William M. McEneaney. by Series: Systems & Control: Foundations & Applications
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.35 M34 2006.

Place hold Add to cart
2034.
Principal Manifolds for Data Visualization and Dimension Reduction [electronic resource] / edited by Alexander N. Gorban, Balázs Kégl, Donald C. Wunsch, Andrei Y. Zinovyev. by Series: Lecture Notes in Computational Science and Enginee ; 58
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: QA278.5 G67 2008.

Place hold Add to cart
2035.
2036.
2037.
A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic available online remote
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.76.D47 K87 2005.

Place hold Add to cart
2038.
Inside Relational Databases with Examples in Access [electronic resource] / by Mark Whitehorn, Bill Marklyn. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Mark Whitehorn, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D32 W58 2007.

Place hold Add to cart
2039.
2040.
Pages

Powered by Koha