|
|
Automated Reasoning
by Giesl, Jürgen.
Publication:
. XII, 534p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Structures: From Information to Intelligence
by Croitoru, Madalina.
Publication:
. XII, 207p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Governatori, Guido.
Publication:
. VIII, 323p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIII, 754p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artifical Evolution
by Collet, Pierre.
Publication:
. XII, 207p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Autexier, Serge.
Publication:
. XV, 471p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Haptics: Generating and Perceiving Tangible Sensations
by Kappers, Astrid M. L.
Publication:
. XX, 460p. 227 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Haptics: Generating and Perceiving Tangible Sensations
by Kappers, Astrid M. L.
Publication:
. 440p. 246 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Articulated Motion and Deformable Objects
by Perales, Francisco J.
Publication:
. XIV, 312p. 154 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Kaufmann, Matt.
Publication:
. XI, 495p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence for Knowledge-Based Systems Design
by Hüllermeier, Eyke.
Publication:
. XVII, 771p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computing and Combinatorics
by Thai, My T.
Publication:
. 553p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programs, Proofs, Processes
by Ferreira, Fernando.
Publication:
. XIV, 450p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Engineering
by Benatallah, Boualem.
Publication:
. 528p. 231 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Scientific and Statistical Database Management
by Gertz, Michael.
Publication:
. XV, 660p. 285 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hybrid Artificial Intelligence Systems
by Corchado, Emilio.
Publication:
. 570p. 173 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Learning and Intelligent Optimization
by Blum, Christian.
Publication:
. XIV, 344p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Aging Friendly Technology for Health and Independence
by Lee, Yeunsook.
Publication:
. XIV, 272p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Image Analysis and Recognition
by Campilho, Aurélio.
Publication:
. XI, 460p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Image Analysis and Recognition
by Campilho, Aurélio.
Publication:
. XI, 460p. 239 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|