//]]>
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
Human Behavior Understanding by Salah, Albert Ali. Publication: . X, 175 p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in New Technologies, Interactive Interfaces and Communicability by Cipolla-Ficarra, Francisco. Publication: . XII, 263 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Conceptual Modeling by Castano, Silvana. Publication: . XX, 406 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Natural Language Processing by Isahara, Hitoshi. Publication: . X, 334 p. 96 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Vision – ECCV 2012. Workshops and Demonstrations by Fusiello, Andrea. Publication: . XXIV, 684 p. 325 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Engineering and Knowledge Management by Teije, Annette. Publication: . XVIII, 452 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Vision – ECCV 2012. Workshops and Demonstrations by Fusiello, Andrea. Publication: . XXII, 611 p. 323 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Vision – ECCV 2012. Workshops and Demonstrations by Fusiello, Andrea. Publication: . XXII, 611 p. 276 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Natural Computing by Dediu, Adrian-Horia. Publication: . X, 227 p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Eleftherakis, George. Publication: . XIV, 384 p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Vision – ECCV 2012 by Fitzgibbon, Andrew. Publication: . XXII, 490 p. 205 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Vision – ECCV 2012 by Fitzgibbon, Andrew. Publication: . XXIV, 893 p. 433 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Immune Systems by Coello Coello, Carlos A. Publication: . XIX, 293 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Vision – ECCV 2012 by Fitzgibbon, Andrew. Publication: . XXIII, 877 p. 412 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiagent System Technologies by Timm, Ingo J. Publication: . XII, 179 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Serious Games Development and Applications by Ma, Minhua. Publication: . XII, 269 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modeling and Mining Ubiquitous Social Media by Atzmueller, Martin. Publication: . XII, 183 p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Ortmeier, Frank. Publication: . XVI, 530 p. 198 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing by Aguilera, Marcos K. Publication: . XVI, 450 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية