|
|
Theory and Practice of Algorithms in (Computer) Systems
by Marchetti-Spaccamela, Alberto.
Publication:
. X, 266 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Security and Trust
by Degano, Pierpaolo.
Publication:
. X, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Systems Biology XIII
by Priami, Corrado.
Publication:
. VII, 193 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Barthe, Gilles.
Publication:
. XIV, 501p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Computing
by Ceri, Stefano.
Publication:
. XIII, 273 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Computing, Behavioral-Cultural Modeling and Prediction
by Salerno, John.
Publication:
. XIII, 384 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human Aspects of Visualization
by Ebert, Achim.
Publication:
. VII, 173p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Cooper, Keith.
Publication:
. X, 278 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Bravetti, Mario.
Publication:
. VIII, 191p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Barner, Sharon.
Publication:
. X, 197p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Selected Areas in Cryptography
by Biryukov, Alex.
Publication:
. XIII, 411 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Cryptography
by Ishai, Yuval.
Publication:
. XII, 631 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Biometrics and ID Management
by Vielhauer, Claus.
Publication:
. XIII, 299 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in Constraints
by Larrosa, Javier.
Publication:
. VII, 155 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications
by Koch, Andreas.
Publication:
. XIV, 398 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on High-Performance Embedded Architectures and Compilers III
by Stenström, Per.
Publication:
. XIV, 299p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Malloy, Brian.
Publication:
. XI, 417 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Linguistics and Intelligent Text Processing
by Gelbukh, Alexander.
Publication:
. XXII, 521p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming II
by Noble, James.
Publication:
. IX, 125p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Linguistics and Intelligent Text Processing
by Gelbukh, Alexander F.
Publication:
. XXII, 465 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|