//]]>
Unhighlight Highlight
Implementation and Application of Automata by Domaratzki, Michael. Publication: . XII, 332p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 199p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Its Applications by Banerjee, Mohua. Publication: . X, 219p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering III by Fernandes, João M. Publication: . X, 499 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language, Games, and Evolution by Benz, Anton. Publication: . VII, 189p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computers and Games by Herik, H. Jaap. Publication: . XVIII, 277p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Methodology and Software Technology by Johnson, Michael. Publication: . X, 238p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Central European Functional Programming School by Horváth, Zoltán. Publication: . IX, 391p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Sanskrit Computational Linguistics by Jha, Girish Nath. Publication: . XII, 259p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Clarke, Edmund M. Publication: . X, 517p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Evolution of Conceptual Modeling by Kaschek, Roland. Publication: . XII, 360p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations and Model-Driven Engineering by Engels, Gregor. Publication: . XIV, 768p. 328 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Induction, Termination Analysis by Siegler, Simon. Publication: . XI, 145p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Ueda, Kazunori. Publication: . X, 440p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Dong, Jin Song. Publication: . XIV, 712p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Dix, Jürgen. Publication: . IX, 197p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Qin, Shengchao. Publication: . VIII, 310p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Barringer, Howard. Publication: . XIII, 492p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Petrenko, Alexandre. Publication: . XII, 267p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Morazán, Marco T. Publication: . IX, 237p. 107 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Next >>

Refine your search