//]]>
Unhighlight Highlight
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
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
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
Semantic Web Rules by Dean, Mike. Publication: . XIII, 305p. 66 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
Multiagent System Technologies by Dix, Jürgen. Publication: . XII, 221p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by Petriu, Dorina C. Publication: . XXI, 424p. 173 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by Petriu, Dorina C. Publication: . XXI, 422p. 162 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development VII by Katz, Shmuel. Publication: . XV, 423p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Metaheuristics by Blesa, María J. Publication: . X, 223p. 43 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Performance Engineering by Aldini, Alessandro. Publication: . X, 286p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Cousot, Radhia. Publication: . XI, 473p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing by Lynch, Nancy A. Publication: . XV, 532p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Ding, Chen. Publication: . XII, 492p. 275 illus. 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 Next >>
Languages: 
English |
العربية