5 résultat(s)
Télécharger le livre : ACS Without an Attitude
Harold L. Hallock , Christopher Rouff , David G. Simpson , Gary Welter
ACS Without an Attitude
This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. The information presented in this book was originally given as a...
Editeur : Springer
Parution : 2017-05-03
Collection : NASA Monographs in Systems and Software Engineering
Format(s) : PDF, ePub
147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Provably Correct Systems
Jonathan P. Bowen , Mike Hinchey , Ernst-Rüdiger Olderog
Provably Correct Systems
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical...
Editeur : Springer
Parution : 2017-03-01
Collection : NASA Monographs in Systems and Software Engineering
Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Autonomy Requirements Engineering for Space Missions
Mike Hinchey , Emil Vassev
Autonomy Requirements Engineering for Space Missions
Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible....
Editeur : Springer
Parution : 2014-08-27
Collection : NASA Monographs in Systems and Software Engineering
Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Collectif
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. This research started by experimenting with and developing expert systems to automate ground...
Editeur : Springer
Parution : 2009-11-12
Collection : NASA Monographs in Systems and Software Engineering
Format(s) : ePub
220,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Agent Technology from a Formal Perspective
Christopher Rouff
Agent Technology from a Formal Perspective
Editeur : Springer
Parution : 2006-01-27
Collection : NASA Monographs in Systems and Software Engineering
Format(s) : PDF
147,69 €
Téléchargement immédiat
Dès validation de votre commande