|
|
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems
by Askoxylakis, Ioannis.
Publication:
. XII, 225p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Tutoring Systems
by Cerri, Stefano A.
Publication:
. XXXIV, 726p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent and Multi-Agent Systems. Technologies and Applications
by Jezic, Gordan.
Publication:
. XVII, 661p. 226 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trust and Trustworthy Computing
by Katzenbeisser, Stefan.
Publication:
. XII, 341p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Multivariate Algorithmic Revolution and Beyond
by Bodlaender, Hans L.
Publication:
. XXII, 506p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract State Machines, Alloy, B, VDM, and Z
by Derrick, John.
Publication:
. XV, 378 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
How the World Computes
by Cooper, S. Barry.
Publication:
. XVIII, 756p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Experimental Algorithms
by Klasing, Ralf.
Publication:
. XIII, 406p. 116 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Service and Application Engineering
by Heisel, Maritta.
Publication:
. Approx. 200 p. 88 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),
|
|
|
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),
|
|
|
Advances in Computational Intelligence
by Liu, Jing.
Publication:
. Approx. 290 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Hirsch, Edward A.
Publication:
. XXIII, 327 p. 25 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),
|
|