|
|
Computational Logistics
by Pacino, Dario.
Publication:
. X, 269 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Pecheur, Charles.
Publication:
. XIV, 199 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Information Systems and Industrial Management
by Saeed, Khalid.
Publication:
. XX, 524 p. 241 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages
by Bois, André Rauber.
Publication:
. XVI, 151 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering for Resilient Systems
by Gorbenko, Anatoliy.
Publication:
. X, 199 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Fontaine, Pascal.
Publication:
. XII, 359 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Robotics and Applications
by Lee, Jangmyung.
Publication:
. XXVIII, 755 p. 513 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Robotics and Applications
by Lee, Jangmyung.
Publication:
. XXVIII, 743 p. 517 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Safety, Reliability, and Security
by Bitsch, Friedemann.
Publication:
. XVI, 304 p. 109 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Balsamo, Maria Simonetta.
Publication:
. XII, 351 p. 114 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Methods in Systems Biology
by Gupta, Ashutosh.
Publication:
. XX, 284 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Ida, Tetsuo.
Publication:
. X, 193 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Muntean, Traian.
Publication:
. X, 275 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented and Cloud Computing
by Lau, Kung-Kiu.
Publication:
. X, 244 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XXIV, 391 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Giachino, Elena.
Publication:
. X, 241 p. 125 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorics on Words
by Karhumäki, Juhani.
Publication:
. X, 263 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Cabalar, Pedro.
Publication:
. XVIII, 570 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Hierons, Robert M.
Publication:
. XVIII, 321 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|