Home Advanced Search
Advanced Search - Page 1
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
- English
- Year: 2011
- Author: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
- English
- Year: 2015
- Author: Radu Calinescu, Bernhard Rumpe (eds.)
Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
- English
- Year: 2019
- Author: Radu Calinescu, Felicita Di Giandomenico
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
- English
- Year: 2021
- Author: Radu Calinescu (editor), Corina S. Păsăreanu (editor)
Preambul pentru camera de tortura
- Romanian
- Year: 1994
- Author: Nicolae Calinescu
Cartea nuntii
- Romanian
- Author: George Calinescu
Hudson River Valley National Heritage Area: Heritage Site Guidebook
- English
- Year: 2011
- Author: Maurice D. Hinchey; Maurice D. Hinchey; Maurice D. Hinchey
Provably Correct Systems
- English
- Year: 2017
- Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)