//]]>
Unhighlight Highlight
Leveraging Applications of Formal Methods, Verification, and Validation by Margaria, Tiziana. Publication: . XV, 498p. 157 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue by Casanovas, Pompeu. Publication: . X, 243p. 62 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
Ubiquitous Knowledge Discovery by May, Michael. Publication: . X, 255p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
String Processing and Information Retrieval by Chavez, Edgar. Publication: . XIV, 408p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modeling Decisions for Artificial Intelligence by Torra, Vicenç. Publication: . XI, 299p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rough Set and Knowledge Technology by Yu, Jian. Publication: . XVII, 781p. 178 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Discovery Science by Pfahringer, Bernhard. Publication: . XIII, 384p. 108 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Large-Scale Data- and Knowledge-Centered Systems II by Hameurlain, Abdelkader. Publication: . XI, 141p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Intelligence – SBIA 2010 by Rocha Costa, Antônio Carlos. Publication: . XV, 313p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
KI 2010: Advances in Artificial Intelligence by Dillmann, Rüdiger. Publication: . XVI, 446p. 150 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects and Databases by Dearle, Alan. Publication: . XIV, 161p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Sustaining TEL: From Innovation to Learning and Practice by Wolpers, Martin. Publication: . XI, 649p. 152 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pattern Recognition in Bioinformatics by Dijkstra, Tjeerd M. H. Publication: . XII, 442p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multilingual and Multimodal Information Access Evaluation by Agosti, Maristella. Publication: . XIII, 145p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Scalable Uncertainty Management by Deshpande, Amol. Publication: . XI, 389p. 79 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Machine Learning in Medical Imaging by Wang, Fei. Publication: . IX, 192p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Machine Learning and Knowledge Discovery in Databases by Balcázar, José Luis. Publication: . XXII, 632p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Reasoning and Rule Systems by Hitzler, Pascal. Publication: . XIII, 259p. 43 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 Next >>
Languages: 
English |
العربية