//]]>
Unhighlight Highlight
Objects, Models, Components, Patterns by Vitek, Jan. Publication: . 316p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Time for Verification by Manna, Zohar. Publication: . VIII, 413p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Tratt, Laurence. Publication: . X, 278p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications and Theory of Petri Nets by Lilius, Johan. Publication: . X, 329p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by Kühne, Thomas. Publication: . 364p. 150 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologiey – Ada-Europe 2010 by Real, Jorge. Publication: . XII, 277p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Hatcliff, John. Publication: . XII, 233p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination Models and Languages by Clarke, Dave. Publication: . XI, 183p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages and Compilers for Parallel Computing by Gao, Guang R. Publication: . XI, 426p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Component-Based Software Engineering by Grunske, Lars. Publication: . X, 253p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More by Sato, Mitsuhisa. Publication: . 187p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Grid and Pervasive Computing by Bellavista, Paolo. Publication: . XVII, 701p. 365 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Lectures on Software Engineering by Müller, Peter. Publication: . VII, 189p. 99 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Schreye, Danny. Publication: . X, 205p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Large-Scale Scientific Computing by Lirkov, Ivan. Publication: . XVI, 839p. 248 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Computing by Ceri, Stefano. Publication: . X, 321p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Blume, Matthias. Publication: . XI, 355p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Genetic Programming by Esparcia-Alcázar, Anna Isabel. Publication: . XII, 336p. 149 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reconfigurable Computing: Architectures, Tools and Applications by Sirisuk, Phaophak. Publication: . XIV, 446p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance by Müller-Clostermann, Bruno. Publication: . XI, 323p. 120 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 Next >>
Languages: 
English |
العربية