Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 51 - 60 of 385 (page 6 of 39)
Personal Author
More
Topic Subject
More
Series Title
More

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

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures E-book (2012.)
Add to basket

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings E-book (2013.)
Add to basket

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures E-book (2013.)
Add to basket

The Correctness-by-Construction Approach to Programming E-book (2012.)
Add to basket

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings E-book (2006.)
Add to basket

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings E-book (2005.)
Add to basket

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings E-book (2010.)
Add to basket

Search Results Facets

Search Results List

Results 51 - 60 of 385 (page 6 of 39)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources