Home Advanced Search
Advanced Search - Page 1
Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
- English
- Year: 2010
- Author: Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
- English
- Year: 2020
- Author: Dang Van Hung, Oleg Sokolsky
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
- English
- Year: 2017
- Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)
The Cannabinoid Receptors
- English
- Year: 2009
- Author: Raj K. Razdan (auth.), Patricia H. Reggio (eds.)
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
- English
- Year: 2019
- Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Self-Referentiality of Cognition and (De)Formation of Ethnic Boundaries : A Comparative Study on Korean Diaspora in Russia, China, the United States and Japan
- English
- Year: 2017
- Author: Oleg Pakhomov (auth.)
