//]]>
Unhighlight Highlight
Runtime Verification by Khurshid, Sarfraz. Publication: . XII, 458 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Services and Formal Methods by Carbone, Marco. Publication: . IX, 143 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Schrijvers, Tom. Publication: . X, 333 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011: Parallel Processing Workshops by Alexander, Michael. Publication: . XXX, 480 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011: Parallel Processing Workshops by Alexander, Michael. Publication: . XXIX, 524p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Clarke, Edmund. Publication: . XIV, 411 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Communication Technologies for Vehicles by Vinel, Alexey. Publication: . XII, 188 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Kienzle, Jörg. Publication: . X, 292 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reversible Computation by Vos, Alexis. Publication: . IX, 123p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Program Semantics by Constable, Robert L. Publication: . XIII, 357 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programs, Norms and Action by Artikis, Alexander. Publication: . XX, 425 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence VI by Nguyen, Ngoc Thanh. Publication: . XII, 224 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Games, Actions and Social Software by Eijck, Jan. Publication: . XIV, 214 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XII, 377 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Computing, Networking and Security by Thilagam, P. Santhi. Publication: . XVII, 641 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies IX by Sakama, Chiaki. Publication: . XII, 153 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency V by Jensen, Kurt. Publication: . XVII, 293 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Collier, Rem. Publication: . XI, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Goodloe, Alwyn E. Publication: . XII, 466p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Lara, Juan. Publication: . Approx. 535 p. 168 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 Next >>
Languages: 
English |
العربية