//]]>
Unhighlight Highlight
Safe and Secure Software Reuse by Favaro, John. Publication: . XIV, 362 p. 114 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Veanes, Margus. Publication: . X, 233 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SDL 2013: Model-Driven Dependability Engineering by Khendek, Ferhat. Publication: . XII, 291 p. 138 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Duddy, Keith. Publication: . XIV, 221 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Dynamical Systems by Bernardo, Marco. Publication: . VIII, 181 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Logozzo, Francesco. Publication: . X, 499 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Design Science at the Intersection of Physical and Virtual Design by Brocke, Jan. Publication: . XVI, 528 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Supercomputing by Kunkel, Julian Martin. Publication: . XII, 477 p. 210 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Information Systems Engineering by Salinesi, Camille. Publication: . XXXVIII, 706 p. 258 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
End-User Development by Dittrich, Yvonne. Publication: . XII, 311 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Dastani, Mehdi. Publication: . X, 245 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Application and Theory of Petri Nets and Concurrency by Colom, José-Manuel. Publication: . XII, 411 p. 166 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Pattern Languages of Programming III by Noble, James. Publication: . X, 195 p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Benchmarking Peer-to-Peer Systems by Effelsberg, Wolfgang. Publication: . VIII, 197 p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Johnsen, Einar Broch. Publication: . XIV, 443 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Models. Change Management by Gerth, Christian. Publication: . XVI, 218 p. 125 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies – Ada-Europe 2013 by Keller, Hubert B. Publication: . XII, 177 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Beyer, Dirk. Publication: . XIV, 321 p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-24 by Bonacina, Maria Paola. Publication: . XVI, 466 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems by Cavallaro, Lorenzo. Publication: . XVI, 145 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية