Oleg Sokolsky | Akateeminen Kirjakauppa

Emerging Directions in Embedded and Ubiquitous Computing - EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, K

Zhou, Xiaobo; Sokolsky, Oleg; Yan, Lu; Jung, Eun-Sun; Shao, Zili; Mu, Yi; Lee, Dong-Chun; Kim, Daeyoung; Jeong, Young-Sik; Xu, C
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

137,30 €

Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Lee, Insup; Pace, Gordon; Rosu, Grigore; Sokolsky, Oleg;
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Runtime Verification - 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Sokolsky, Oleg; Tasiran, Serdar
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Composition of Embedded Systems. Scientific and Industrial Issues - 13th Monterey Workshop 2006 Paris, France, October 16-18, 20

Kordon, Fabrice; Sokolsky, Oleg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Foundations of Computer Software: Future Trends and Techniques for Development - 15th Monterey Workshop 2008, Budapest, Hungary,

Choppy, Christine; Sokolsky, Oleg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China,

Larsen, Kim Guldstrand; Sokolsky, Oleg; Wang, Ji
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Bartocci, Ezio; Cleaveland, Rance; Grosu, Radu; Sokolsky, Oleg
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 202

Hung, Dang Van; Sokolsky, Oleg
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €