|
|
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
by Margaria, Tiziana.
Publication:
. XVI, 361 p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
by Margaria, Tiziana.
Publication:
. XVI, 617 p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Network Security
by Kotenko, Igor.
Publication:
. XIV, 319 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Chakraborty, Supratik.
Publication:
. XIV, 436 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Research in Attacks, Intrusions, and Defenses
by Balzarotti, Davide.
Publication:
. XIV, 400 p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Provable Security
by Takagi, Tsuyoshi.
Publication:
. XIII, 337 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering for Resilient Systems
by Avgeriou, Paris.
Publication:
. X, 181 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Fraser, Gordon.
Publication:
. XVI, 293 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2012 Parallel Processing
by Kaklamanis, Christos.
Publication:
. XXVII, 960 p. 369 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT as Key Technology against Global Warming
by Auweter, Axel.
Publication:
. IX, 127 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Dennis, Louise.
Publication:
. XII, 217 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in VLSI Design and Test
by Rahaman, Hafizur.
Publication:
. XXIV, 408 p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multicore Software Engineering, Performance, and Tools
by Pankratius, Victor.
Publication:
. VIII, 95 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Model-Driven Engineering
by Bernardo, Marco.
Publication:
. VII, 439 p. 158 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Sirjani, Marjan.
Publication:
. XIV, 277p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Applications and Interoperable Systems
by Göschka, Karl Michael.
Publication:
. XII, 240p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Grid and Pervasive Computing
by Li, Ruixuan.
Publication:
. XIII, 370p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Dependable Networks and Services
by Sadre, Ramin.
Publication:
. XIII, 161 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Facing the Multicore - Challenge II
by Keller, Rainer.
Publication:
. X, 173 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XII, 377 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|