61. DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papers

by Chen, Junghuei | Reif, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHE] (1).
62. Applied intelligent systems : new directions

by Fulcher, John | Jain, Lakhmi C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 FUL] (1).
63. 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).
64. 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).
65. Medical image computing and computer-assisted intervention - MICCAI 2004

by Barillot, Christian | Haynor, David R | Hellier, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BAR] (1).
66. Biologically inspired approaches to advanced information technology : First International Workshop, BioADIT 2004, Lausanne, Switzerland, January 29-30, 2004 : revised selected papers

by Ijspeert, Auke Jan | Murata, Masayuki | Wakamiya, Naoki.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 IJS] (1).
67. Rules and Rule Markup Languages for the Semantic web : Third International Workshop, ruleML 2004 Hiroshima, Japan, november 2004 proceedings

by Boley, Harold | Antoniou, Grigoris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 ANT] (1).
68. Journal on data semantic II

by Bertino, Elisa | Jajodia, Sushil | King, Roger | Spaccapietra, Stefano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 SPA] (1).
69. 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).
70. Spatial reasoning and planning : geometry, mechanism, and motion

by Liu, Jiming | Daneshmend, Laeeque K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 LIU] (1).
71. Learning theory and kernel machines: 16th annual conference on learning theory and 7th kernal workshop, COLT/KErnal 2003 Washington, DC, USA, August 24-27, 2003: Proceedings

by Scholkopf, Bernhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 SCH] (1).
72. Advances in Web-Based Learning - ICWL 2003 : Second International Conference Melbourne, Australia, August 2003 : Proceedings

by Zhou, Wanlei.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 ZHO] (1).
73. 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).
74. 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).
75. Informatics : 10 years back, 10 years ahead

by Wilhelm, Reinhard | Wilhelm, Reinhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 WIL] (1).
76. Isabelle/HOL : a Proof Assistant for Higher-Order Logic

by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
77. Web Intelligence

by Zhong, Ning | Liu, Jiming | Yao, Yiyu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 025.04 ZHO] (1).
78. Advances in computing and information--ICCI '91

by Fiala, F | Dehne, Frank | Koczkodaj, W. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1991Availability: Items available for loan: [Call number: 004 DEH] (1).
79. Nonmonotonic logic : context-dependent reasoning

by Marek, V. W | Truszczynski, Miroslaw.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1993Availability: Items available for loan: [Call number: 006.3 MAR] (1).
80. Genetic Algorithms + Data Structures = Evolution Programs

by Michaelewicz, Zbigniew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.1 MIC] (1).

Powered by Koha