Tous les ebooks de la collection "NASA Monographs in Systems and Software Engineering" - Springer

5 Livre(s)
Télécharger le livre : ACS Without an Attitude
Ajouter à ma liste d'envies
ACS Without an Attitude
Harold L. Hallock , Christopher Rouff , David G. Simpson , Gary Welter
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
PDF, ePub

147,69 €
Télécharger le livre : Provably Correct Systems
Ajouter à ma liste d'envies
Provably Correct Systems
Jonathan P. Bowen , Mike Hinchey , Ernst-Rüdiger Olderog
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
PDF, ePub

94,94 €
Télécharger le livre : Autonomy Requirements Engineering for Space Missions
Ajouter à ma liste d'envies
Autonomy Requirements Engineering for Space Missions
Mike Hinchey , Emil Vassev
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
ePub

94,94 €
Télécharger le livre : Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Ajouter à ma liste d'envies
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Collectif
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
ePub

220,49 €
Télécharger le livre : Agent Technology from a Formal Perspective
Ajouter à ma liste d'envies
Agent Technology from a Formal Perspective
Christopher Rouff

Editeur : Springer
Parution : 2006-01-27
Collection : NASA Monographs in Systems and Software Engineering
PDF

147,69 €