Koha online

21.
Programming in Prolog : using the ISO standard

by Clocksin, William F | Mellish, Christopher S.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.133 CLO] (1).
Place hold
22.
Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography

by Hromkovic, Juraj.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 HRO] (1).
Place hold
23.
Advances in Databases and Information Systems: 7th East European Conference, ADBIS 2003 Dresden, Germany, Septemeber 3-6, 2003: Proceedings

by Kalinichenko, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KAL] (1).
Place hold
24.
Personal Wireless Communications : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003 : Proceedings

by Conti, Marco.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CON] (1).
Place hold
25.
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings

by Anderson, Stuart | Felici, Massimo | Littlewood, Bev.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
Place hold
26.
Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings

by Qing, Sihan | Gollmann, Dieter | Zhou, Jianying.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 QIN] (1).
Place hold
27.
Applied Cryptography and Network Security : First International Conference, ACNS 2003, Kunming, China, October 16-19, 2003 ; Proceedings

by Zhou, Jianying | Han, Youngfei | Yung, Moti.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ZHO] (1).
Place hold
28.
UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings

by Stevens, Perdita | Booch, Grady | Whittle, Jon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
Place hold
29.
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers

by Priami, Corrado.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
Place hold
30.
Intelligent information processing and web mining : proceedings of the international iis: iipwm `04 conference held in zakopane, poland, may 17-20, 2004

by Klopotek, Mieczyslaw A | Trojanowski, Krzysztof | Wierzchon, Slawomir T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.33 KLO] (1).
Place hold
31.
Stateless core : A Scalable Approach For Quality of Service in the Internet : Winning Thesis of the 2001 ACM doctoral dissertation competition

by Stoica, Ion.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 STO] (1).
Place hold
32.
Grid and cooperative computing : Second International Workshop, GCC 2003, shanhai, china, december 7-10, 2003, revised papers, part II

by Li, Minglu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LIM] (2).
Place hold
33.
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
Place hold
34.
Concurrent zero knowledge

by Rosen, Alon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.8 ROS] (1).
Place hold
35.
Knowledge management in electronic government: 4th IFIP international working conference, KMGov 2003 Rhodes, Greece, May 26-28, 2003 proceedings

by Wimmer, Maria A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 WIM] (1).
Place hold
36.
Computer Analysis of Images and Patterns: 10th International conference, CAIP 2003 Groningen, The Netherlands, August 25-27, 2003: Proceedings

by Petkov, Nicolai | Westenberg, Michael A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PET] (1).
Place hold
37.
Intelligent Search on XML Data: Applications, Languages, Models, Implementations and Benchmarks

by Blanken, Henk.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BLA] (1).
Place hold
38.
Cooperative information agents VII: 7th International workshop, CIA 2003 Helsinki, Finland, August 27-29, 2003: Proceedings

by Klusch, Matthias.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 KLU] (1).
Place hold
39.
Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings

by Berthold, Michael R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
Place hold
40.
Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings

by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
Place hold

Powered by Koha