|
|
Computer Aided Systems Theory - EUROCAST 2013
by Moreno-Díaz, Roberto.
Publication:
. XXIV, 518 p. 190 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Reference Manual. Language and Standard Libraries
by Taft, S. Tucker.
Publication:
. XXVIII, 921 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ubiquitous Social Media Analysis
by Atzmueller, Martin.
Publication:
. XII, 173 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
User-Level Workflow Design
by Lamprecht, Anna-Lena.
Publication:
. XXII, 223 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Molecular Biology
by Widłak, Wiesława.
Publication:
. XII, 153 p. 122 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Multi-Agent Systems
by Cossentino, Massimo.
Publication:
. XVI, 391 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science XXI
by Gavrilova, Marina L.
Publication:
. XVI, 367 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XII
by Hameurlain, Abdelkader.
Publication:
. X, 129 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Parallel Processing Technologies
by Wu, Chenggang.
Publication:
. XII, 410 p. 187 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Sagonas, Kostis.
Publication:
. XIV, 261 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Geometry and Graphs
by Akiyama, Jin.
Publication:
. X, 163 p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Lecroq, Thierry.
Publication:
. XXII, 474 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XI
by Hameurlain, Abdelkader.
Publication:
. X, 127 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Resource Discovery
by Lacroix, Zoé.
Publication:
. X, 181 p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cryptography and Coding
by Stam, Martijn.
Publication:
. XII, 365 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Rationale
by Barnes, John.
Publication:
. XI, 213 p. 3 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Systems Security
by Bagchi, Aditya.
Publication:
. XVI, 404 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Chinese Lexical Semantics
by Liu, Pengyuan.
Publication:
. XVI, 718 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Intelligence and Its Applications
by Castro, Félix.
Publication:
. XXVI, 585 p. 139 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|