//]]>
Theory and Practice of Natural Computing by Dediu, Adrian-Horia. Publication: . X, 227 p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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: . XVIII, 402 p. 138 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
Model Driven Engineering Languages and Systems by France, Robert B. Publication: . XX, 828 p. 298 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 427 p. 166 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
Computational Methods in Systems Biology by Gilbert, David. Publication: . XII, 396 p. 145 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
Stabilization, Safety, and Security of Distributed Systems by Richa, Andréa W. Publication: . XIX, 330 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in the Message Passing Interface by Träff, Jesper Larsson. Publication: . XVI, 302 p. 108 illus. 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
Reachability Problems by Finkel, Alain. Publication: . XII, 149 p. 31 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
Service-Oriented and Cloud Computing by Paoli, Flavio. Publication: . XI, 282 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Chakraborty, Supratik. Publication: . XIV, 436 p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart