//]]>
Theory and Applications of Satisfiability Testing – SAT 2010 by Strichman, Ofer. Publication: . XIII, 400p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Governatori, Guido. Publication: . VIII, 323p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Models of Computation by Kratochvíl, Jan. Publication: . XIV, 480p. 91 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Ablayev, Farid. Publication: . XI, 397p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Link, Sebastian. Publication: . XII, 363 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Abstract State Machines, Alloy, B and Z by Frappier, Marc. Publication: . XIV, 416p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Digital Imaging and Communications in Medicine (DICOM) by Pianykh, Oleg S. Publication: . XXI, 417p. 131 illus., 129 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Approximation by Villiers, Johan. Publication: . XXI, 406 p. 2 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Condition by Bürgisser, Peter. Publication: . XXXI, 554 p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Meshfree Methods for Partial Differential Equations VI by Griebel, Michael. Publication: . VIII, 233 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graphs, Networks and Algorithms by Jungnickel, Dieter. Publication: . XX, 675 p. 211 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Sparse Grids and Applications by Garcke, Jochen. Publication: . X, 283 p. 81 illus., 28 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Primer on Scientific Programming with Python by Langtangen, Hans Petter. Publication: . XXXII, 798 p. 79 illus., 30 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Boolean Function Complexity by Jukna, Stasys. Publication: . XVI, 620 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics and Modern Art by Bruter, Claude. Publication: . VIII, 178p. 221 illus., 145 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Optimization by Korte, Bernhard. Publication: . XX, 660 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Primer on Scientific Programming with Python by Langtangen, Hans Petter. Publication: . XXX, 706p. 72 illus., 28 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
High Performance Computing in Science and Engineering '10 by Nagel, Wolfgang E. Publication: . XIII, 500p. 297 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fete of Combinatorics and Computer Science by Katona, Gyula O. H. Publication: . 365 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Triangulations by Loera, Jesús A. Publication: . X, 539p. 496 illus., 281 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية