//]]>
Unhighlight Highlight
Computational Intelligence for Knowledge-Based Systems Design by Hüllermeier, Eyke. Publication: . XVII, 771p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Fraser, Gordon. Publication: . 174p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programs, Proofs, Processes by Ferreira, Fernando. Publication: . XIV, 450p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Vitek, Jan. Publication: . 316p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Raedt, Luc. Publication: . XII, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information and Computation by Dawar, Anuj. Publication: . X, 259p. 28 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Time for Verification by Manna, Zohar. Publication: . VIII, 413p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithm Theory - SWAT 2010 by Kaplan, Haim. Publication: . 448p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Tratt, Laurence. Publication: . X, 278p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Quantitative Aspects of Programming Languages by Aldini, Alessandro. Publication: . VII, 169p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications and Theory of Petri Nets by Lilius, Johan. Publication: . X, 329p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Models of Computation by Kratochvíl, Jan. Publication: . XIV, 480p. 91 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologiey – Ada-Europe 2010 by Real, Jorge. Publication: . XII, 277p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation by Calude, Cristian S. Publication: . XIII, 195p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Hatcliff, John. Publication: . XII, 233p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Bolduc, Claude. Publication: . X, 427p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Ablayev, Farid. Publication: . XI, 397p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIV, 622p. 92 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Computer Games by Herik, H. Jaap. Publication: . XIV, 233p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Semantic Processing of Legal Texts by Francesconi, Enrico. Publication: . XII, 249p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Next >>
Languages: 
English |
العربية