|
|
Proofs from THE BOOK
by Aigner, Martin.
Publication:
. VIII, 274 p. 250 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Raisonnements divins
by Aigner, Martin.
Publication:
. X, 308 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence Systems in Industrial Engineering
by Kahraman, Cengiz.
Publication:
. XX, 680 p. 163 illus., 56 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
by Goertzel, Ben.
Publication:
. X, 270 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering: A Hands-On Approach
by Lee, Roger Y.
Publication:
. XXIV, 283 p. 70 illus., 3 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Et voilà i robot
by Bonifati, Nunzia.
Publication:
. X, 150pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Scienza dei servizi
by Cavenago, Dario.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent-Based Approaches in Economic and Social Complex Systems VII
by Murata, Tadahiko.
Publication:
. X, 262 p. 98 illus., 15 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Methods, Techniques, and Applications in Modeling and Simulation
by Kim, Jong-Hyun.
Publication:
. XIV, 527 p. 330 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
by Herde, Christian.
Publication:
. XVII, 163p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analysis and Correctness of Algebraic Graph and Model Transformations
by Golas, Ulrike.
Publication:
. XVI, 226p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Design and Simulation of Spectrum Management Methods for Wireless Local Area Networks
by Könsgen, Andreas.
Publication:
. XXV, 236p. 108 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Context-Based Routing in Dynamic Networks
by Wenning, Bernd-Ludwig.
Publication:
. XXV, 187p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Structural Failure Models for Fault-Tolerant Distributed Computing
by Warns, Timo.
Publication:
. XV, 216p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems
by Bartlang, Udo.
Publication:
. 240p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Domain-Specific Model-Driven Testing
by Baerisch, Stefan.
Publication:
. 260p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction
by Scherl, Holger.
Publication:
. XVIII, 138p. 28 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automatic Algorithm Selection for Complex Simulation Problems
by Ewald, Roland.
Publication:
. XXI, 382p. 101 illus., 20 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Radio Access Network Dimensioning for 3G UMTS
by Li, Xi.
Publication:
. XXVII, 323p. 181 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Analytics
by Runkler, Thomas A.
Publication:
. X, 137 p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|