Your search returned 3731 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2661.
2662.
Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by Howard Bowman, Rodolfo Gomez. 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.58 B69 2006.

Place hold Add to cart
2663.
Intelligent Document Retrieval [electronic resource] : Exploiting Markup Structure / by Udo Kruschwitz. by Series: The Springer International Series On Information Retrieval ; 17
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76 K78 2005.

Place hold Add to cart
2664.
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
2665.
Honeypots for Windows [electronic resource] / by Roger A. Grimes. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Roger A. Grimes, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 G75 2005.

Place hold Add to cart
2666.
Artificial Intelligence in Theory and Practice [electronic resource] : IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21–24, 2006, Santiago, Chile / edited by Max Bramer. by Series: IFIP International Federation for Information Processing ; 217
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : International Federation for Information Processing, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 B73 2006.

Place hold Add to cart
2667.
2668.
2669.
Networked Neighbourhoods [electronic resource] : The Connected Community in Context / edited by Patrick Purcell. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.83 N47 2006.

Place hold Add to cart
2670.
2671.
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Series: Lecture Notes in Computer Science ; 4085
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.76.D47 M57 2006.

Place hold Add to cart
2672.
Grid Computing in Life Science [electronic resource] : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers / edited by Akihiko Konagaya, Kenji Satou. by Series: Lecture Notes in Computer Science ; 3370
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.C58 K66 2005.

Place hold Add to cart
2673.
Computational Life Sciences II [electronic resource] : Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings / edited by Michael R. Berthold, Robert C. Glen, Ingrid Fischer. by Series: Lecture Notes in Computer Science ; 4216
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: QH324.2 B47 2006.

Place hold Add to cart
2674.
2675.
Multiple Classifier Systems [electronic resource] : 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings / edited by Michal Haindl, Josef Kittler, Fabio Roli. by Series: Lecture Notes in Computer Science ; 4472
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: Q325.5 H35 2007.

Place hold Add to cart
2676.
2677.
Matematica e cultura 2007 [electronic resource] : A cura di Michele Emmer / by Michele Emmer. by Series: Matematica e cultura
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA10.7 E46 2007.

Place hold Add to cart
2678.
Intelligent Information Processing II [electronic resource] : IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China / edited by Zhongzhi Shi, Qing He. by Series: IFIP International Federation for Information Processing ; 163
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : International Federation for Information Processing, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.E95 S46 2005.

Place hold Add to cart
2679.
Data Analysis Using the Method of Least Squares [electronic resource] : Extracting the Most Information from Experiments / by John Wolberg. by
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: QA275 W65 2006.

Place hold Add to cart
2680.
Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings / edited by Luděk Kučera, Antonín Kučera. by Series: Lecture Notes in Computer Science ; 4708
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.M35 K83 2007.

Place hold Add to cart
Pages

Powered by Koha