Search
Lexile Level
AR Level
AR Level
Theoretical Aspects of Computing: ICTAC 2010 9783642148071 by
Cavalcanti, Ana -
Springer,
-2010
Dewey: 003.54
N/A
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Procee 9783540204619 by
Dong, Jin Song -
Springer,
-2003
Dewey: 005.131
N/A
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (2007) 9783540749639 by
George, Chris -
Springer,
-2007
Dewey: 004
N/A
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009, Revised Selec 9783642104510 by
Oliveira, Marcel Vinícius Medeiros -
Springer,
-2009
Dewey: 005.1
N/A
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (2007) 9783540752202 by
Jones, Cliff B -
Springer,
-2007
Dewey: 004.33
N/A
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (2013) 9783642396977 by
Liu, Zhiming -
Springer,
-2013
Dewey: 003.3
N/A
Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (2013) 9783642397172 by
Liu, Zhiming -
Springer,
-2013
Dewey: 003.54
N/A
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, 9783642397202 by
Liu, Zhiming -
Springer,
-2013
Dewey: 004.0151
N/A
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, Psse 2004, Recife, Brazil, November 23-December 9783540462538 by
Cavalcanti, Ana -
Springer,
-2006
Dewey: 005.1
N/A
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele 9783540691471 by
Meyer, Bertrand -
Springer,
-2008
Dewey: 005.1
N/A
Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings (2008) 9783540878728 by
Shankar, Natarajan -
Springer,
-2008
Dewey: 005.1
N/A
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Pro 9783030912642 by
Qin, Shengchao -
Springer,
-2021
N/A