|
|
Software Composition
by Binder, Walter.
Publication:
. X, 145 p. 38 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Biere, Armin.
Publication:
. XII, 281 p. 75 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),
|
|
|
Inclusive Society: Health and Wellbeing in the Community, and Care at Home
by Biswas, Jit.
Publication:
. XVI, 332 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Big Data
by Gottlob, Georg.
Publication:
. XII, 303 p. 89 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),
|
|
|
Structured Object-Oriented Formal Language and Method
by Liu, Shaoying.
Publication:
. X, 149 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Product-Focused Software Process Improvement
by Heidrich, Jens.
Publication:
. XVI, 374 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
RoboCup 2012: Robot Soccer World Cup XVI
by Chen, Xiaoping.
Publication:
. XII, 392 p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ad-hoc, Mobile, and Wireless Network
by Cichoń, Jacek.
Publication:
. XIV, 329 p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment
by Rieck, Konrad.
Publication:
. XII, 207 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Engineering
by Daniel, Florian.
Publication:
. XVIII, 528 p. 185 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
E-Voting and Identify
by Heather, James.
Publication:
. X, 211 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Bartocci, Ezio.
Publication:
. X, 377 p. 143 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Health Information Engineering and Systems
by Weber, Jens.
Publication:
. X, 223 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2013 – Object-Oriented Programming
by Castagna, Giuseppe.
Publication:
. XXII, 746 p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Architecture
by Drira, Khalil.
Publication:
. XVI, 354 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by Gorp, Pieter.
Publication:
. X, 237 p. 93 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),
|
|