//]]>
Unhighlight Highlight
Advanced Lectures on Software Engineering by Müller, Peter. Publication: . VII, 189p. 99 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Schreye, Danny. Publication: . X, 205p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Ghosh, Sudipto. Publication: . X, 360p. 139 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Blume, Matthias. Publication: . XI, 355p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Brand, Mark. Publication: . 390p. 126 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance by Müller-Clostermann, Bruno. Publication: . XI, 323p. 120 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Ong, Luke. Publication: . XV, 389p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Rosenblum, David S. Publication: . XIII, 383p. 127 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Esparza, Javier. Publication: . XVI, 468p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Escobar, Santiago. Publication: . IX, 179p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Gupta, Rajiv. Publication: . XII, 326p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Gordon, Andrew D. Publication: . XV, 632p. 189 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata for Branching and Layered Temporal Structures by Puppis, Gabriele. Publication: . 206p. 41 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
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
<< Previous 5 6 7 8 9 10 11 12 13 14 15 16 Next >>
Languages: 
English |
العربية