Home Advanced Search

Advanced Search - Page 1

Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Cindy Eisner (auth.), Oleg Sokolsky, Serdar Taşıran (eds.)
Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Dang Van Hung, Oleg Sokolsky
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2019
  • Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Protein Structure and Engineering
  • PDF
  • English
  • Year: 1989
  • Author: Oleg Jardetzky (auth.), Oleg Jardetzky, Robin Holbrook (eds.)
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Venkatesan Guruswami (auth.), Serdar Boztaş, Hsiao-Feng (Francis) Lu (eds.)
Tree Species Effects on Soils: Implications for Global Change: Proceedings of the NATO Advanced Research Workshop on Trees and Soil Interactions, Implications to Global Climate Change August 2004 Krasnoyarsk, Russia
  • PDF
  • English
  • Year: 2005
  • Author: Dan Binkley, Oleg Menyailo (auth.), Dan Binkley, Oleg Menyailo (eds.)
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.)
Selected Areas in Cryptography: 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Eyüp Serdar Ayaz, Ali Aydın Selçuk (auth.), Eli Biham, Amr M. Youssef (eds.)
search