//]]>
Unhighlight Highlight
Software Engineering and Formal Methods by Eleftherakis, George. Publication: . XIV, 384 p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Ortmeier, Frank. Publication: . XVI, 530 p. 198 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing by Aguilera, Marcos K. Publication: . XVI, 450 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2012 by Meersman, Robert. Publication: . XXV, 485 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model and Data Engineering by Abelló, Alberto. Publication: . XII, 187 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2012 by Meersman, Robert. Publication: . XXVI, 467 p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logistics by Hu, Hao. Publication: . X, 217 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Robotics and Applications by Su, Chun-Yi. Publication: . XXI, 715 p. 430 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Robotics and Applications by Su, Chun-Yi. Publication: . XXXVI, 723 p. 434 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Robotics and Applications by Su, Chun-Yi. Publication: . XX, 625 p. 386 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Kahl, Wolfram. Publication: . XII, 361 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Information Systems and Industrial Management by Cortesi, Agostino. Publication: . XII, 444 p. 176 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XXI, 563 p. 241 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XXIV, 331 p. 159 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Datalog in Academia and Industry by Barceló, Pablo. Publication: . XIV, 191 p. 20 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Fisher, Michael. Publication: . Approx. 230 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
PRIMA 2012: Principles and Practice of Multi-Agent Systems by Rahwan, Iyad. Publication: . XII, 243 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rules on the Web: Research and Applications by Bikakis, Antonis. Publication: . XV, 325 p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Beringer, Lennart. Publication: . XI, 419 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agents for Educational Games and Simulations by Beer, Martin. Publication: . X, 195 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 Next >>