Your search returned 1822 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1661.
1662.
Annotating, Extracting and Reasoning about Time and Events [electronic resource] : International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers / edited by Frank Schilder, Graham Katz, James Pustejovsky. by Series: Lecture Notes in Computer Science ; 4795
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.N38 S34 2007.

Place hold Add to cart
1663.
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Series: Lecture Notes in Computer Science ; 4590
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.76.V47 D36 2007.

Place hold Add to cart
1664.
Context: Nature, Impact, and Role [electronic resource] : 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005. Proceedings / edited by Fabio Crestani, Ian Ruthven. by Series: Lecture Notes in Computer Science ; 3507
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: Z672.5 C74 2005.

Place hold Add to cart
1665.
1666.
Information Security and Cryptology – ICISC 2004 [electronic resource] : 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / edited by Choon-sik Park, Seongtaek Chee. by Series: Lecture Notes in Computer Science ; 3506
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.A25 P37 2005.

Place hold Add to cart
1667.
1668.
1669.
ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek. by Series: Lecture Notes in Computer Science ; 5142
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.64 V58 2008.

Place hold Add to cart
1670.
Privacy Enhancing Technologies [electronic resource] : 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007 Revised Selected Papers / edited by Nikita Borisov, Philippe Golle. by Series: Lecture Notes in Computer Science ; 4776
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 B67 2007.

Place hold Add to cart
1671.
1672.
Robust Signal Processing for Wireless Communications [electronic resource] / by Frank A. Dietrich. by Series: Foundations in Signal Processing, Communications and Networking ; 2
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: TK5102.9 D54 2008.

Place hold Add to cart
1673.
Cooperative Design, Visualization, and Engineering [electronic resource] : Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 4101
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: TA345 L86 2006.

Place hold Add to cart
1674.
50 Years of Artificial Intelligence [electronic resource] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer. by Series: Lecture Notes in Computer Science ; 4850
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: Q334 L86 2007.

Place hold Add to cart
1675.
1676.
1677.
Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey, September 24-26, 2008. Proceedings / edited by Josep Domingo-Ferrer, Yücel Saygın. by Series: Lecture Notes in Computer Science ; 5262
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 D66 2008.

Place hold Add to cart
1678.
1679.
1680.
Pages

Powered by Koha