|
|
Transactions on Petri Nets and Other Models of Concurrency VII
by Jensen, Kurt.
Publication:
. XVI, 423 p. 250 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Brat, Guillaume.
Publication:
. XXIV, 486 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Augmented Environments for Computer-Assisted Interventions
by Linte, Cristian A.
Publication:
. XII, 179 p. 120 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Future Internet
by Galis, Alex.
Publication:
. XLIV, 369 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Clinical Image-Based Procedures. From Planning to Intervention
by Drechsler, Klaus.
Publication:
. X, 132 p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances on Practical Applications of Agents and Multi-Agent Systems
by Demazeau, Yves.
Publication:
. XIV, 330 p. 132 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiple Classifier Systems
by Zhou, Zhi-Hua.
Publication:
. XI, 400 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bioinformatics Research and Applications
by Cai, Zhipeng.
Publication:
. XIV, 312 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security Practice and Experience
by Deng, Robert H.
Publication:
. XIV, 388 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Grid Security
by Cuellar, Jorge.
Publication:
. VIII, 151 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Grid and Pervasive Computing
by Park, James J. (Jong Hyuk).
Publication:
. XXXIV, 956 p. 483 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approximation and Online Algorithms
by Erlebach, Thomas.
Publication:
. XII, 299 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Security and Trust Management
by Jøsang, Audun.
Publication:
. X, 321 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Semantic Technology
by Takeda, Hideaki.
Publication:
. XIV, 390 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communication Technologies for Vehicles
by Berbineau, Marion.
Publication:
. XIV, 253 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Edutainment X
by Pan, Zhigeng.
Publication:
. XII, 269 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Health Information Science
by Huang, Guangyan.
Publication:
. XIV, 280 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies X
by Baldoni, Matteo.
Publication:
. XII, 209 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Intelligence
by Batyrshin, Ildar.
Publication:
. XXVI, 483 p. 157 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing - ICSOC 2012 Workshops
by Ghose, Aditya.
Publication:
. XVI, 466 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|