Home Advanced Search

Advanced Search - Page 1

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
  • PDF
  • 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
  • PDF
  • English
  • Year: 2015
  • Author: Radu Calinescu, Bernhard Rumpe (eds.)
Architecting Dependable Systems V
  • PDF
  • English
  • Year: 2008
  • Author: Paulo Veríssimo, Nuno F. Neves, Miguel Correia, Yves Deswarte, A. Abou El Kalam (auth.), Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (eds.)
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Radu Calinescu (editor), Corina S. Păsăreanu (editor)
Reinforced Concrete Design to Eurocode 2
  • PDF
  • English
  • Year: 2017
  • Author: Giandomenico Toniolo, Marco di Prisco
Centenario 1906-2006 della Società filosofica italiana. La filosofia italiana oggi
  • PDF
  • Italian
  • Year: 2011
  • Author: Mauro Di Giandomenico, Carla Guetti (a cura di)
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
  • PDF
  • English
  • Year: 2011
  • Author: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
Reinforced Concrete Design to Eurocode 2
  • PDF
  • English
  • Year: 2017
  • Author: Giandomenico Toniolo, Marco di Prisco (auth.)
Centenario 1906-2006 della Società filosofica italiana: la filosofia italiana oggi
  • PDF
  • Italian
  • Year: 2011
  • Author: Mauro Di Giandomenico, Carla Guetti (edd.)
search