//]]>
Unhighlight Highlight
Practical Aspects of Declarative Languages by Carro, Manuel. Publication: . XI, 297p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Pnueli, Amir. Publication: . XIII, 426 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
VLSI-SoC: Advanced Research for Systems on Chip by Mir, Salvador. Publication: . X, 187 p. 104 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
Advances in Power Electronics and Instrumentation Engineering by Das, Vinu V. Publication: . X, 136p. 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
<< Previous 7 8 9 10 11 12 13 14 15 16 17 Next >>
Languages: 
English |
العربية