//]]>
Unhighlight Highlight
Logics in Computer Science by Mogavero, Fabio. Publication: . XVII, 149 p. 13 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Instruction Sequences for Computer Science by Bergstra, Jan A. Publication: . XVI, 229 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach by Janssen, Jeroen. Publication: Paris : Atlantis Press, 2012 Date:2012 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Computation by Nishizaki, Shin-ya. Publication: . XII, 295 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Computation by Nishizaki, Shin-ya. Publication: . X, 215p. 58 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
The NCL Natural Constraint Language by Zhou, Jianyang. Publication: . XIII, 311 p. Availability: Copies available: AUM Main Library (1),
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
Logical Analysis of Hybrid Systems by Platzer, André. Publication: . XXX, 426p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 12 13 14 15 16 17 18 19 20 21 22 Next >>
Languages: 
English |
العربية