//]]>
Verification, Model Checking, and Abstract Interpretation by Jhala, Ranjit. Publication: . XI, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Domaratzki, Michael. Publication: . XII, 332p. 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
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
Sanskrit Computational Linguistics by Jha, Girish Nath. Publication: . XII, 259p. 93 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
Runtime Verification by Barringer, Howard. Publication: . XIII, 492p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Méry, Dominique. Publication: . X, 337p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Hutter, Marcus. Publication: . XIII, 421p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Science IX by Gavrilova, Marina L. Publication: . XIII, 203p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Grammatical Inference: Theoretical Results and Applications by Sempere, José M. Publication: . XI, 317p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming – CP 2010 by Cohen, David. Publication: . XX, 650p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Kučera, Antonín. Publication: . X, 199p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Chatterjee, Krishnendu. Publication: . X, 257p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2010 by Hliněný, Petr. Publication: . XVII, 714p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fields of Logic and Computation by Blass, Andreas. Publication: . XIII, 627p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithm Engineering by Müller-Hannemann, Matthias. Publication: . XVI, 513 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية