//]]>
Unhighlight Highlight
Declarative Agent Languages and Technologies VII by Baldoni, Matteo. Publication: . XII, 263 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Barthe, Gilles. Publication: . X, 397p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Shan, Chung-chieh. Publication: . X, 381 p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Stabilization, Safety, and Security of Distributed Systems by Higashino, Teruo. Publication: . XXIV, 380 p. 86 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Bertacco, Valeria. Publication: . XX, 366 p. 147 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Hung, Dang. Publication: . XIV, 528 p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evaluation of Novel Approaches to Software Engineering by Filipe, Joaquim. Publication: . X, 257 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evaluation of Novel Approaches to Software Engineering by Maciaszek, Leszek A. Publication: . X, 173 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ICT in Education, Research, and Industrial Applications by Ermolayev, Vadim. Publication: . XIV, 245 p. 52 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity by Kim, Tai-hoon. Publication: . XVIII, 476 p. 263 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evaluation of Novel Approaches to Software Engineering by Maciaszek, Leszek A. Publication: . X, 219 p. 102 illus. 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
Software Engineering, Business Continuity, and Education by Kim, Tai-hoon. Publication: . XVIII, 716 p. 218 illus. Availability: No items available:
Actions: Add to Cart
Evaluation of Novel Approaches to Software Engineering by Maciaszek, Leszek A. Publication: . X, 267p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Process Mining by van der Aalst, Wil M. P. Publication: . XVI, 352p. 184 illus., 6 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Algebraic Specification and Formal Software Development by Sannella, Donald. Publication: . XVI, 584 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Computer Science by Calude, Cristian S. Publication: . XII, 387p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed, Parallel and Biologically Inspired Systems by Hinchey, Mike. Publication: . XVI, 316p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evaluation of Novel Approaches to Software Engineering by Maciaszek, Leszek A. Publication: . X, 324p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification and Verification of Declarative Open Interaction Models by Montali, Marco. Publication: . XXII, 411p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 7 8 9 10 11 12 13 14 15 16 17 Next >>
Languages: 
English |
العربية