//]]>
Unhighlight Highlight
FM 2011: Formal Methods by Butler, Michael. Publication: . XIV, 450p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Applications and Interoperable Systems by Felber, Pascal. Publication: . XII, 304 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multidisciplinary Information Retrieval by Hanbury, Allan. Publication: . X, 149p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Top Productivity through Software Reuse by Schmid, Klaus. Publication: . XIII, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations on Natural and Artificial Computation by Ferrández, José Manuel. Publication: . XXV, 566 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation by Calude, Cristian S. Publication: . X, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies - Ada-Europe 2011 by Romanovsky, Alexander. Publication: . XIII, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New Challenges on Bioinspired Applications by Ferrández, José Manuel. Publication: . XXV, 486p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Intelligence in Security for Information Systems by Herrero, Álvaro. Publication: . XIV, 310p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Life. Darwin Meets von Neumann by Kampis, George. Publication: . XXII, 481p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems by Achterberg, Tobias. Publication: . X, 253p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ambient Assisted Living by Bravo, José. Publication: . XII, 226p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Frasconi, Paolo. Publication: . XI, 278p. 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
Algorithms and Models for the Web Graph by Frieze, Alan. Publication: . IX, 127p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Life. Darwin Meets von Neumann by Kampis, George. Publication: . XXI, 501p. 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
Bioinformatics Research and Applications by Chen, Jianer. Publication: . XIV, 454p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pattern Recognition and Image Analysis by Vitrià, Jordi. Publication: . XXI, 754p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 Next >>
Languages: 
English |
العربية