//]]>
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /   Publication: Berlin : Springer, 2010 . xiv, 416 p. : Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Logic, Rationality, and Interaction by Grossi, Davide. Publication: . XII, 363 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Muntean, Traian. Publication: . X, 275 p. 14 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming by Schulte, Christian. Publication: . XVIII, 898 p. 226 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Galmiche, Didier. Publication: . X, 289 p. 34 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Jurgensen, Helmut. Publication: . X, 289 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Nature of Computation. Logic, Algorithms, Applications by Bonizzoni, Paola. Publication: . XVIII, 446 p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computing and Combinatorics by Du, Ding-Zhu. Publication: . XVIII, 861 p. 220 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Bulatov, Andrei A. Publication: . XII, 445 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Albert, Elvira. Publication: . X, 245 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Its Applications by Lodaya, Kamal. Publication: . X, 259 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications of Graph Transformations with Industrial Relevance by Schürr, Andy. Publication: . XII, 255 p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 427 p. 166 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming by Milano, Michela. Publication: . XXII, 1015 p. 237 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Kahl, Wolfram. Publication: . XII, 361 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information and Computation by Ong, Luke. Publication: . XII, 337 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Yen, Hsu-Chun. Publication: . XIII, 478p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Ågotnes, Thomas. Publication: . XII, 215 p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 Next >>