Book titles in this series
-
-
Provably Correct Systems
- Editors:
-
- Mike Hinchey
- Jonathan P. Bowen
- Ernst-Rüdiger Olderog
- Copyright: 2017
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Autonomy Requirements Engineering for Space Missions
- Authors:
-
- Emil Vassev
- Mike Hinchey
- Copyright: 2014
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
- Authors:
-
- Walt Truszkowski
- Harold Hallock
- Christopher Rouff
- Jay Karlin
- Copyright: 2010
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Agent Technology from a Formal Perspective
- Editors:
-
- Christopher Rouff
- Copyright: 2006
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Semantic Web: Concepts, Technologies and Applications
- Authors:
-
- Karin Breitman
- Marco Antonio Casanova
- Walt Truszkowski
- Copyright: 2007
Available Renditions
- Hard cover
- Soft cover
- eBook
Publish with us
Download book proposal form