|
|
Formal Techniques for Distributed Systems
by Giese, Holger.
Publication:
. XIII, 269p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analytical and Stochastic Modeling Techniques and Applications
by Al-Begain, Khalid.
Publication:
. X, 303 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Impact Analysis of Solutions for Chronic Disease Prevention and Management
by Donnelly, Mark.
Publication:
. XIII, 297p.
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),
|
|
|
Correct Reasoning
by Erdem, Esra.
Publication:
. XI, 594p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Derrick, John.
Publication:
. XII, 360p. 105 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),
|
|
|
Wired/Wireless Internet Communication
by Koucheryavy, Yevgeni.
Publication:
. XIV, 382p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies – Ada-Europe 2012
by Brorsson, Mats.
Publication:
. XII, 220p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Gschwind, Thomas.
Publication:
. XII, 195p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects, Models, Components, Patterns
by Furia, Carlo A.
Publication:
. XI, 372p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Hu, Zhenjiang.
Publication:
. X, 297p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Brucker, Achim D.
Publication:
. X, 177p. 57 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),
|
|
|
Trustworthy Global Computing
by Bruni, Roberto.
Publication:
. X, 243p. 54 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2012
by Bestak, Robert.
Publication:
. XXI, 421 p. 182 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2012
by Bestak, Robert.
Publication:
. XXII, 437 p. 191 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2012 Workshops
by Becvar, Zdenek.
Publication:
. XVI, 158p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Domenach, Florent.
Publication:
. XII, 309 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Design Science Research in Information Systems. Advances in Theory and Practice
by Peffers, Ken.
Publication:
. XI, 439p.
Availability:
Copies available:
AUM Main Library
(1),
|
|