کتاب های Michael Hinchey
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۹ کتاب.
PDF
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, 2009DJVU
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.), 1995DJVU
ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.), 1997PDF
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.), 1998PDF
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
Karin Breitman, Walt Truszkowski (auth.), Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski (eds.), 2006PDF
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt (auth.), 2010PDF
Agent Technology from a Formal Perspective
Michael Hinchey, James Rash, Walt Truszkowski, Diana F. Gordon-Spears, Christopher Rouff, 2005PDF
