//]]>
NASA Formal Methods by Bobaru, Mihaela. Publication: . XIV, 534 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Selected Areas in Cryptography by Biryukov, Alex. Publication: . XIII, 411 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data Privacy Management and Autonomous Spontaneous Security by Garcia-Alfaro, Joaquin. Publication: . XIV, 259 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Architecture of Computing Systems - ARCS 2011 by Berekovic, Mladen. Publication: . XIII, 271p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Provenance and Annotation of Data and Processes by McGuinness, Deborah L. Publication: . XII, 306p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Boer, Frank S. Publication: . X, 339p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Job Scheduling Strategies for Parallel Processing by Frachtenberg, Eitan. Publication: . XI, 223p. 99 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Ding, Chen. Publication: . XII, 492p. 275 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2010 - Parallel Processing by D’Ambra, Pasqua. Publication: . XXV, 544p. 222 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2010 - Parallel Processing by D’Ambra, Pasqua. Publication: . XXX, 600 p. 264 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Critical Information Infrastructures Security by Rome, Erich. Publication: . XII, 213p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mechanisms for Autonomous Management of Networks and Services by Stiller, Burkhard. Publication: . XIII, 179p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing in Sensor Systems by Rajaraman, Rajmohan. Publication: . XVII, 410p. 152 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Applications and Interoperable Systems by Eliassen, Frank. Publication: . XIV, 243p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Communications and Multimedia Security by Decker, Bart. Publication: . XIII, 281p. 74 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
Post-Quantum Cryptography by Sendrier, Nicolas. Publication: . X, 241p. 27 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Progress in Cryptology – AFRICACRYPT 2010 by Bernstein, Daniel J. Publication: . XIII, 437p. 43 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pervasive Computing by Floréen, Patrik. Publication: . XV, 446p. 203 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