Formal Methods For Interactive Systems (Computers and People Series), Author Unk

Neural and Concurrent Real Time Systems: The Sixth Generation, Branko Soucek

Evaluating Software Architectures: Methods and Case Studies, Paul Clements, Ric

Software Design: Concepts and Methods, Wayne P. Stevens

Pelvic and Hernial Therapeutics: Principles and Methods for Remedying Chronic Af

Reliable Face Recognition Methods: System Design, Implementation and Evaluation,

Mathematical Methods of Specification and Synthesis of Software Systems '85