//]]>
Unhighlight Highlight
Applications and Theory of Petri Nets by Kristensen, Lars M. Publication: . XII, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Gogolla, Martin. Publication: . X, 205p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Cabot, Jordi. Publication: . XII, 229p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Ong, Luke. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing - SAT 2011 by Sakallah, Karem A. Publication: . XIII, 371p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XIV by Peters, James F. Publication: . VII, 235p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Winkler, Franz. Publication: . X, 261p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Grammar by Pogodalla, Sylvain. Publication: . XV, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multidisciplinary Aspects of Time and Time Perception by Vatakis, Argiro. Publication: . XII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Bruni, Roberto. Publication: . XIV, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Eternal Networked Software Systems by Bernardo, Marco. Publication: . VIII, 527p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2011: Formal Methods by Butler, Michael. Publication: . XIV, 450p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation by Calude, Cristian S. Publication: . X, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies - Ada-Europe 2011 by Romanovsky, Alexander. Publication: . XIII, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Frasconi, Paolo. Publication: . XI, 278p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIII, 512p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Swart, Harrie. Publication: . VIII, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Sturm, Thomas. Publication: . IX, 225p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information and Computation by Beklemishev, Lev D. Publication: . X, 311 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Next >>

Refine your search