|
|
Hardware and Software: Verification and Testing
by Bertacco, Valeria.
Publication:
. XX, 366 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Computation
by Nishizaki, Shin-ya.
Publication:
. XII, 295 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Computation
by Nishizaki, Shin-ya.
Publication:
. X, 215p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XIV, 245 p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
by Kim, Tai-hoon.
Publication:
. XVIII, 476 p. 263 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering, Business Continuity, and Education
by Kim, Tai-hoon.
Publication:
. XVIII, 716 p. 218 illus.
Availability:
No items available:
|
|
|
The NCL Natural Constraint Language
by Zhou, Jianyang.
Publication:
. XIII, 311 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed, Parallel and Biologically Inspired Systems
by Hinchey, Mike.
Publication:
. XVI, 316p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Analysis of Hybrid Systems
by Platzer, André.
Publication:
. XXX, 426p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information and Communication Technologies in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XII, 379 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A General Framework for Reasoning On Inconsistency
by Martinez, Maria Vanina.
Publication:
. VII, 45 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Semantics
by Halpin, Harry.
Publication:
. XVI, 222 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|