Home Advanced Search
Advanced Search - Page 1
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
- English
- Year: 2019
- Author: Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
- English
- Year: 2017
- Author: Cyrille Artho, Peter Csaba Ölveczky (eds.)
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
- English
- Year: 2017
- Author: Peter Csaba Ölveczky (auth.)
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
- English
- Year: 2019
- Author: Peter Csaba Ölveczky, Gwen Salaün
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
- English
- Year: 2018
- Author: Kyungmin Bae, Peter Csaba Ölveczky
L’ibadisme dans les sociétés de l’Islam médiéval: Modèles et interactions
- EPUB
- French
- Year: 2018
- Author: Aillet, Cyrille
L’ibadisme dans les sociétés de l’Islam médiéval: Modèles et interactions
- French
- Year: 2018
- Author: Aillet, Cyrille
Learning IPython for Interactive Computing and Data Visualization
- English
- Year: 2015
- Author: Cyrille Rossant
Living Documentation: Continuous Knowledge Sharing by Design
- English
- Year: 2019
- Author: Cyrille Martraire
Learning IPython for Interactive Computing and Data Visualization
- AZW3
- English
- Year: 2015
- Author: Rossant, Cyrille