121. Elements of finite model theory

by Libkin, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
122. Passive and Active Network Measurement : 5th International Workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004 ; proceedings

by Barakat, Chadi | Pratt, Ian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BAR] (1).
123. 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).
124. Generic Model Management : Concepts and Algorithms

by Melnik, Sergey.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEL] (1).
125. Grid and cooperative computing : second international workshop, GCC 2003, shanhai, china, december 7-10, 2003, revised papers, part I

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] (1).
126. 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).
127. Semantic web research and applications : First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, may 2004 : proceedings

by Bussler, Christoph.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BUS] (1).
128. Computer vision in human-computer interaction : ECCV 2004 workshop on HCI, Prague, Czech Republic, May 16, 2004, proceedings

by Sebe, Nicu | Huang, Thomas S | Lew, Michael S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 SEB] (1).
129. Applied cryptography and network security : Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004 ; proceedings

by Jakobsson, Markus | Yung, Moti | Zhou, Jianying.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 JAK] (1).
130. Biometric authentication : ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004 ; proceedings

by Maltoni, Davide | Jain, Anil Kumar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 MAL] (1).
131. Image and video retrieval : Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004 : proceedings

by Enser, Peter | Kompatsiaris, Yiannis | O'Connor, Noel E | Smeaton, Alan F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 ENS] (1).
132. Natural language processing and information systems : 9th International Conference on Applications of Natural Language to Information systems, NLDB 2004, Salford, UK, June 23-25, 2004 : proceedings

by Meziane, Farid | Metais, Elisabeth.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEZ] (1).
133. Advances in cryptology : CRYPTO 2004 : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004 : proceedings

by Franklin, Matt.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 FRA] (1).
134. Medical imaging and augmented reality : second international workshop, MIAR 2004, Beijing, China, August 19-20, 2004 : proceedings

by Jiang, Tianzi | Yang, Guang-Zhong.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 YAN] (1).
135. Grid computing : second European Acrossgrids conference, Axgrids 2004, Nicosia, Cyprus, January 28-30, 2004, revised papers

by Dikaiakos, Marios D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 DIK] (1).
136. Electronic government : third international conference, EGOV 2004, Zaragoza, Spain, August 30-September 3, 2004 ; proceedings

by Traunmuller, Roland.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 TRA] (1).
137. E-commerce and web technologies : fifth international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004 ; proceedings

by Bauknecht, Kurt | Bichler, Martin | Proll, Birgit.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BAU] (1).
138. Trust and privacy in digital business : first international conference, Trustbus 2004, Zaragoza, Spain, August 30 - September 1, 2004 ; proceedings

by Katsikas, Sokratis | Lopez, Javier | Pernul, Gunther.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 KAT] (1).
139. Pattern recognition : 26th DAGM symposium, Tuebingen, Germany, August 30-September 1, 2004 ; proceedings

by Rasmussen, Carl Edward | Bulthoff, Heinrich H | Giese, Martin A | Scholkopf, Bernhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 RAS] (1).
140. Entertainment computing -- ICEC 2004 : third international conference, Eindhoven, The Netherlands, September 1-3, 2004 ; proceedings

by Rauterberg, Matthias.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 RAU] (1).

Powered by Koha