|
|
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),
|
|
|
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),
|
|
|
Interactive Theorem Proving
by Kaufmann, Matt.
Publication:
. XI, 495p. 82 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),
|
|
|
Multi-Agent-Based Simulation X
by Tosto, Gennaro.
Publication:
. 158p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Global Perspectives on Design Science Research
by Winter, Robert.
Publication:
. XV, 564p. 128 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Program Construction
by Bolduc, Claude.
Publication:
. X, 427p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Component-Based Software Engineering
by Grunske, Lars.
Publication:
. X, 253p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Hsu, Ching-Hsien.
Publication:
. XXX, 468p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Hsu, Ching-Hsien.
Publication:
. 580p. 295 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Pernici, Barbara.
Publication:
. XVI, 548p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Argumentation in Multi-Agent Systems
by McBurney, Peter.
Publication:
. X, 321p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Computing Systems and Applications
by Mewhort, Douglas J. K.
Publication:
. XIII, 418p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Schreye, Danny.
Publication:
. X, 205p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Blume, Matthias.
Publication:
. XI, 355p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Esparza, Javier.
Publication:
. XVI, 468p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Escobar, Santiago.
Publication:
. IX, 179p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Gordon, Andrew D.
Publication:
. XV, 632p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|