|
|
Search Based Software Engineering
by Ruhe, Günther.
Publication:
. XVI, 326 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 679 p. 276 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 649 p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 715 p. 290 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 659 p. 259 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 729 p. 317 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Blazy, Sandrine.
Publication:
. XII, 498 p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Kühnberger, Kai-Uwe.
Publication:
. XII, 207 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analytical and Stochastic Modeling Techniques and Applications
by Dudin, Alexander.
Publication:
. XII, 474 p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Emerging Management Mechanisms for the Future Internet
by Doyen, Guillaume.
Publication:
. XVI, 161 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Dueck, Gerhard W.
Publication:
. X, 263 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-24
by Bonacina, Maria Paola.
Publication:
. XVI, 466 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Infocomm Technology
by Guyot, Vincent.
Publication:
. XVI, 358 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
by Coecke, Bob.
Publication:
. XX, 363 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Card Research and Advanced Applications
by Mangard, Stefan.
Publication:
. XII, 297 p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pervasive Computing and the Networked World
by Zu, Qiaohong.
Publication:
. XXII, 921 p. 434 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2012: Parallel Processing Workshops
by Caragiannis, Ioannis.
Publication:
. XXIV, 589 p. 232 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Csuhaj-Varjú, Erzsébet.
Publication:
. XII, 425 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Piterman, Nir.
Publication:
. XXIV, 646 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|