|
|
Risk Management Technologies
by Solozhentsev, E.D.
Publication:
. XXII, 305p. 75 illus., 20 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On Fuzziness
by Seising, Rudolf.
Publication:
. XII, 466 p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computing with Words
by Zadeh, Lotfi A.
Publication:
. XIV, 142 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Discrete, Continuous, and Hybrid Petri Nets
by David, René.
Publication:
. XXII, 554p. 425 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analysis and Control of Boolean Networks
by Cheng, Daizhan.
Publication:
. XVI, 472 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Lecroq, Thierry.
Publication:
. XXII, 474 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hinze, Ralf.
Publication:
. X, 241 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Constraint Solving and Language Processing
by Duchier, Denys.
Publication:
. XII, 179 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Groves, Lindsay.
Publication:
. XVIII, 466 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Abdulla, Parosh Aziz.
Publication:
. XII, 223 p. 60 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),
|
|
|
Modeling and Using Context
by Brézillon, Patrick.
Publication:
. XII, 381 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Rationality, and Interaction
by Grossi, Davide.
Publication:
. XII, 363 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
KI 2013: Advances in Artificial Intelligence
by Timm, Ingo J.
Publication:
. XX, 313 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Jain, Sanjay.
Publication:
. XVIII, 397 p. 30 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),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 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),
|
|