//]]>
Unhighlight Highlight
Functional and Constraint Logic Programming by Kuchen, Herbert. Publication: . VII, 157 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering Techniques by Huzar, Zbigniew. Publication: . XI, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XV, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Groce, Alex. Publication: . X, 195p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
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
System Analysis and Modeling: About Models by Kraemer, Frank Alexander. Publication: . X, 257p. 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
Formal Techniques for Distributed Systems by Bruni, Roberto. Publication: . XIV, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Eternal Networked Software Systems by Bernardo, Marco. Publication: . VIII, 527p. 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
Models in Software Engineering by Dingel, Juergen. Publication: . XII, 416p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Mariño, Julio. Publication: . IX, 175 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 Next >>
Languages: 
English |
العربية