|
|
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),
|
|
|
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),
|
|
|
Software Composition
by Baudry, Benoît.
Publication:
. VIII, 155p. 56 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),
|
|
|
Mechanisms for Autonomous Management of Networks and Services
by Stiller, Burkhard.
Publication:
. XIII, 179p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Fraser, Gordon.
Publication:
. 174p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|