Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 21 - 30 of 101 (page 3 of 11)
Personal Author
More
Topic Subject
More
Series Title
More

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers E-book (2013.)
Add to basket

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers E-book (2012.)
Add to basket

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings E-book (2012.)
Add to basket

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday E-book (2005.)
Add to basket

Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings E-book (2013.)
Add to basket

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings E-book (2009.)
Add to basket

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II E-book (2010.)
Add to basket

Combinatorial Search: From Algorithms to Systems E-book (2013.)
Add to basket

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I E-book (2009.)
Add to basket

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II E-book (2009.)
Add to basket

Search Results Facets

Search Results List

Results 21 - 30 of 101 (page 3 of 11)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources