Home Advanced Search
Advanced Search - Page 1
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)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
- English
- Year: 2015
- Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
- English
- Year: 2015
- Author: Daniel Kroening, Corina S. Păsăreanu (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: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
- English
- Year: 2015
- Author: Radu Calinescu, Bernhard Rumpe (eds.)
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
- EPUB
- English
- Year: 2021
- Author: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Real-Estate Derivatives : From Econometrics to Financial Engineering
- English
- Year: 2017
- Author: Radu S. Tunaru
Preambul pentru camera de tortura
- Romanian
- Year: 1994
- Author: Nicolae Calinescu