Your search returned 2103 results.

Sort
Results
401.
402.
403.
Computable Models of the Law [electronic resource] : Languages, Dialogues, Games, Ontologies / edited by Pompeu Casanovas, Giovanni Sartor, Núria Casellas, Rossella Rubino. by Series: Lecture Notes in Computer Science ; 4884
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: K87 C37 2008.

404.
Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I / edited by Lipo Wang, Ke Chen, Yew Soon Ong. by Series: Lecture Notes in Computer Science ; 3610
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.87 W36 2005.

405.
406.
Cryptology and Network Security [electronic resource] : 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005. Proceedings / edited by Yvo G. Desmedt, Huaxiong Wang, Yi Mu, Yongqing Li. by Series: Lecture Notes in Computer Science ; 3810
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 D47 2005.

407.
Advances in Cryptology - EUROCRYPT 2006 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings / edited by Serge Vaudenay. by Series: Lecture Notes in Computer Science ; 4004
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.A25 V38 2006.

408.
409.
Computer Vision – ACCV 2006 [electronic resource] : 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II / edited by P. J. Narayanan, Shree K. Nayar, Heung-Yeung Shum. by Series: Lecture Notes in Computer Science ; 3852
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: TA1634 N37 2006.

410.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Series: Lecture Notes in Computer Science ; 4468
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.D5 B66 2007.

411.
412.
Advances in Artificial Intelligence [electronic resource] : 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007. Proceedings / edited by Ziad Kobti, Dan Wu. by Series: Lecture Notes in Computer Science ; 4509
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 K63 2008.

413.
Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 3675
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: TA345 L86 2005.

414.
B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / edited by Jacques Julliand, Olga Kouchnarenko. by Series: Lecture Notes in Computer Science ; 4355
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.B22 J85 2006.

415.
416.
417.
Computer and Information Sciences - ISCIS 2005 [electronic resource] : 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings / edited by pInar Yolum, Tunga Güngör, Fikret Gürgen, Can Özturan. by Series: Lecture Notes in Computer Science ; 3733 | Lecture Notes in Computer Science ; 3733
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: QA75.5 Y65 2005.

418.
419.
Information Security and Cryptology [electronic resource] : Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / edited by Dingyi Pei, Moti Yung, Dongdai Lin, Chuankun Wu. by Series: Lecture Notes in Computer Science ; 4990
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.9.A25 P45 2008.

420.
Pages

Powered by Koha