Your search returned 2103 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
461.
462.
463.
464.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer. by Series: Lecture Notes in Computer Science ; 4202 | Lecture Notes in Computer Science ; 4202
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: QA76.9.C65 A83 2006.

Place hold Add to cart
465.
466.
Recent Advances in Intrusion Detection [electronic resource] : 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings / edited by Christopher Kruegel, Richard Lippmann, Andrew Clark. by Series: Lecture Notes in Computer Science ; 4637
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: QA76.9.A25 K78 2007.

Place hold Add to cart
467.
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings / edited by Violet R. Syrotiuk, Edgar Chávez. by Series: Lecture Notes in Computer Science ; 3738
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: TK5105.77 S97 2005.

Place hold Add to cart
468.
Algorithms and Complexity [electronic resource] : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings / edited by Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano. by Series: Lecture Notes in Computer Science ; 3998
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: QA9.58 C35 2006 .

Place hold Add to cart
469.
Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong. by Series: Lecture Notes in Computer Science ; 3634
Edition: 1a ed.
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.L63 O64 2005.

Place hold Add to cart
470.
Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky. by Series: Lecture Notes in Computer Science ; 4888
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: TK7895.E42 K67 2007.

Place hold Add to cart
471.
472.
Understanding Planning Tasks [electronic resource] : Domain Complexity and Heuristic Decomposition / by Malte Helmert. by Series: Lecture Notes in Computer Science ; 4929
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
473.
Next Generation Information Technologies and Systems [electronic resource] : 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings / edited by Opher Etzion, Tsvi Kuflik, Amihai Motro. by Series: Lecture Notes in Computer Science ; 4032
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: QA75.5 E89 2006.

Place hold Add to cart
474.
Privacy in Statistical Databases [electronic resource] : CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006. Proceedings / edited by Josep Domingo-Ferrer, Luisa Franconi. by Series: Lecture Notes in Computer Science ; 4302
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 D66 2006.

Place hold Add to cart
475.
476.
477.
478.
Algorithms in Bioinformatics [electronic resource] : 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings / edited by Keith A. Crandall, Jens Lagergren. by Series: Lecture Notes in Computer Science ; 5251
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: QH324.2 C73 2008.

Place hold Add to cart
479.
Euro-Par 2008 – Parallel Processing [electronic resource] : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / edited by Emilio Luque, Tomàs Margalef, Domingo Benítez. by Series: Lecture Notes in Computer Science ; 5168
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: QA76.58 L87 2008.

Place hold Add to cart
480.
Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 5052
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.58 L43 2008.

Place hold Add to cart
Pages

Powered by Koha