//]]>
Information Processing in Computer-Assisted Interventions by Taylor, Russell H. Publication: . XIII, 192 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Computational Intelligence by Cabestany, Joan. Publication: . XXXVII, 568 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Computational Intelligence by Cabestany, Joan. Publication: . XXXVII, 690 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Winkler, Franz. Publication: . X, 261p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Grammar by Pogodalla, Sylvain. Publication: . XV, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
OpenMP in the Petascale Era by Chapman, Barbara M. Publication: . X, 179p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Managing the Dynamics of Networks and Services by Chrisment, Isabelle. Publication: . X, 181p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multidisciplinary Aspects of Time and Time Perception by Vatakis, Argiro. Publication: . XII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by France, Robert B. Publication: . XIV, 396p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination Models and Languages by Meuter, Wolfgang. Publication: . XII, 219p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Bruni, Roberto. Publication: . XIV, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Pattern Matching by Giancarlo, Raffaele. Publication: . XV, 480p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Eternal Networked Software Systems by Bernardo, Marco. Publication: . VIII, 527p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2011: Formal Methods by Butler, Michael. Publication: . XIV, 450p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Applications and Interoperable Systems by Felber, Pascal. Publication: . XII, 304 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multidisciplinary Information Retrieval by Hanbury, Allan. Publication: . X, 149p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Top Productivity through Software Reuse by Schmid, Klaus. Publication: . XIII, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations on Natural and Artificial Computation by Ferrández, José Manuel. Publication: . XXV, 566 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation by Calude, Cristian S. Publication: . X, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية