//]]>
Unhighlight Highlight
Recent Advances in Constraints by Larrosa, Javier. Publication: . VII, 155 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Artificial Intelligence by Janhunen, Tomi. Publication: . XIV, 374p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Mathematics of Language by Ebert, Christian. Publication: . VIII, 297p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language and Meaning by Aloni, Maria. Publication: . X, 476p. 1 illus. in color. 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
Certified Programs and Proofs by Gonthier, Georges. Publication: . XII, 309 p. 44 illus. 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
Rigorous Software Development by Almeida, José Bacelar. Publication: . XIII, 307p. 52 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2
Languages: 
English |
العربية