Home Advanced Search

Advanced Search - Page 1

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.)
Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Larry Kerschberg, Wooju Kim, Anthony Scime (auth.), Walt Truszkowski, Mike Hinchey, Chris Rouff (eds.)
Conquering Complexity
  • PDF
  • English
  • Year: 2012
  • Author: Mike Hinchey, Lorcan Coyle
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
  • PDF
  • English
  • Year: 2011
  • Author: Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)