|
|
Software Engineering and Formal Methods
by Eleftherakis, George.
Publication:
. XIV, 384 p. 103 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),
|
|
|
Computer Safety, Reliability, and Security
by Ortmeier, Frank.
Publication:
. XVIII, 402 p. 138 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Safety, Reliability, and Security
by Ortmeier, Frank.
Publication:
. XVI, 530 p. 198 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing
by Aguilera, Marcos K.
Publication:
. XVI, 450 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Energy Efficient Data Centers
by Huusko, Jyrki.
Publication:
. XII, 153 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Privacy in Statistical Databases
by Domingo-Ferrer, Josep.
Publication:
. XII, 365 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Richa, Andréa W.
Publication:
. XIX, 330 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in the Message Passing Interface
by Träff, Jesper Larsson.
Publication:
. XVI, 302 p. 108 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Cryptology – LATINCRYPT 2012
by Hevia, Alejandro.
Publication:
. XII, 323 p. 26 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),
|
|
|
Scalable Uncertainty Management
by Hüllermeier, Eyke.
Publication:
. XVI, 648 p. 169 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cellular Automata
by Sirakoulis, Georgios Ch.
Publication:
. XVIII, 859 p.
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),
|
|
|
21st Century Learning for 21st Century Skills
by Ravenscroft, Andrew.
Publication:
. XVIII, 553 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Information Systems and Industrial Management
by Cortesi, Agostino.
Publication:
. XII, 444 p. 176 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Virtual Agents
by Nakano, Yukiko.
Publication:
. Approx. 540 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),
|
|
|
Argumentation in Multi-Agent Systems
by McBurney, Peter.
Publication:
. X, 231 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Concepts for Intelligent Vision Systems
by Blanc-Talon, Jacques.
Publication:
. XVI, 540 p. 253 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|