|
|
Empirical Software Engineering and Verification
by Meyer, Bertrand.
Publication:
. VII, 213 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Visual Informatics: Sustaining Research and Innovations
by Zaman, Halimah Badioze.
Publication:
. XX, 431 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Visual Informatics: Sustaining Research and Innovations
by Badioze Zaman, Halimah.
Publication:
. XX, 371 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ambient Intelligence
by Keyson, David V.
Publication:
. XVI, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Information and Computer Security
by Iwata, Tetsu.
Publication:
. XII, 231 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011 Workshops
by Meersman, Robert.
Publication:
. XXXIV, 665 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVIII, 430 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVII, 407 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Semantic Web – ISWC 2011
by Aroyo, Lora.
Publication:
. XXIV, 395 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Motion in Games
by Allbeck, Jan M.
Publication:
. XII, 460p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
by San Martin, César.
Publication:
. XVIII, 721p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Semantic Web – ISWC 2011
by Aroyo, Lora.
Publication:
. XXIV, 813 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Schreck, Pascal.
Publication:
. X, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agents in Principle, Agents in Practice
by Kinny, David.
Publication:
. XIII, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods, Foundations and Applications
by Simao, Adenilso.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Nonlinear Speech Processing
by Travieso-González, Carlos M.
Publication:
. XIV, 280 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Iliopoulos, Costas S.
Publication:
. XI, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Geometry, Graphs and Applications
by Akiyama, Jin.
Publication:
. VIII, 227 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Quantum Interaction
by Song, Dawei.
Publication:
. IX, 229 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Neural Information Processing
by Lu, Bao-Liang.
Publication:
. XXII, 790 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|