|
|
Theory and Practice of Natural Computing
by Dediu, Adrian-Horia.
Publication:
. X, 227 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Eleftherakis, George.
Publication:
. XIV, 384 p. 103 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),
|
|
|
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),
|
|
|
Automated Technology for Verification and Analysis
by Chakraborty, Supratik.
Publication:
. XIV, 436 p. 106 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),
|
|
|
Software Engineering for Resilient Systems
by Avgeriou, Paris.
Publication:
. X, 181 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XXI, 563 p. 241 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XXIV, 331 p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2012 – Concurrency Theory
by Koutny, Maciej.
Publication:
. XIV, 582 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Datalog in Academia and Industry
by Barceló, Pablo.
Publication:
. XIV, 191 p. 20 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),
|
|
|
E-Voting and Identity
by Kiayias, Aggelos.
Publication:
. X, 257 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rules on the Web: Research and Applications
by Bikakis, Antonis.
Publication:
. XV, 325 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Convergence and Hybrid Information Technology
by Lee, Geuk.
Publication:
. XX, 763 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agents for Educational Games and Simulations
by Beer, Martin.
Publication:
. X, 195 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
RoboCup 2011: Robot Soccer World Cup XV
by Röfer, Thomas.
Publication:
. XXV, 600 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|