che-chandler.de

Stillwater - Gegen jeden Verdacht

Als seine Tochter während ihres Auslandsstudiums in Südfrankreich wegen Mordverdachts verhaftet w...

Biologically-Inspired Collaborative Computing

"e;Look deep into nature and you will understand everything better."e; advised Albert Ein...

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 autonomou...

Agent Technology from a Formal Perspective

Conquering Complexity

This book uncovers techniques to overcome software complexity and enable the production of reliab...

Graduate Grind

Examining common assumptions and routines through the lens of critical theory, the authors questi...

Graduate Grind

Examining common assumptions and routines through the lens of critical theory, the authors questi...

Autonomy Requirements Engineering for Space Missions

Advanced space exploration is performed by unmanned missions with integrated autonomy in both fli...

Hudson River Valley Farms

Meet your local farmer! Published for the 400th anniversary of Henry Hudson's September...

Industrial-Strength Formal Methods in Practice

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyo...

High-Integrity System Specification and Design

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 32...

Understanding Formal Methods

This is an excellent introduction to formal methods which will bring anyone who needs to know abo...