//]]>
Automated Reasoning by Gramlich, Bernhard. Publication: . XIV, 568p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2012 by Wang, Jun. Publication: . XXV, 669p. 314 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Biomedical Image Registration by Dawant, Benoît M. Publication: . XII, 308 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Pattern Matching by Kärkkäinen, Juha. Publication: . XIII, 454p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Diagrammatic Representation and Inference by Cox, Philip. Publication: . XIII, 358p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithm Theory – SWAT 2012 by Fomin, Fedor V. Publication: . XIII, 410p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Gibbons, Jeremy. Publication: . X, 363p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Structural Information and Communication Complexity by Even, Guy. Publication: . XIII, 340 p. 54 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Multivariate Algorithmic Revolution and Beyond by Bodlaender, Hans L. Publication: . XXII, 506p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Abstract State Machines, Alloy, B, VDM, and Z by Derrick, John. Publication: . XV, 378 p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
How the World Computes by Cooper, S. Barry. Publication: . XVIII, 756p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Hirsch, Edward A. Publication: . XXIII, 327 p. 25 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Sequences and Their Applications – SETA 2012 by Helleseth, Tor. Publication: . XII, 339 p. 25 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Models for the Web Graph by Bonato, Anthony. Publication: . VIII, 179 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore - Challenge II by Keller, Rainer. Publication: . X, 173 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fun with Algorithms by Kranakis, Evangelos. Publication: . XI, 397p. 148 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Public Key Cryptography – PKC 2012 by Fischlin, Marc. Publication: . XIV, 734 p. 63 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Models of Computation by Agrawal, Manindra. Publication: . XV, 622 p. 91 illus. 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
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems by Beldiceanu, Nicolas. Publication: . XI, 409p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية