//]]>
Unhighlight Highlight
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Margaria, Tiziana. Publication: . XVI, 617 p. 170 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Resilient Systems by Avgeriou, Paris. Publication: . X, 181 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Fraser, Gordon. Publication: . XVI, 293 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2012 Parallel Processing by Kaklamanis, Christos. Publication: . XXVII, 960 p. 369 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multicore Software Engineering, Performance, and Tools by Pankratius, Victor. Publication: . VIII, 95 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Applications and Interoperable Systems by Göschka, Karl Michael. Publication: . XII, 240p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Grid and Pervasive Computing by Li, Ruixuan. Publication: . XIII, 370p. 117 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dependable Networks and Services by Sadre, Ramin. Publication: . XIII, 161 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Goodloe, Alwyn E. Publication: . XII, 466p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Architecture of Computing Systems – ARCS 2012 by Herkersdorf, Andreas. Publication: . XIII, 252 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Aichernig, Bernhard K. Publication: . VII, 393p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dependable and Historic Computing by Jones, Cliff B. Publication: . XII, 523p. 137 illus., 60 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Altman, Erik. Publication: . XIII, 368 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Cohen, Myra B. Publication: . XV, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011 Parallel Processing by Jeannot, Emmanuel. Publication: . XXXIII, 598p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011 Parallel Processing by Jeannot, Emmanuel. Publication: . Approx. 490 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Computing Technologies by Malyshkin, Victor. Publication: . XIV, 500p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Analytical and Stochastic Modeling Techniques and Applications by Al-Begain, Khalid. Publication: . XI, 347p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Critical Information Infrastructures Security by Xenakis, Christos. Publication: . X, 161p. 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
1 2 3 Next >>
Languages: 
English |
العربية