|
|
Programming Languages and Systems
by Shan, Chung-chieh.
Publication:
. X, 381 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Bertacco, Valeria.
Publication:
. XX, 366 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Instruction Sequences for Computer Science
by Bergstra, Jan A.
Publication:
. XVI, 229 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Filipe, Joaquim.
Publication:
. X, 257 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 173 p. 49 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),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 219 p. 102 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),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 267p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 324p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Drawing Programs: The Theory and Practice of Schematic Functional Programming
by Addis, Tom.
Publication:
. XIII, 386 p. 410 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Specification of Software Systems
by Alagar, V.S.
Publication:
. XXVI, 646 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|