//]]>
Unhighlight Highlight
Finite-State Methods and Natural Language Processing by Yli-Jyrä, Anssi. Publication: . X, 147p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Gao, Yuan. Publication: . XII, 446p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2010 by Strichman, Ofer. Publication: . XIII, 400p. 74 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
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
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
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
Unconventional Computation by Calude, Cristian S. Publication: . XIII, 195p. 68 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
Computational Linguistics and Intelligent Text Processing by Gelbukh, Alexander. Publication: . XVIII, 760p. 173 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Gupta, Rajiv. Publication: . XII, 326p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata for Branching and Layered Temporal Structures by Puppis, Gabriele. Publication: . 206p. 41 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
Concurrency, Compositionality, and Correctness by Dams, Dennis. Publication: . 377p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 Next >>
Languages: 
English |
العربية