//]]>
Logical Analysis of Hybrid Systems by Platzer, André. Publication: . XXX, 426p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations by Wu, Yanwen. Publication: . Approx. 110 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information and Communication Technologies in Education, Research, and Industrial Applications by Ermolayev, Vadim. Publication: . XII, 379 p. 89 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Drawing Programs: The Theory and Practice of Schematic Functional Programming by Addis, Tom. Publication: . XIII, 386 p. 410 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Understanding Concurrent Systems by Roscoe, A.W. Publication: . XVIII, 530 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Computing Systems by Moller, Faron. Publication: . XVI, 500 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A General Framework for Reasoning On Inconsistency by Martinez, Maria Vanina. Publication: . VII, 45 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Programming by Shankar, A. Udaya. Publication: . XVIII, 387 p. 175 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Social Semantics by Halpin, Harry. Publication: . XVI, 222 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics in Computing by O’Regan, Gerard. Publication: . XIX, 285 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification of Software Systems by Alagar, V.S. Publication: . XXVI, 646 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Introduction to the Theory of Programming Languages by Dowek, Gilles. Publication: . XI, 118p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rigorous Software Development by Almeida, José Bacelar. Publication: . XIII, 307p. 52 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Daniel, Florian. Publication: . XVI, 355 p. 124 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية