|
|
Evolutionary and Biologically Inspired Music, Sound, Art and Design
by Machado, Penousal.
Publication:
. XII, 236p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming
by Moraglio, Alberto.
Publication:
. XII, 279p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Collier, Rem.
Publication:
. XI, 159 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Goodloe, Alwyn E.
Publication:
. XII, 466p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Lara, Juan.
Publication:
. Approx. 535 p. 168 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Seidl, Helmut.
Publication:
. XV, 602 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Flanagan, Cormac.
Publication:
. XIX, 560 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Bjørner, Nikolaj.
Publication:
. XI, 446 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by O’Boyle, Michael.
Publication:
. XVI, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
by Schmitt, Jens B.
Publication:
. XIII, 331p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications
by Choy, Oliver C. S.
Publication:
. XIV, 386p. 24 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Sensor Networks
by Picco, Gian Pietro.
Publication:
. XII, 261p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Software Engineering Techniques
by Szmuc, Tomasz.
Publication:
. Approx. 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Kuncak, Viktor.
Publication:
. X, 457p. 111 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Joshi, Rajeev.
Publication:
. XI, 326p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Russo, Claudio.
Publication:
. Approx. 315 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Barbosa, Luís Soares.
Publication:
. X, 305 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Swarm, Evolutionary, and Memetic Computing
by Panigrahi, Bijaya Ketan.
Publication:
. XXII, 332p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Swarm, Evolutionary, and Memetic Computing
by Panigrahi, Bijaya Ketan.
Publication:
. XXII, 754 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing and Networking
by Bononi, Luciano.
Publication:
. XIV, 550p. 196 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|