|
|
Modelling Autonomic Communication Environments
by Brennan, Rob.
Publication:
. X, 125p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Radio Frequency Identification: Security and Privacy Issues
by Ors Yalcin, Siddika Berna.
Publication:
. X, 271p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Qin, Shengchao.
Publication:
. VIII, 310p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Barringer, Howard.
Publication:
. XIII, 492p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Smart Internet
by Chignell, Mark.
Publication:
. XII, 319p. 86 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Autonomic and Trusted Computing
by Xie, Bing.
Publication:
. XVII, 328p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Petrenko, Alexandre.
Publication:
. XII, 267p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XV, 498p. 157 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XX, 708p. 220 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Intelligence and Computational Intelligence
by Wang, Fu Lee.
Publication:
. XXI, 498p. 203 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Intelligence and Computational Intelligence
by Wang, Fu Lee.
Publication:
. XXII, 386p. 149 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems and Mining
by Wang, Fu Lee.
Publication:
. XV, 442p. 168 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Job Scheduling Strategies for Parallel Processing
by Frachtenberg, Eitan.
Publication:
. XI, 223p. 99 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Centred Software Engineering
by Bernhaupt, Regina.
Publication:
. X, 223p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Morazán, Marco T.
Publication:
. IX, 237p. 107 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Engineering and Management by the Masses
by Cimiano, Philipp.
Publication:
. XXV, 588p. 152 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Conceptual Modeling – Applications and Challenges
by Trujillo, Juan.
Publication:
. XII, 296p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling – ER 2010
by Parsons, Jeffrey.
Publication:
. XIV, 490p. 163 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rewriting Logic and Its Applications
by Ölveczky, Peter Csaba.
Publication:
. X, 264p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Semantic Web Rules
by Dean, Mike.
Publication:
. XIII, 305p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|