//]]>
Unhighlight Highlight
Software Composition by Apel, Sven. Publication: . VIII, 181p. 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
Objects, Models, Components, Patterns by Bishop, Judith. Publication: . X, 307p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2010 Parallel Processing Workshops by Guarracino, Mario R. Publication: . XXVI, 699p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications and Theory of Petri Nets by Kristensen, Lars M. Publication: . XII, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Gogolla, Martin. Publication: . X, 205p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Cabot, Jordi. Publication: . XII, 229p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
End-User Development by Costabile, Maria Francesca. Publication: . XVI, 426p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
OpenMP in the Petascale Era by Chapman, Barbara M. Publication: . X, 179p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Managing the Dynamics of Networks and Services by Chrisment, Isabelle. Publication: . X, 181p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by France, Robert B. Publication: . XIV, 396p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination Models and Languages by Meuter, Wolfgang. Publication: . XII, 219p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Bruni, Roberto. Publication: . XIV, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2011: Formal Methods by Butler, Michael. Publication: . XIV, 450p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Top Productivity through Software Reuse by Schmid, Klaus. Publication: . XIII, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies - Ada-Europe 2011 by Romanovsky, Alexander. Publication: . XIII, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Delgrande, James P. Publication: . XIII, 406 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning by Balduccini, Marcello. Publication: . XIII, 513 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Grid and Pervasive Computing by Riekki, Jukka. Publication: . XIV, 296p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking and Artificial Intelligence by Meyden, Ron. Publication: . XI, 131 p. 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 |
العربية