//]]>
Coordination Models and Languages by Nicola, Rocco. Publication: . XIV, 251 p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Wired/Wireless Internet Communication by Tsaoussidis, Vassilis. Publication: . XII, 277 p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Brat, Guillaume. Publication: . XXIV, 486 p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Smart Grid Security by Cuellar, Jorge. Publication: . VIII, 151 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Grid and Pervasive Computing by Park, James J. (Jong Hyuk). Publication: . XXXIV, 956 p. 483 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages and Compilers for Parallel Computing by Kasahara, Hironori. Publication: . XII, 276 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Jhala, Ranjit. Publication: . XVIII, 265 p. 96 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2012: Parallel Processing Workshops by Caragiannis, Ioannis. Publication: . XXIV, 589 p. 232 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Aliasing in Object-Oriented Programming. Types, Analysis and Verification by Clarke, Dave. Publication: . VIII, 515 p. 134 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Engineering Secure Software and Systems by Jürjens, Jan. Publication: . XII, 231 p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Passive and Active Measurement by Roughan, Matthew. Publication: . XII, 282 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Architecture of Computing Systems – ARCS 2013 by Kubátová, Hana. Publication: . XIV, 354 p. 146 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Assurances for Self-Adaptive Systems by Cámara, Javier. Publication: . X, 341 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Topics in Cryptology – CT-RSA 2013 by Dawson, Ed. Publication: . XIV, 405 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering IV by Lämmel, Ralf. Publication: . XII, 449 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore-Challenge III by Keller, Rainer. Publication: . X, 146 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Beckert, Bernhard. Publication: . X, 356 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Job Scheduling Strategies for Parallel Processing by Cirne, Walfredo. Publication: . X, 273 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Self-Adaptive Systems II by Lemos, Rogério. Publication: . X, 393 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Park, James J. Publication: . XX, 647 p. 253 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية