michael g hinchey

Grid   List

  1. 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
    Walt Truszkowski
    Springer London
    Ebook
    Sofort lieferbar
    Technologies enabling autonomous and autonomic behaviors of spacecraft have steadily progressed, but, as argued in this book, need to be extended much farther to enable success of the most advanced...
    223,63 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Innovative Concepts for Autonomic and Agent-Based Systems
    Innovative Concepts for Autonomic and Agent-Based Systems
    Michael G. Hinchey
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Radical Agent Concepts, WRAC 2005, held in Greenbelt, MD, USA in September 2005. The 27 full p...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    Michael G. Hinchey
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Michael Butler
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Industrial-Strength Formal Methods in Practice
    Industrial-Strength Formal Methods in Practice
    Michael G. Hinchey
    Springer London
    Ebook
    Sofort lieferbar
    Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written ...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    James L. Rash
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. ZUM ’98: The Z Formal Specification Notation
    ZUM ’98: The Z Formal Specification Notation
    Jonathan P. Bowen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the onl...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. High-Integrity System Specification and Design
    High-Integrity System Specification and Design
    Jonathan P. Bowen
    Springer London
    Ebook
    Sofort lieferbar
    Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4° 18'3...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    Michael G. Hinchey
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Approaches to Agent-Based Systems
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Artificial Intelligence and Its Applications
    Artificial Intelligence and Its Applications
    Anish Gupta
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence and its Application, ICAIA 2023, held in Pune, India, during December 18-19, 2023.
    80,24 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Artificial Intelligence and Its Applications
    Artificial Intelligence and Its Applications
    Anish Gupta
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence and its Applications, ICAIA 2023, held in Pune, India, during December 18-19, 2023.
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. 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
    Walt Truszkowski
    Springer London
    Buch
    Bezug 11-15
    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 starte...
    266,52 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>