//]]>
Unhighlight Highlight
Logic for Programming, Artificial Intelligence, and Reasoning by Clarke, Edmund M. Publication: . X, 517p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations and Model-Driven Engineering by Engels, Gregor. Publication: . XIV, 768p. 328 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Architecting Dependable Systems VII by Casimiro, Antonio. Publication: . XII, 324p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Ueda, Kazunori. Publication: . X, 440p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Boer, Frank S. Publication: . X, 339p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Dong, Jin Song. Publication: . XIV, 712p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Autonomic Communication Environments by Brennan, Rob. Publication: . X, 125p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Qin, Shengchao. Publication: . VIII, 310p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Barringer, Howard. Publication: . XIII, 492p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Petrenko, Alexandre. Publication: . XII, 267p. 76 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
Implementation and Application of Functional Languages by Morazán, Marco T. Publication: . IX, 237p. 107 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Conceptual Modeling – Applications and Challenges by Trujillo, Juan. Publication: . XII, 296p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Modeling – ER 2010 by Parsons, Jeffrey. Publication: . XIV, 490p. 163 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rewriting Logic and Its Applications by Ölveczky, Peter Csaba. Publication: . X, 264p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Based Engineering of Embedded Real-Time Systems by Giese, Holger. Publication: . XV, 385p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Méry, Dominique. Publication: . X, 337p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Technologies for Embedded and Ubiquitous Systems by Min, Sang Lyul. Publication: . XI, 253p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Fermüller, Christian G. Publication: . XII, 656p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Next >>
Languages: 
English |
العربية