Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 121 - 130 of 1174 (page 13 of 118)
Personal Author
More
Topic Subject
More
Series Title
More

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures E-book (2010.)
Add to basket

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings E-book (2013.)
Add to basket

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings E-book (2012.)
Add to basket

Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings E-book (2011.)
Add to basket

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings E-book (2010.)
Add to basket

Advanced in Computer Science and its Applications CSA 2013 E-book (2014.)
Add to basket

Algorithms and Programming Problems and Solutions E-book (2010.)
Add to basket

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II E-book (2011.)
Add to basket

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday E-book (2010.)
Add to basket

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures E-book (2008.)
Add to basket

Search Results Facets

Search Results List

Results 121 - 130 of 1174 (page 13 of 118)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources