//]]>
Structured Object-Oriented Formal Language and Method by Liu, Shaoying. Publication: . X, 149 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Gaag, Linda C. Publication: . XII, 536 p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2013 by Järvisalo, Matti. Publication: . XVI, 437 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ECOOP 2013 – Object-Oriented Programming by Castagna, Giuseppe. Publication: . XXII, 746 p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Veanes, Margus. Publication: . X, 233 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Logozzo, Francesco. Publication: . X, 499 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Riguzzi, Fabrizio. Publication: . X, 273 p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Johnsen, Einar Broch. Publication: . XIV, 443 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Beyer, Dirk. Publication: . XIV, 321 p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-24 by Bonacina, Maria Paola. Publication: . XVI, 466 p. 95 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
Theory and Applications of Models of Computation by Chan, T-H. Hubert. Publication: . XV, 356 p. 37 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
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky by Coecke, Bob. Publication: . XX, 363 p. 26 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Logics by Voronkov, Andrei. Publication: . X, 447 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Martí-Oliet, Narciso. Publication: . X, 283 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computation Structures by Pfenning, Frank. Publication: . XXIV, 451 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIV, 580 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning and Mathematics by Bonacina, Maria Paola. Publication: . XX, 259 p. 27 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>