|
|
Modeling and Optimization in Space Engineering
by Fasano, Giorgio.
Publication:
. XII, 404 p. 147 illus., 90 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Courant–Friedrichs–Lewy (CFL) Condition
by de Moura, Carlos A.
Publication:
. XII, 237 p. 118 illus., 40 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Randomness and Complexity
by Downey, Rodney G.
Publication:
. XXVIII, 855p. 8 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Computation
by Nishizaki, Shin-ya.
Publication:
. XII, 295 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Computation
by Nishizaki, Shin-ya.
Publication:
. X, 215p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Natural Computing
by Peper, F.
Publication:
. XII, 390p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Search: From Algorithms to Systems
by Hamadi, Youssef.
Publication:
. XIII, 139 p. 30 illus., 16 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
People, Problems, and Proofs
by Lipton, Richard J.
Publication:
. XVIII, 333 p. 33 illus., 5 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Algorithms for Message-Passing Systems
by Raynal, Michel.
Publication:
. XXXI, 500 p. 198 illus., 106 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Massively Parallel Evolutionary Computation on GPGPUs
by Tsutsui, Shigeyoshi.
Publication:
. XII, 453 p. 199 illus., 95 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence and Intelligent Systems
by Li, Zhenhua.
Publication:
. XIV, 640 p. 263 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Emerging Research in Artificial Intelligence and Computational Intelligence
by Lei, Jingsheng.
Publication:
. XVI, 518 p. 248 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Complexity of Valued Constraint Satisfaction Problems
by Živný, Stanislav.
Publication:
. XVII, 170 p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Understanding Petri Nets
by Reisig, Wolfgang.
Publication:
. XXVII, 230 p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modeling Time in Computing
by Furia, Carlo A.
Publication:
. XVI, 423 p. 168 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Concurrent Programming: Algorithms, Principles, and Foundations
by Raynal, Michel.
Publication:
. XXIII, 515 p. 128 illus., 16 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Discrete Structures for Computer Science
by Pace, Gordon J.
Publication:
. XVI, 293 p. 15 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Computing and Applications
by Liu, Chunfeng.
Publication:
. Approx. 745 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Computing and Applications
by Liu, Chunfeng.
Publication:
. XXVIII, 715 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mobility in Process Calculi and Natural Computing
by Aman, Bogdan.
Publication:
. XIV, 210 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|