//]]>
Computational Logistics by Pacino, Dario. Publication: . X, 269 p. 72 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
Computer Information Systems and Industrial Management by Saeed, Khalid. Publication: . XX, 524 p. 241 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages by Bois, André Rauber. Publication: . XVI, 151 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Resilient Systems by Gorbenko, Anatoliy. Publication: . X, 199 p. 87 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
Intelligent Robotics and Applications by Lee, Jangmyung. Publication: . XXVIII, 755 p. 513 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Robotics and Applications by Lee, Jangmyung. Publication: . XXVIII, 743 p. 517 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Bitsch, Friedemann. Publication: . XVI, 304 p. 109 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
Computer Performance Engineering by Balsamo, Maria Simonetta. Publication: . XII, 351 p. 114 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Methods in Systems Biology by Gupta, Ashutosh. Publication: . XX, 284 p. 58 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
Service-Oriented and Cloud Computing by Lau, Kung-Kiu. Publication: . X, 244 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XXIV, 391 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Giachino, Elena. Publication: . X, 241 p. 125 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorics on Words by Karhumäki, Juhani. Publication: . X, 263 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Hierons, Robert M. Publication: . XVIII, 321 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart