Your search returned 1926 results.

Sort
Results
881.
882.
FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Series: Lecture Notes in Computer Science ; 3582
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.76.D47 F58 2005.

883.
Machine Learning for Multimodal Interaction [electronic resource] : Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers / edited by Steve Renals, Samy Bengio, Jonathan G. Fiscus. by Series: Lecture Notes in Computer Science ; 4299
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: Q325.5 R46 2006.

884.
Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings / edited by Sergei O. Kuznetsov, Stefan Schmidt. by Series: Lecture Notes in Computer Science ; 4390
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: QA171.5 K89 2007.

885.
AI 2004: Advances in Artificial Intelligence [electronic resource] : 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings / edited by Geoffrey I. Webb, Xinghuo Yu. by Series: Lecture Notes in Computer Science ; 3339
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: Q334 W43 2005.

886.
Advances in Information and Computer Security [electronic resource] : Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings / edited by Kanta Matsuura, Eiichiro Fujisaki. by Series: Lecture Notes in Computer Science ; 5312
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 M38 2008.

887.
888.
889.
Rough Sets and Knowledge Technology [electronic resource] : First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006. Proceedings / edited by Guo-Ying Wang, James F. Peters, Andrzej Skowron, Yiyu Yao. by Series: Lecture Notes in Computer Science ; 4062
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.S63 W36 2006.

890.
Image and Video Retrieval [electronic resource] : 5th International Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006. Proceedings / edited by Hari Sundaram, Milind Naphade, John R. Smith, Yong Rui. by Series: Lecture Notes in Computer Science ; 4071
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: TA1637 S86 2006.

891.
Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I / edited by De-Shuang Huang, Kang Li, George William Irwin. by Series: Lecture Notes in Computer Science ; 4113
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: Q342 H83 2006 .

892.
893.
894.
895.
Algorithms and Computation [electronic resource] : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings / edited by Tetsuo Asano. by Series: Lecture Notes in Computer Science ; 4288
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.A43 A83 2006.

896.
Internet and Network Economics [electronic resource] : Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007. Proceedings / edited by Xiaotie Deng, Fan Chung Graham. by Series: Lecture Notes in Computer Science ; 4858
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: TK5105.875.I57 D46 2007.

897.
898.
Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Series: Lecture Notes in Computer Science ; 4138
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: TK5103.2 C46 2006.

899.
Secure Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Willem Jonker, Milan Petković. by Series: Lecture Notes in Computer Science ; 4721
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.D314 J66 2007.

900.
Topics in Cryptology – CT-RSA 2006 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings / edited by David Pointcheval. by Series: Lecture Notes in Computer Science ; 3860
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: No items available.

Pages

Powered by Koha