|
|
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),
|
|
|
VLSI-SoC: Advanced Research for Systems on Chip
by Mir, Salvador.
Publication:
. X, 187 p. 104 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),
|
|
|
The Correctness-by-Construction Approach to Programming
by Kourie, Derrick G.
Publication:
. XIII, 264p. 37 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:
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 267p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Power Electronics and Instrumentation Engineering
by Das, Vinu V.
Publication:
. X, 136p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Process Mining
by van der Aalst, Wil M. P.
Publication:
. XVI, 352p. 184 illus., 6 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Algebraic Specification and Formal Software Development
by Sannella, Donald.
Publication:
. XVI, 584 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Power Electronics and Instrumentation Engineering
by Das, Vinu V.
Publication:
. X, 114p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Computer Science
by Calude, Cristian S.
Publication:
. XII, 387p. 62 illus.
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),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 324p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Specification and Verification of Declarative Open Interaction Models
by Montali, Marco.
Publication:
. XXII, 411p. 97 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),
|
|
|
Distributed Programming
by Shankar, A. Udaya.
Publication:
. XVIII, 387 p. 175 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),
|
|
|
Rigorous Software Development
by Almeida, José Bacelar.
Publication:
. XIII, 307p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|