//]]>
Leveraging Applications of Formal Methods, Verification, and Validation by Margaria, Tiziana. Publication: . XX, 708p. 220 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Intelligence and Computational Intelligence by Wang, Fu Lee. Publication: . XXI, 498p. 203 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Intelligence and Computational Intelligence by Wang, Fu Lee. Publication: . XXII, 386p. 149 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Information Systems and Mining by Wang, Fu Lee. Publication: . XV, 442p. 168 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops by Dan, Asit. Publication: . XXXIV, 584p. 177 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Stabilization, Safety, and Security of Distributed Systems by Dolev, Shlomi. Publication: . XVI, 614p. 150 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Multimedia Information Processing - PCM 2010 by Qiu, Guoping. Publication: . XXII, 745p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Schoitsch, Erwin. Publication: . X, 482p. 197 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trustworthly Global Computing by Wirsing, Martin. Publication: . XII, 380p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data Management in Grid and Peer-to-Peer Systems by Hameurlain, Abdelkader. Publication: . X, 161p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Wireless Algorithms, Systems, and Applications by Pandurangan, Gopal. Publication: . XV, 256p. 156 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXIV, 628p. 242 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
Product-Focused Software Process Improvement by Ali Babar, M. Publication: . XIII, 410p. 115 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
Architecting Critical Systems by Giese, Holger. Publication: . 205p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Wired/Wireless Internet Communications by Osipov, Evgeny. Publication: . X, 400p. 198 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Hsu, Ching-Hsien. Publication: . XXX, 468p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Hsu, Ching-Hsien. Publication: . 580p. 295 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Information Systems Engineering by Pernici, Barbara. Publication: . XVI, 548p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية