//]]>
Unhighlight Highlight
Leveraging Applications of Formal Methods, Verification, and Validation by Hähnle, Reiner. Publication: . XII, 261 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Managing Requirements Knowledge by Maalej, Walid. Publication: . XV, 398 p. 62 illus., 3 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
System Simulation and Scientific Computing by Xiao, Tianyuan. Publication: . XXII, 446 p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
AsiaSim 2012 by Xiao, Tianyuan. Publication: . XVI, 452 p. 243 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
AsiaSim 2012 by Xiao, Tianyuan. Publication: . XVI, 444 p. 295 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
AsiaSim 2012 by Xiao, Tianyuan. Publication: . XXVIII, 546 p. 305 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
System Simulation and Scientific Computing by Xiao, Tianyuan. Publication: . XXII, 462 p. 315 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Puzzles in Logic, Languages and Computation by Radev, Dragomir. Publication: . XVII, 178 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Puzzles in Logic, Languages and Computation by Radev, Dragomir. Publication: . XV, 191 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Emerging Research in Artificial Intelligence and Computational Intelligence by Lei, Jingsheng. Publication: . XVI, 518 p. 248 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Information Systems Workshops by Abramowicz, Witold. Publication: . XXII, 279 p. 120 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets by David, Esther. Publication: . X, 145 p. 26 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Telematics in the Transport Environment by Mikulski, Jerzy. Publication: . XIV, 434 p. 156 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management by Frick, Jan. Publication: . XVIII, 630 p. 189 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Complexity of Valued Constraint Satisfaction Problems by Živný, Stanislav. Publication: . XVII, 170 p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Serious Games: The Challenge by Wannemacker, Stefan. Publication: . VIII, 91 p. 10 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pattern Recognition by Liu, Cheng-Lin. Publication: . XVIII, 683 p. 291 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Intelligence Applications and Innovations by Iliadis, Lazaros. Publication: . XXIV, 654 p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Intelligence Applications and Innovations by Iliadis, Lazaros. Publication: . XXIV, 496 p. 191 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information and Software Technologies by Skersys, Tomas. Publication: . Approx. 510 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 Next >>