//]]>
Unhighlight Highlight
Mathematics of Program Construction by Gibbons, Jeremy. Publication: . X, 363p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Clarke, Edmund. Publication: . XIV, 411 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Kienzle, Jörg. Publication: . X, 292 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Flanagan, Cormac. Publication: . XIX, 560 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development VIII by Katz, Shmuel. Publication: . XIII, 221 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
Service Research Challenges and Solutions for the Future Internet by Papazoglou, Mike P. Publication: . XVIII, 374p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification, and Validation by Margaria, Tiziana. Publication: . XV, 498p. 157 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification, and Validation by Margaria, Tiziana. Publication: . XX, 708p. 220 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Kučera, Antonín. Publication: . X, 199p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New Modeling Concepts for Today’s Software Processes by Münch, Jürgen. Publication: . XIV, 382p. 133 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
Mathematics of Program Construction by Bolduc, Claude. Publication: . X, 427p. 57 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
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
Mathematical Methods for Curves and Surfaces by Dæhlen, Morten. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Engineering Earth by Brunn, Stanley D. Publication: . CC, 2266p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Correctness-by-Construction Approach to Programming by Kourie, Derrick G. Publication: . XIII, 264p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The History of Visual Magic in Computers by Peddie, Jon. Publication: . XLI, 448 p. 369 illus., 226 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ontologies in Urban Development Projects by Falquet, Gilles. Publication: . VIII, 241 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 Next >>
Languages: 
English |
العربية