Home Advanced Search
Advanced Search - Page 1
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.)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
- English
- Year: 2019
- Author: Kim Guldstrand Larsen, Tim Willemse
Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
- English
- Year: 2021
- Author: Jan Friso Groote, Kim Guldstrand Larsen
Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
- English
- Year: 2021
- Author: Jan Friso Groote, Kim Guldstrand Larsen
Eight Minutes to Better Golf: How to Improve Your Game by Finding Your Natural Swing
- EPUB
- English
- Year: 2016
- Author: Ji Kim
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
Umweltprüfungen als Vorsorgeinstrument: Deutsch-koreanischer Rechtsvergleich
- German
- Year: 2017
- Author: Kim, Ji Hee
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.)
