//]]>
Formal Methods for Components and Objects by Giachino, Elena. Publication: . X, 241 p. 125 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
Software Engineering and Formal Methods by Hierons, Robert M. Publication: . XVIII, 321 p. 113 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
Transactions on Petri Nets and Other Models of Concurrency VIII by Koutny, Maciej. Publication: . XVIII, 203 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Braberman, Víctor. Publication: . X, 275 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XIX, 283 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Quantitative Evaluation of Systems by Joshi, Kaustubh. Publication: . XII, 406 p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2013 – Concurrency Theory by D’Argenio, Pedro R. Publication: . XIV, 562 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Sharygina, Natasha. Publication: . XXII, 1015 p. 237 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2013 by Liu, Zhiming. Publication: . XII, 445 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Reasoning and Rule Systems by Faber, Wolfgang. Publication: . XIV, 272 p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Blazy, Sandrine. Publication: . XII, 498 p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory, Practice, and Applications of Rules on the Web by Morgenstern, Leora. Publication: . XVIII, 249 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Binder, Walter. Publication: . X, 145 p. 38 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Biere, Armin. Publication: . XII, 281 p. 75 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
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
Model Checking Software by Bartocci, Ezio. Publication: . X, 377 p. 143 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
1 2 3 4 5 6 7 8 9 10 Next >>