Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 91 - 100 of 520 (page 10 of 52)
Personal Author
More
Topic Subject
More
Series Title
More

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

Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences E-book (2009.)
Add to basket

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings E-book (2008.)
Add to basket

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings E-book (2007.)
Add to basket

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings E-book (2006.)
Add to basket

Formal Concept Analysis Foundations and Applications E-book (2005.)
Add to basket

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings E-book (2012.)
Add to basket

Search Results Facets

Search Results List

Results 91 - 100 of 520 (page 10 of 52)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources