Michael G Hincheyのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Michael G Hinchey · Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings - Programming and Software Engineering (Paperback Book) [2007 edition] (2007)

Formal Methods and Software Engi... (2007)

Michael G Hinchey

Cover for Michael G Hinchey · Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers - Lecture Notes in Artificial Intelligence (Paperback Book) [2006 edition] (2006)

Innovative Concepts for Autonomi... (2006)

Michael G Hinchey

Cover for Michael G Hinchey · Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers - Lecture Notes in Artificial Intelligence (Paperback Book) [2005 edition] (2005)

Formal Approaches to Agent-Based... (2005)

Michael G Hinchey

Cover for Michael G Hinchey · Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)

Formal Approaches to Agent-Based... (2003)

Michael G Hinchey

Cover for Michael G Hinchey · Industrial-Strength Formal Methods in Practice - Formal Approaches to Computing and Information Technology (FACIT) (Paperback Book) [1999 edition] (1999)

Industrial-Strength Formal Metho... (1999)

Michael G Hinchey