|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XX, 708p. 220 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Intelligence and Computational Intelligence
by Wang, Fu Lee.
Publication:
. XXI, 498p. 203 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Intelligence and Computational Intelligence
by Wang, Fu Lee.
Publication:
. XXII, 386p. 149 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems and Mining
by Wang, Fu Lee.
Publication:
. XV, 442p. 168 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
by Dan, Asit.
Publication:
. XXXIV, 584p. 177 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Dolev, Shlomi.
Publication:
. XVI, 614p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Multimedia Information Processing - PCM 2010
by Qiu, Guoping.
Publication:
. XXII, 745p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Safety, Reliability, and Security
by Schoitsch, Erwin.
Publication:
. X, 482p. 197 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trustworthly Global Computing
by Wirsing, Martin.
Publication:
. XII, 380p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Management in Grid and Peer-to-Peer Systems
by Hameurlain, Abdelkader.
Publication:
. X, 161p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Algorithms, Systems, and Applications
by Pandurangan, Gopal.
Publication:
. XV, 256p. 156 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 628p. 242 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Critical Information Infrastructures Security
by Rome, Erich.
Publication:
. XII, 213p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Product-Focused Software Process Improvement
by Ali Babar, M.
Publication:
. XIII, 410p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing in Sensor Systems
by Rajaraman, Rajmohan.
Publication:
. XVII, 410p. 152 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecting Critical Systems
by Giese, Holger.
Publication:
. 205p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wired/Wireless Internet Communications
by Osipov, Evgeny.
Publication:
. X, 400p. 198 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Hsu, Ching-Hsien.
Publication:
. XXX, 468p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Hsu, Ching-Hsien.
Publication:
. 580p. 295 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Pernici, Barbara.
Publication:
. XVI, 548p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|