Search
Lexile Level
AR Level
AR Level
Concur 2008 - Concurrency Theory: 19th International Conference, Concur 2008, Toronto, Canada, August 19-22, 2008, Proceedings (2008) 9783540853602 by
Van Breugel, Franck -
Springer,
-2008
Dewey: 004.36
N/A
Fundamental Approaches to Software Engineering: 12th International Conference, Fase 2009, Held as Part of the Joint European Conferences on Theory and 9783642005923 by
Chechik, Marsha -
Springer,
-2009
Dewey: 005.1
N/A
Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected 9783319488684 by
Blazy, Sandrine -
Springer,
-2016
Dewey: 005.1
N/A
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, Tacas 2016, Held as Part of the European Joint Confe 9783662496732 by
Chechik, Marsha -
Springer,
-2016
Dewey: 005.1015113
N/A
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (2023) 9783031274800 by
Chechik, Marsha -
Springer,
-2023
N/A