//]]>
Evolutionary Multi-Criterion Optimization by Takahashi, Ricardo H. C. Publication: . XV, 620 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Discrete Geometry for Computer Imagery by Debled-Rennesson, Isabelle. Publication: . XIV, 526 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Knoop, Jens. Publication: . XII, 307p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Requirements Engineering: Foundation for Software Quality by Berry, Daniel. Publication: . XII, 209 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Abdulla, Parosh Aziz. Publication: . XVI, 394p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Davies, Jim. Publication: . VIII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Giannakopoulou, Dimitra. Publication: . XIII, 464p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Hofmann, Martin. Publication: . XV, 473 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Communication Technologies for Vehicles by Strang, Thomas. Publication: . XIII, 239 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computing with Instinct by Cai, Yang. Publication: . XIII, 163 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Algorithms in (Computer) Systems by Marchetti-Spaccamela, Alberto. Publication: . X, 266 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Security and Trust by Degano, Pierpaolo. Publication: . X, 239 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Systems Biology XIII by Priami, Corrado. Publication: . VII, 193 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Barthe, Gilles. Publication: . XIV, 501p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Computing by Ceri, Stefano. Publication: . XIII, 273 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Social Computing, Behavioral-Cultural Modeling and Prediction by Salerno, John. Publication: . XIII, 384 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human Aspects of Visualization by Ebert, Achim. Publication: . VII, 173p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages and Compilers for Parallel Computing by Cooper, Keith. Publication: . X, 278 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Services and Formal Methods by Bravetti, Mario. Publication: . VIII, 191p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Barner, Sharon. Publication: . X, 197p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية