//]]>
Unhighlight Highlight
Conceptual Modeling by Atzeni, Paolo. Publication: . XX, 592 p. 206 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: . 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
Principles and Practice of Constraint Programming by Milano, Michela. Publication: . XXII, 1015 p. 237 illus. 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
Reachability Problems by Finkel, Alain. Publication: . XII, 149 p. 31 illus. 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
Formal Modeling and Analysis of Timed Systems by Jurdziński, Marcin. Publication: . X, 267 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Artificial Intelligence by Cerro, Luis Fariñas. Publication: . XIV, 498 p. 49 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
Formal Methods: Foundations and Applications by Gheyi, Rohit. Publication: . X, 227 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Miné, Antoine. Publication: . XI, 457 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2012 by Roychoudhury, Abhik. Publication: . XII, 259 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2012 – Concurrency Theory by Koutny, Maciej. Publication: . XIV, 582 p. 84 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
Unconventional Computation and Natural Computation by Durand-Lose, Jérôme. Publication: . XII, 252 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Barros, Alistair. Publication: . XV, 354 p. 128 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coalgebraic Methods in Computer Science by Pattinson, Dirk. Publication: . VII, 259 p. 7 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>