//]]>
Compiler Construction by O’Boyle, Michael. Publication: . XVI, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Lukasiewicz, Thomas. Publication: . XII, 405 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Mossakowski, Till. Publication: . X, 303 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XII, 556p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Modelling and Its Theoretical Foundations by Düsterhöft, Antje. Publication: . VIII, 329 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic and Numeric Biology by Horimoto, Katsuhisa. Publication: . IX, 185 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Gheorghe, Marian. Publication: . 380p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Kuncak, Viktor. Publication: . X, 457p. 111 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data Engineering and Management by Kannan, Rajkumar. Publication: . Approx. 355 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Joshi, Rajeev. Publication: . XI, 326p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Russo, Claudio. Publication: . Approx. 315 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computation, Physics and Beyond by Dinneen, Michael J. Publication: . XIII, 427p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Barbosa, Luís Soares. Publication: . X, 305 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Jouannaud, Jean-Pierre. Publication: . XV, 401p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Yang, Hongseok. Publication: . XI, 372p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Empirical Software Engineering and Verification by Meyer, Bertrand. Publication: . VII, 213 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Schreck, Pascal. Publication: . X, 259 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods, Foundations and Applications by Simao, Adenilso. Publication: . X, 205 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Iliopoulos, Costas S. Publication: . XI, 387 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Quantum Interaction by Song, Dawei. Publication: . IX, 229 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart