Virus Checker
Download Virus Checker PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Virus Checker book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
NASA Formal Methods
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
Fiber Optics Illustrated Dictionary
Within a few short years, fiber optics has skyrocketed from an interesting laboratory experiment to a billion-dollar industry. But with such meteoric growth and recent, exciting advances, even references published less than five years ago are already out of date. The Fiber Optics Illustrated Dictionary fills a gap in the literature by providing instructors, hobbyists, and top-level engineers with an accessible, current reference. From the author of the best-selling Telecommunications Illustrated Dictionary, this comprehensive reference includes fundamental physics, basic technical information for fiber splicing, installation, maintenance, and repair, and follow-up information for communications and other professionals using fiber optic components. Well-balanced, well-researched, and extensively cross-referenced, it also includes hundreds of photographs, charts, and diagrams that clarify the more complex ideas and put simpler ideas into their applications context. Fiber optics is a vibrant field, not just in terms of its growth and increasing sophistication, but also in terms of the people, places, and details that make up this challenging and rewarding industry. In addition to furnishing an authoritative, up-to-date resource for relevant industry definitions, this dictionary introduces many exciting recent applications as well as hinting at emerging future technologies.
The Telecommunications Illustrated Dictionary
From fundamental physics concepts to the World Wide Web, the Telecommunications Illustrated Dictionary, Second Edition describes protocols, computer and telephone devices, basic security concepts, and Internet-related legislation, along with capsule biographies of the pioneering inventors who developed the technologies that changed our world. The new edition offers even more than the acclaimed and bestselling first edition, including: Thousands of new definitions and existing definitions updated and expanded Expanded coverage, from telegraph and radio technologies to modern wireline and mobile telephones, optical technologies, PDAs, and GPS-equipped devices More than 100 new charts and illustrations Expanded appendices with categorized RFC listings Categorized charts of ITU-T Series Recommendations that facilitate online lookups Hundreds of Web URLs and descriptions for major national and international standards and trade organizations Clear, comprehensive, and current, the Telecommunications Illustrated Dictionary, Second Edition is your key to understanding a rapidly evolving field that, perhaps more than any other, shapes the way we live.