//]]>
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
Human-Centred Software Engineering by Bernhaupt, Regina. Publication: . X, 223p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Engineering and Management by the Masses by Cimiano, Philipp. Publication: . XXV, 588p. 152 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Semantic Web Rules by Dean, Mike. Publication: . XIII, 305p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Technologies for Embedded and Ubiquitous Systems by Min, Sang Lyul. Publication: . XI, 253p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiagent System Technologies by Dix, Jürgen. Publication: . XII, 221p. 81 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
Transactions on Aspect-Oriented Software Development VII by Katz, Shmuel. Publication: . XV, 423p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cooperative Design, Visualization, and Engineering by Luo, Yuhua. Publication: . XII, 302p. 125 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
Intelligent Virtual Agents by Allbeck, Jan. Publication: . XI, 490p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Performance Engineering by Aldini, Alessandro. Publication: . X, 286p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing by Lynch, Nancy A. Publication: . XV, 532p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Collaboration and Technology by Kolfschoten, Gwendolyn. Publication: . XIII, 364p. 139 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
Advances in Multimedia Information Processing - PCM 2010 by Qiu, Guoping. Publication: . XXII, 759p. 433 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
Software Product Lines: Going Beyond by Bosch, Jan. Publication: . XXI, 534p. 159 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Incentives, Overlays, and Economic Traffic Control by Stiller, Burkhard. Publication: . X, 109p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiple Access Communications by Vinel, Alexey. Publication: . XIII, 287p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية