Risk Management Technologies by Solozhentsev, E.D. Publication: . XXII, 305p. 75 illus., 20 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On Fuzziness by Seising, Rudolf. Publication: . XII, 466 p. 117 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computing with Words by Zadeh, Lotfi A. Publication: . XIV, 142 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Discrete, Continuous, and Hybrid Petri Nets by David, René. Publication: . XXII, 554p. 425 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Analysis and Control of Boolean Networks by Cheng, Daizhan. Publication: . XVI, 472 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Lecroq, Thierry. Publication: . XXII, 474 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by McMillan, Ken. Publication: . XIV, 794 p. 178 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Hinze, Ralf. Publication: . X, 241 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Constraint Solving and Language Processing by Duchier, Denys. Publication: . XII, 179 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Groves, Lindsay. Publication: . XVIII, 466 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Abdulla, Parosh Aziz. Publication: . XII, 223 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Pecheur, Charles. Publication: . XIV, 199 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modeling and Using Context by Brézillon, Patrick. Publication: . XII, 381 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Grossi, Davide. Publication: . XII, 363 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
KI 2013: Advances in Artificial Intelligence by Timm, Ingo J. Publication: . XX, 313 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Jain, Sanjay. Publication: . XVIII, 397 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Fontaine, Pascal. Publication: . XII, 359 p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Legay, Axel. Publication: . XVII, 426 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Ida, Tetsuo. Publication: . X, 193 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Muntean, Traian. Publication: . X, 275 p. 14 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>