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
  • PDF
  • English
  • Year: 2011
  • Author: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
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.)
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.)
Experience from the DARPA Urban Challenge
  • PDF
  • English
  • Year: 2012
  • Author: Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)
Experience from the DARPA Urban Challenge
  • PDF
  • English
  • Year: 2012
  • Author: Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)
Autonomic Computing and Networking
  • PDF
  • English
  • Year: 2009
  • Author: Radu Calinescu (auth.), Yan Zhang, Laurence Tianruo Yang, Mieso K. Denko (eds.)
Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (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.)
Conquering Complexity
  • PDF
  • English
  • Year: 2012
  • Author: José Luiz Fiadeiro (auth.), Mike Hinchey, Lorcan Coyle (eds.)
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)
search