//]]>
Unhighlight Highlight
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
ECOOP 2010 – Object-Oriented Programming by D’Hondt, Theo. Publication: . XIII, 599p. 196 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Kaufmann, Matt. Publication: . XI, 495p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Baudry, Benoît. Publication: . VIII, 155p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Fraser, Gordon. Publication: . 174p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Vitek, Jan. Publication: . 316p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Research into Practice – Reality and Gaps by Heineman, George T. Publication: . X, 183p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Tratt, Laurence. Publication: . X, 278p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications and Theory of Petri Nets by Lilius, Johan. Publication: . X, 329p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by Kühne, Thomas. Publication: . 364p. 150 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologiey – Ada-Europe 2010 by Real, Jorge. Publication: . XII, 277p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Hatcliff, John. Publication: . XII, 233p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Bolduc, Claude. Publication: . X, 427p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Component-Based Software Engineering by Grunske, Lars. Publication: . X, 253p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
<< Previous 6 7 8 9 10 11 12 13 14 15 16 17 18 Next >>
Languages: 
English |
العربية