//]]>
Unhighlight Highlight
Process Mining by van der Aalst, Wil M. P. Publication: . XVI, 352p. 184 illus., 6 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Algebraic Specification and Formal Software Development by Sannella, Donald. Publication: . XVI, 584 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Power Electronics and Instrumentation Engineering by Das, Vinu V. Publication: . X, 114p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Computer Science by Calude, Cristian S. Publication: . XII, 387p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed, Parallel and Biologically Inspired Systems by Hinchey, Mike. Publication: . XVI, 316p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evaluation of Novel Approaches to Software Engineering by Maciaszek, Leszek A. Publication: . X, 324p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification and Verification of Declarative Open Interaction Models by Montali, Marco. Publication: . XXII, 411p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
<< Previous 14 15 16 17 18 19 20 21 22 23 24 Next >>
Languages: 
English |
العربية