|
|
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
by Clarke, Dave.
Publication:
. VIII, 515 p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Theory, Combinatorics, and Search Theory
by Aydinian, Harout.
Publication:
. XL, 773 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Security and Trust
by Basin, David.
Publication:
. XX, 287 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graphics Recognition. New Trends and Challenges
by Kwon, Young-Bin.
Publication:
. XII, 275 p. 162 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information and Communication Technology
by Mustofa, Khabib.
Publication:
. XVI, 552 p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence IX
by Nguyen, Ngoc Thanh.
Publication:
. X, 237 p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications
by Brisk, Philip.
Publication:
. XVI, 238 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applied Parallel and Scientific Computing
by Manninen, Pekka.
Publication:
. XIV, 568 p. 186 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Traffic Monitoring and Analysis
by Biersack, Ernst.
Publication:
. XVI, 359 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Tribastone, Mirco.
Publication:
. X, 253 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Emerging Trends in Knowledge Discovery and Data Mining
by Washio, Takashi.
Publication:
. XII, 157 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Drawing
by Didimo, Walter.
Publication:
. XVI, 582 p. 231 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
System Analysis and Modeling: Theory and Practice
by Haugen, Øystein.
Publication:
. X, 249 p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Csuhaj-Varjú, Erzsébet.
Publication:
. XII, 425 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Piterman, Nir.
Publication:
. XXIV, 646 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Selected Topics in Performance Evaluation and Benchmarking
by Nambiar, Raghunath.
Publication:
. XIV, 209 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Color Imaging
by Tominaga, Shoji.
Publication:
. XII, 335 p. 207 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integer Programming and Combinatorial Optimization
by Goemans, Michel.
Publication:
. XII, 400 p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Medical Content-Based Retrieval for Clinical Decision Support
by Greenspan, Hayit.
Publication:
. VIII, 145 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning and Mathematics
by Bonacina, Maria Paola.
Publication:
. XX, 259 p. 27 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|