|
|
Programming Multi-Agent Systems
by Collier, Rem.
Publication:
. XI, 159 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hybrid Artificial Intelligent Systems
by Corchado, Emilio.
Publication:
. XXXII, 606 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Critical Infrastructure Protection
by Lopez, Javier.
Publication:
. XIV, 357 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Cryptography
by Cramer, Ronald.
Publication:
. Approx. 670 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),
|
|
|
Computational Processing of the Portuguese Language
by Caseli, Helena.
Publication:
. X, 460p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Privacy Management and Autonomous Spontaneus Security
by Garcia-Alfaro, Joaquin.
Publication:
. XV, 319 p.
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),
|
|
|
Software Language Engineering
by Sloane, Anthony.
Publication:
. XII, 389p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Processign in Cells and Tissues
by Lones, Michael A.
Publication:
. XII, 278p.
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),
|
|
|
Foundations of Software Science and Computational Structures
by Birkedal, Lars.
Publication:
. XVII, 484 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),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Regnell, Björn.
Publication:
. XV, 322p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Data Hiding and Multimedia Security VII
by Shi, Yun Q.
Publication:
. IX, 115p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Economics of Grids, Clouds, Systems, and Services
by Vanmechelen, Kurt.
Publication:
. XII, 199p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by O’Boyle, Michael.
Publication:
. XVI, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Security and Trust
by Degano, Pierpaolo.
Publication:
. XIV, 431 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web-Age Information Management
by Wang, Liwei.
Publication:
. XIV, 223p.
Availability:
Copies available:
AUM Main Library
(1),
|
|