Download or read book A Selected Listing of NASA Scientific and Technical Reports written by United States. National Aeronautics and Space Administration. Scientific and Technical Information Division and published by . This book was released on 1969 with total page 470 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book NASA Scientific and Technical Reports written by United States. National Aeronautics and Space Administration Scientific and Technical Information Division and published by . This book was released on 1968 with total page 478 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Guidance Flight Mechanics and Trajectory Optimization written by and published by . This book was released on 1968 with total page 134 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1995 with total page 700 pages. Available in PDF, EPUB and Kindle. Book excerpt: Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.

Download or read book Monthly Catalog of United States Government Publications written by United States. Superintendent of Documents and published by . This book was released on 1968 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: February issue includes Appendix entitled Directory of United States Government periodicals and subscription publications; September issue includes List of depository libraries; June and December issues include semiannual index

Download or read book NASA Contractor Report written by and published by . This book was released on 1969 with total page 948 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Practical Astrodynamics written by Alessandro de Iaco Veris and published by Springer. This book was released on 2017-11-28 with total page 1320 pages. Available in PDF, EPUB and Kindle. Book excerpt: This modern textbook guides the reader through the theory and practice of the motion and attitude control of space vehicles. It first presents the fundamental principles of spaceflight mechanics and then addresses more complex concepts and applications of perturbation theory, orbit determination and refinement, space propulsion, orbital maneuvers, interplanetary trajectories, gyroscope dynamics, attitude control, and rocket performance. Many algorithms used in the modern practice of trajectory computation are also provided. The numerical treatment of the equations of motion, the related methods, and the tables needed to use them receive particular emphasis. A large collection of bibliographical references (including books, articles, and items from the "gray literature") is provided at the end of each chapter, and attention is drawn to many internet resources available to the reader. The book will be of particular value to undergraduate and graduate students in aerospace engineering.

Download or read book Proceedings of the Technology and the Mine Problem Symposium written by Albert M. Bottoms and published by . This book was released on 1996 with total page 756 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Development of a Mars Airplane Entry Descent and Flight Trajectory written by James E. Murray and published by . This book was released on 2001 with total page 22 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book NASA SP written by and published by . This book was released on 1979 with total page 910 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Monthly Catalog of United States Government Publications Cumulative Index written by United States. Superintendent of Documents and published by . This book was released on 1979 with total page 1504 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book NASA Formal Methods written by Julia M. Badger and published by Springer. This book was released on 2019-05-28 with total page 410 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.

Download or read book Technical Report Jet Propulsion Laboratory California Institute of Technology written by Jet Propulsion Laboratory (U.S.) and published by . This book was released on 1969 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Planning Scheduling and Constraint Satisfaction written by Luis Castillo and published by IOS Press. This book was released on 2005 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: Bringing artificial intelligence planning and scheduling applications into the real world is a hard task that is receiving more attention every day by researchers and practitioners from many fields. In many cases, it requires the integration of several underlying techniques like planning, scheduling, constraint satisfaction, mixed-initiative planning and scheduling, temporal reasoning, knowledge representation, formal models and languages, and technological issues. Most papers included in this book are clear examples on how to integrate several of these techniques. Furthermore, the book also covers many interesting approaches in application areas ranging from industrial job shop to electronic tourism, environmental problems, virtual teaching or space missions. This book also provides powerful techniques that allow to build fully deployable applications to solve real problems and an updated review of many of the most interesting areas of application of these technologies, showing how powerful these technologies are to overcome the expresiveness and efficiency problems of real world problems.

Download or read book U S Government Research Development Reports written by and published by . This book was released on 1968 with total page 840 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Guidance Flight Mechanics and Trajectory Optimization Volume 13 Numerical Optimization Methods written by and published by . This book was released on 1968 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Guidance Flight Mechanics and Trajectory Optimization Volume 12 Relative Motion Guidance Equations for Terminal Rendezvous written by and published by . This book was released on 1968 with total page 108 pages. Available in PDF, EPUB and Kindle. Book excerpt: