|
1.
|
Constraint-based verification
by Yuan, Jun | Aziz, Adnan | Pixley, Carl. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).
|
|
2.
|
Industrial applications of semantic Web : proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005, Jyvaskyla, Finland
by Bramer, Max | Terziyan, Vagan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 025.04 BRA] (1).
|
|
3.
|
Introduction to default logic
by Besnard, Philippe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1989Availability: Items available for loan: [Call number: 006.3 BES] (1).
|
|
4.
|
Introduction to artificial life
by Adami, Christoph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 570.13 ADA] (2).
|
|
5.
|
Automated theorem proving : theory and practice
by Newborn, Monty. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2).
|
|
6.
|
Artificial intelligence methods and tools for systems biology
by Dubitzky, Werner | Azuaje, Francisco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2004Availability: Items available for loan: [Call number: 570.11 DUB] (1).
|
|
7.
|
Diagrammatic representation and reasoning
by Anderson, Michael | Anderson, Michael | Meyer, Bernd | Meyer, Bernd | Olivier, Patrick | Olivier, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2002Availability: Items available for loan: [Call number: 006.3 AND] (1).
|
|
8.
|
Artificial immune systems : a new computational intelligence approach
by Timmis, Jonathan | De Castro, Leandro N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 006.3 DEC] (1).
|
|
9.
|
Principles of adaptive filters and self-learning systems
by Zaknich, Anthony. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2005Availability: Items available for loan: [Call number: 621.3815324 ZAK] (1).
|
|
10.
|
Chance discovery
by Ohsawa, Y | McBurney, P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 153.83 OHS] (1).
|
|
11.
|
Artificial intelligence in medicine : 9th Conference in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 : proceedings
by Dojat, Michel | Barahona, Pedro | Keravnou, Elpida. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 DOJ] (1).
|
|
12.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHE] (1).
|
|
13.
|
Applied intelligent systems : new directions
by Fulcher, John | Jain, Lakhmi C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 FUL] (1).
|
|
14.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.33 KLO] (1).
|
|
15.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEZ] (1).
|
|
16.
|
Medical image computing and computer-assisted intervention - MICCAI 2004
by Barillot, Christian | Haynor, David R | Hellier, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BAR] (1).
|
|
17.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 IJS] (1).
|
|
18.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 ANT] (1).
|
|
19.
|
Journal on data semantic II
by Bertino, Elisa | Jajodia, Sushil | King, Roger | Spaccapietra, Stefano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 SPA] (1).
|
|
20.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 WIM] (1).
|