|
|
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems
by Beldiceanu, Nicolas.
Publication:
. XI, 409p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Health Information Science
by He, Jing.
Publication:
. XIII, 187p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
LATIN 2012: Theoretical Informatics
by Fernández-Baca, David.
Publication:
. XVII, 669 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approximation and Online Algorithms
by Solis-Oba, Roberto.
Publication:
. X, 278 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Computing, Behavioral - Cultural Modeling and Prediction
by Yang, Shanchieh Jay.
Publication:
. XIV, 366p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Economics of Grids, Clouds, Systems, and Services
by Vanmechelen, Kurt.
Publication:
. XII, 199p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in User Modeling
by Ardissono, Liliana.
Publication:
. X, 416 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XII, 556p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges
by Camara, Oscar.
Publication:
. XIV, 286p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Modeling and Computational Science
by Adam, Gheorghe.
Publication:
. XII, 336p. 127 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic and Numeric Biology
by Horimoto, Katsuhisa.
Publication:
. IX, 185 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parameterized and Exact Computation
by Marx, Dániel.
Publication:
. VIII, 273p. 28 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Drawing
by Kreveld, Marc.
Publication:
. XIV, 458 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Fernàndez Anta, Antonio.
Publication:
. XIII, 564 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Computation
by Asano, Takao.
Publication:
. XVIII, 775 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Robotics
by Mutlu, Bilge.
Publication:
. XV, 237p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Jouannaud, Jean-Pierre.
Publication:
. XV, 401p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Quality in e-Health
by Holzinger, Andreas.
Publication:
. XVI, 716p. 219 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science XIV
by Gavrilova, Marina L.
Publication:
. XIII, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Schreck, Pascal.
Publication:
. X, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|