|
21.
|
Spatial reasoning and planning : geometry, mechanism, and motion
by Liu, Jiming | Daneshmend, Laeeque K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 LIU] (1).
|
|
22.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 SCH] (1).
|
|
23.
|
Advances in Web-Based Learning - ICWL 2003 : Second International Conference Melbourne, Australia, August 2003 : Proceedings
by Zhou, Wanlei. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 ZHO] (1).
|
|
24.
|
Cooperative information agents VII: 7th International workshop, CIA 2003 Helsinki, Finland, August 27-29, 2003: Proceedings
by Klusch, Matthias. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 KLU] (1).
|
|
25.
|
Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings
by Berthold, Michael R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
26.
|
Informatics : 10 years back, 10 years ahead
by Wilhelm, Reinhard | Wilhelm, Reinhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 WIL] (1).
|
|
27.
|
Isabelle/HOL : a Proof Assistant for Higher-Order Logic
by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
|
|
28.
|
Web Intelligence
by Zhong, Ning | Liu, Jiming | Yao, Yiyu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 025.04 ZHO] (1).
|
|
29.
|
Advances in computing and information--ICCI '91
by Fiala, F | Dehne, Frank | Koczkodaj, W. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1991Availability: Items available for loan: [Call number: 004 DEH] (1).
|
|
30.
|
Nonmonotonic logic : context-dependent reasoning
by Marek, V. W | Truszczynski, Miroslaw. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1993Availability: Items available for loan: [Call number: 006.3 MAR] (1).
|
|
31.
|
Genetic Algorithms + Data Structures = Evolution Programs
by Michaelewicz, Zbigniew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.1 MIC] (1).
|
|
32.
|
Formal concept analysis : mathematical foundations
by Ganter, Bernhard | Wille, Rudolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 511.33 GAN] (1).
|
|
33.
|
Distributed reason maintenance for multiagent systems
by Kraetzschmar, Gerhard K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 006.3 KRA] (1).
|
|
34.
|
Artificial immune systems and their applications
by Dasgupta, Dipankar. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 616.0790113 DAS] (1).
|
|
35.
|
Intelligent data analysis : an introduction
by Berthold, Michael R | Berthold, Michael R | Hand, David J | Hand, David J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 519.5 BER] (1).
|
|
36.
|
Methodologies for Knowledge Discovery and Data Mining
by Zhong, Ning. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 006.3 ZHO] (1).
|
|
37.
|
Knowledge Acquisition
by Fensel, Dieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 006.3 FEN] (1).
|
|
38.
|
Artificial Animals for computer animation : biomechanics, locomotion, Perception, and Behavior
by Tu, Xiaoyuan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 004 TU,] (1).
|
|
39.
|
Artifiicial intelligence in theory and practice II : IFIP 20th world computer congress, TC 12 : IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
by Bramer, Max. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 006.3 BRA] (1).
|
|
40.
|
Evolutionary algorithms for solving multi-objective problems
by Lamont, Gary B | Coello Coello, Carlos A | Van Veldhuizen, David A. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 005.1 COE] (1).
|