//]]>
Programming Multi-Agent Systems by Collier, Rem. Publication: . XI, 159 p. 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
Data Privacy Management and Autonomous Spontaneus Security by Garcia-Alfaro, Joaquin. Publication: . XV, 319 p. 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
Engineering Secure Software and Systems by Barthe, Gilles. Publication: . XII, 151p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applied Parallel and Scientific Computing by Jónasson, Kristján. Publication: . XXVII, 339p. 155 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applied Parallel and Scientific Computing by Jónasson, Kristján. Publication: . XXVIII, 477p. 170 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Gheorghe, Marian. Publication: . 380p. 83 illus. 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
Communications and Multimedia Security by Decker, Bart. Publication: . XIV, 257 p. 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
Model Driven Engineering Languages and Systems by Whittle, Jon. Publication: . XX, 730 p. 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
Automated Technology for Verification and Analysis by Bultan, Tevfik. Publication: . XIV, 532 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Architecture by Varbanescu, Ana Lucia. Publication: . XXVII, 378p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Parallel Processing Technologies by Temam, Olivier. Publication: . 190p. 89 illus. 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
Information and Communication on Technology for the Fight against Global Warming by Kranzlmüller, Dieter. Publication: . XI, 190 p. 77 illus., 35 illus. in color. 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

Languages: 
English |
العربية