//]]>
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
Formal Modeling: Actors, Open Systems, Biological Systems by Agha, Gul. Publication: . XX, 447 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Foundations in Computer Science by Kuich, Werner. Publication: . X, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Wolff, Burkhart. Publication: . X, 226p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Qin, Shengchao. Publication: . XIV, 670p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Scholz, Sven-Bodo. Publication: . X, 291p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Salaün, Gwen. Publication: . X, 261 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rough Sets and Knowledge Technology by Yao, JingTao. Publication: . XVIII, 771 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Kivinen, Jyrki. Publication: . XIII, 453 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Tinelli, Cesare. Publication: . VIII, 275 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Fahrenberg, Uli. Publication: . XI, 353 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Delzanno, Giorgio. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modeling and Using Context by Beigl, Michael. Publication: . XIII, 336 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Hage, Jurriaan. Publication: . X, 217 p. 29 illus., 4 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Datalog Reloaded by Moor, Oege. Publication: . VIII, 399p. 52 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Ditmarsch, Hans. Publication: . XI, 403 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart