//]]>
Unhighlight Highlight
Computer Aided Verification by Madhusudan, P. Publication: . XVI, 789p. 192 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning by Gramlich, Bernhard. Publication: . XIV, 568p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Image and Signal Processing by Elmoataz, Abderrahim. Publication: . XIX, 609p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Information Systems Engineering by Ralyté, Jolita. Publication: . XVII, 704p. 235 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Persuasive Technology. Design for Health and Safety by Bang, Magnus. Publication: . Approx. 295 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Impact Analysis of Solutions for Chronic Disease Prevention and Management by Donnelly, Mark. Publication: . XIII, 297p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Correct Reasoning by Erdem, Esra. Publication: . XI, 594p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Domenach, Florent. Publication: . XII, 309 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Design Science Research in Information Systems. Advances in Theory and Practice by Peffers, Ken. Publication: . XI, 439p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Schrijvers, Tom. Publication: . X, 333 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programs, Norms and Action by Artikis, Alexander. Publication: . XX, 425 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence VI by Nguyen, Ngoc Thanh. Publication: . XII, 224 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Games, Actions and Social Software by Eijck, Jan. Publication: . XIV, 214 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies IX by Sakama, Chiaki. Publication: . XII, 153 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Collier, Rem. Publication: . XI, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Flanagan, Cormac. Publication: . XIX, 560 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Birkedal, Lars. Publication: . XVII, 484 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Bjørner, Nikolaj. Publication: . XI, 446 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Science XV by Gavrilova, Marina L. Publication: . XIII, 217 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multi-Agent-Based Simulation XII by Villatoro, Daniel. Publication: . IX, 127 p. 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 |
العربية