//]]>
High Performance Embedded Architectures and Compilers by Patt, Yale N. Publication: . XIII, 364p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Concurrency, Compositionality, and Correctness by Dams, Dennis. Publication: . 377p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Carro, Manuel. Publication: . XI, 297p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Pnueli, Amir. Publication: . XIII, 426 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies VII by Baldoni, Matteo. Publication: . XII, 263 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Barthe, Gilles. Publication: . X, 397p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Gonthier, Georges. Publication: . XII, 309 p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Shan, Chung-chieh. Publication: . X, 381 p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Bertacco, Valeria. Publication: . XX, 366 p. 147 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Erwig, Martin. Publication: . XII, 385 p. 156 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Hung, Dang. Publication: . XIV, 528 p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Instruction Sequences for Computer Science by Bergstra, Jan A. Publication: . XVI, 229 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in Algorithmic Differentiation by Forth, Shaun. Publication: . XVII, 361 p. 89 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Tiny Handbook of R by Allerhand, Mike. Publication: . IX, 83p. 10 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematica®: A Problem-Centered Approach by Hazrat, Roozbeh. Publication: . XX, 180p. 63 illus., 50 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The R Software by Lafaye de Micheaux, Pierre. Publication: . XXXVII, 628 p. 50 illus., 41 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Bayesian Networks in R by Nagarajan, Radhakrishnan. Publication: . XIII, 157 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Handbook of Floating-Point Arithmetic by Muller, Jean-Michel. Publication: . XXIV, 572 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Using Microsoft Dynamics AX 2012 by Luszczak, Andreas. Publication: . XIII, 403 p. 189 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evaluation of Novel Approaches to Software Engineering by Filipe, Joaquim. Publication: . X, 257 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية