Michael Hinchey's Documents

Michael Hinchey's Documents

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Read more
Experience from the DARPA Urban Challenge

Experience from the DARPA Urban Challenge
Read more
Conquering Complexity

Conquering Complexity
Read more
Conquering Complexity

Conquering Complexity
Read more
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Read more
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Read more
Lecture Notes in Artificial Intelligence

Lecture Notes in Artificial Intelligence
Read more
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Read more
Essential Music Theory for Singers

Essential Music Theory for Singers
Read more
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
Read more
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Read more
Lecture Notes in Artificial Intelligence)

Lecture Notes in Artificial Intelligence)
Read more
Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA,

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA,
Read more
Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective
Read more
Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004
Read more
Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004
Read more
Shadow Hunter (Star Wars: Darth Maul)

Shadow Hunter (Star Wars: Darth Maul)
Read more
Composition for Computer Musicians (Artistpro)

Composition for Computer Musicians (Artistpro)
Read more
Creativity in Exile

Creativity in Exile
Read more
Propellerhead Record Ignite!

Propellerhead Record Ignite!
Read more
Composition for Computer Musicians (Artistpro)

Composition for Computer Musicians (Artistpro)
Read more
Microsoft Access VBA programming for the absolute beginner

Microsoft Access VBA programming for the absolute beginner
Read more
Propellerhead Record Ignite!

Propellerhead Record Ignite!
Read more
Das Mordreptil

Das Mordreptil
Read more
Conveyancing Law & Practice

Conveyancing Law & Practice
Read more
Band 2

Band 2
Read more
Repetitorium Intensivmedizin, 4. Auflage: Vorbereitung auf die Prüfung "Intensivmedizin"

Repetitorium Intensivmedizin, 4. Auflage: Vorbereitung auf die Prüfung "Intensivmedizin"
Read more
The Evolution Wars: A Guide to the Debates

The Evolution Wars: A Guide to the Debates
Read more
Concierge Confidential

Concierge Confidential
Read more
Composition for Computer Musicians

Composition for Computer Musicians
Read more