//]]>
Unhighlight Highlight
Argumentation in Multi-Agent Systems by McBurney, Peter. Publication: . X, 321p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Schreye, Danny. Publication: . X, 205p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Natural Language Processing and Information Systems by Horacek, Helmut. Publication: . XVIII, 318p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Processing of the Portuguese Language by Pardo, Thiago Alexandre Salgueiro. Publication: . XII, 167p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Blume, Matthias. Publication: . XI, 355p. 46 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
Foundations of Software Science and Computational Structures by Ong, Luke. Publication: . XV, 389p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Escobar, Santiago. Publication: . IX, 179p. 35 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
Approaches and Applications of Inductive Programming by Schmid, Ute. Publication: . IX, 195p. 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
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
Practical Aspects of Declarative Languages by Carro, Manuel. Publication: . XI, 297p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XI by Peters, James F. Publication: . IX, 189 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Păun, Gheorghe. Publication: 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
Programming Languages and Systems by Shan, Chung-chieh. Publication: . X, 381 p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Next >>

Refine your search