//]]>
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
Treatise on Intuitionistic Type Theory by Granström, Johan Georg. Publication: . XIV, 198 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
Trust Networks for Recommender Systems by Victor, Patricia. Publication: . XIV, 202 p. 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
Computer Engineering and Technology by Xu, Weixia. Publication: . XIV, 252 p. 151 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Engineering and Technology by Xu, Weixia. Publication: . XIV, 263 p. 164 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
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

Languages: 
English |
العربية