|
|
Computer Aided Verification
by Touili, Tayssir.
Publication:
. XVI, 676p. 169 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. X, 476p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Case-Based Reasoning. Research and Development
by Bichindaritz, Isabelle.
Publication:
. 557p. 180 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Current Topics in Artificial Intelligence
by Meseguer, Pedro.
Publication:
. XII, 302p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web-Age Information Management
by Chen, Lei.
Publication:
. XIX, 785p. 320 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment
by Kreibich, Christian.
Publication:
. XII, 219p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Wieringa, Roel.
Publication:
. XII, 280p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2010
by Strichman, Ofer.
Publication:
. XIII, 400p. 74 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),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIV, 614p. 78 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),
|
|
|
Euro-Par 2009 – Parallel Processing Workshops
by Lin, Hai-Xiang.
Publication:
. XIX, 468p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2010 – Object-Oriented Programming
by D’Hondt, Theo.
Publication:
. XIII, 599p. 196 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computers Helping People with Special Needs
by Miesenberger, Klaus.
Publication:
. 644p. 306 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computers Helping People with Special Needs
by Miesenberger, Klaus.
Publication:
. 727p. 177 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security and Privacy
by Steinfeld, Ron.
Publication:
. XII, 403p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|