//]]>
Unhighlight Highlight
Concurrency, Compositionality, and Correctness by Dams, Dennis. Publication: . 377p. 94 illus. 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
Stabilization, Safety, and Security of Distributed Systems by Higashino, Teruo. Publication: . XXIV, 380 p. 86 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Computer Science by Mogavero, Fabio. Publication: . XVII, 149 p. 13 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Computer Science by Calude, Cristian S. Publication: . XII, 387p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed, Parallel and Biologically Inspired Systems by Hinchey, Mike. Publication: . XVI, 316p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Computing Systems by Moller, Faron. Publication: . XVI, 500 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7
Languages: 
English |
العربية