|
|
ECOOP 2012 – Object-Oriented Programming
by Noble, James.
Publication:
. Approx. 780 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Integration in the Life Sciences
by Bodenreider, Olivier.
Publication:
. X, 113p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Persuasive Technology. Design for Health and Safety
by Bang, Magnus.
Publication:
. Approx. 295 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Swarm Intelligence
by Tan, Ying.
Publication:
. XXV, 607p.
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),
|
|
|
Advances in Swarm Intelligence
by Tan, Ying.
Publication:
. XXV, 623p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in a Heterogeneous World
by Chapman, Barbara M.
Publication:
. XI, 280p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|