//]]>
Rewriting Logic and Its Applications by Ölveczky, Peter Csaba. Publication: . X, 264p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Based Engineering of Embedded Real-Time Systems by Giese, Holger. Publication: . XV, 385p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Méry, Dominique. Publication: . X, 337p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Technologies for Embedded and Ubiquitous Systems by Min, Sang Lyul. Publication: . XI, 253p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Fermüller, Christian G. Publication: . XII, 656p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Pol, Jaco. Publication: . X, 263p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by Petriu, Dorina C. Publication: . XXI, 424p. 173 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by Petriu, Dorina C. Publication: . XXI, 422p. 162 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development VII by Katz, Shmuel. Publication: . XV, 423p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security by Armando, Alessandro. Publication: . IX, 185p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Metaheuristics by Blesa, María J. Publication: . X, 223p. 43 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Kowalewski, Stefan. Publication: . XII, 231p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Performance Engineering by Aldini, Alessandro. Publication: . X, 286p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Cousot, Radhia. Publication: . XI, 473p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Bouajjani, Ahmed. Publication: . VIII, 404p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Hull, Richard. Publication: . XIII, 359p. 140 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing – Practice and Research Techniques by Bottaci, Leonardo. Publication: . XIII, 219p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming – CP 2010 by Cohen, David. Publication: . XX, 650p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2010 - Concurrency Theory by Gastin, Paul. Publication: . XIII, 600p. 134 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Kučera, Antonín. Publication: . X, 199p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية