|
|
Transactions on Petri Nets and Other Models of Concurrency IV
by Jensen, Kurt.
Publication:
. XVIII, 225p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Performance Evaluation, Measurement and Characterization of Complex Systems
by Nambiar, Raghunath.
Publication:
. XVI, 233p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security
by Burmester, Mike.
Publication:
. XIV, 446p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation
by Leuken, René.
Publication:
. XII, 260p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Towards a Service-Based Internet
by Nitto, Elisabetta.
Publication:
. XIV, 240p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing and Networking
by Aguilera, Marcos K.
Publication:
. XVII, 420p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Lu, Chenyang.
Publication:
. XII, 517p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Internet and Network Economics
by Saberi, Amin.
Publication:
. X, 580p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Generation Information Technology
by Kim, Tai-hoon.
Publication:
. XVI, 756p. 414 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sanskrit Computational Linguistics
by Jha, Girish Nath.
Publication:
. XII, 259p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science X
by Gavrilova, Marina L.
Publication:
. XVIII, 366p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
From Active Data Management to Event-Based Systems and More
by Sachs, Kai.
Publication:
. XIV, 337p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms for Sensor Systems
by Scheideler, Christian.
Publication:
. X, 190p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems, OTM 2010
by Meersman, Robert.
Publication:
. XXII, 466p. 138 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2010
by Meersman, Robert.
Publication:
. XXII, 703p. 230 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Dong, Jin Song.
Publication:
. XIV, 712p. 202 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Runtime Verification
by Barringer, Howard.
Publication:
. XIII, 492p. 145 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),
|
|