Search
Lexile Level
AR Level
AR Level
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (2010) 9783642166112 by
Barringer, Howard -
Springer,
-2010
Dewey: 005.1
N/A
Foundations of Computer Software: Future Trenda and Techniques for Development 9783642125652 by
Choppy, Christine -
Springer,
-2010
Dewey: 005.1
N/A
Emerging Directions in Embedded and Ubiquitous Computing: Euc 2006 Workshops: Ncus, Secubiq, Usn, Trust, Eso, and Msa, Seoul, Korea, August 1-4, 2006, 9783540368502 by
Zhou, Xiaobo -
Springer,
-2006
Dewey: 004
N/A
Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Pap 9783540774181 by
Kordon, Fabrice -
Springer,
-2008
Dewey: 005.12
N/A
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (2019) 9783030315139 by
Bartocci, Ezio -
Springer,
-2019
Dewey: 005.1015113
N/A
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P 9783319694825 by
Larsen, Kim Guldstrand -
Springer,
-2017
Dewey: 003.3
N/A
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (2020) 9783030591519 by
Hung, Dang Van -
Springer,
-2020
N/A