//]]>
Deontic Logic in Computer Science by Governatori, Guido. Publication: . VIII, 323p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages and Programming by Abramsky, Samson. Publication: . XXIII, 754p. 42 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
Logic, Language, Information and Computation by Dawar, Anuj. Publication: . X, 259p. 28 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 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
Computer Science – Theory and Applications by Ablayev, Farid. Publication: . XI, 397p. 49 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
Formal Concept Analysis by Kwuida, Léonard. Publication: . XII, 340p. 91 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Link, Sebastian. Publication: . XII, 363 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Abstract State Machines, Alloy, B and Z by Frappier, Marc. Publication: . XIV, 416p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Concise Computer Mathematics by Bagdasar, Ovidiu. Publication: . XII, 109 p. 17 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Computing Systems by Moller, Faron. Publication: . XVI, 500 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Sets, Logic and Maths for Computing by Makinson, David. Publication: . XXI, 283p. 17 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية