Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 31 - 40 of 351 (page 4 of 36)
Personal Author
More
Topic Subject
More
Series Title
More

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings E-book (2007.)
Add to basket

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings E-book (2006.)
Add to basket

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings E-book (2005.)
Add to basket

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

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings E-book (2013.)
Add to basket

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings E-book (2011.)
Add to basket

Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings E-book (2009.)
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

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers E-book (2013.)
Add to basket

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components E-book (2005.)
Add to basket

Search Results Facets

Search Results List

Results 31 - 40 of 351 (page 4 of 36)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources