//]]>
Unhighlight Highlight
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Virtual and Mixed Reality - Systems and Applications by Shumaker, Randall. Publication: . XXVII, 436p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Virtual and Mixed Reality - New Trends by Shumaker, Randall. Publication: . 432p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence IV by Nguyen, Ngoc Thanh. Publication: . IX, 211p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Information Systems Engineering by Mouratidis, Haralambos. Publication: . XVIII, 684p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Toward Useful Services for Elderly and People with Disabilities by Abdulrazak, Bessam. Publication: . XVII, 327p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems by Calinescu, Radu. Publication: . 250p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination, Organizations, Institutions, and Norms in Agent Systems VI by Vos, Marina. Publication: . XVI, 377p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Swart, Harrie. Publication: . VIII, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Delgrande, James P. Publication: . XIII, 406 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in New Technologies, Interactive Interfaces, and Communicability by Cipolla Ficarra, Francisco V. Publication: . X, 193 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies VIII by Omicini, Andrea. Publication: . X, 205 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking and Artificial Intelligence by Meyden, Ron. Publication: . XI, 131 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Perspectives in Design Science Research by Jain, Hemant. Publication: . XII, 476 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Alpuente, María. Publication: . X, 249 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Valtchev, Petko. Publication: . XII, 267 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Adaptive and Natural Computing Algorithms by Dobnikar, Andrej. Publication: . XVI, 433p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Adaptive and Natural Computing Algorithms by Dobnikar, Andrej. Publication: . XVI, 403p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence III by Nguyen, Ngoc Thanh. Publication: . IX, 215p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Abdulla, Parosh Aziz. Publication: . XVI, 394p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية