Introduction to Hardware Security and Trust, Mohammad Tehranipoor; Cliff Wang
Автор: Winfield Alan Название: Robotics: A Very Short Introduction ISBN: 0199695989 ISBN-13(EAN): 9780199695980 Издательство: Oxford Academ Рейтинг: Цена: 1582.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Robotics is a key technology in the modern world. Yet, despite these successes, robots have failed to live up to the predictions of the 1950s and 60s. In this Very Short Introduction, Alan Winfield considers how robotics can be both a success story and a disappointment, and how robots can be both ordinary and quite remarkable.
Автор: SIKHAR PATRANABIS; Debdeep Mukhopadhyay Название: Fault Tolerant Architectures for Cryptography and Hardware Security ISBN: 9811013861 ISBN-13(EAN): 9789811013867 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It offers insights into how the fault tolerance theories developed in the book can actually be implemented, with a particular focus on a wide spectrum of fault models and practical fault injection techniques, ranging from simple, low-cost techniques to high-end equipment-based methods.
Автор: Siegwart Roland Название: Introduction to autonomous mobile robots ISBN: 0262015358 ISBN-13(EAN): 9780262015356 Издательство: MIT Press Рейтинг: Цена: 12697.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The second edition of a comprehensive introduction to all aspects of mobile robotics, from algorithms to mechanisms.
Mobile robots range from the Mars Pathfinder mission's teleoperated Sojourner to the cleaning robots in the Paris Metro. This text offers students and other interested readers an introduction to the fundamentals of mobile robotics, spanning the mechanical, motor, sensory, perceptual, and cognitive layers the field comprises. The text focuses on mobility itself, offering an overview of the mechanisms that allow a mobile robot to move through a real world environment to perform its tasks, including locomotion, sensing, localization, and motion planning. It synthesizes material from such fields as kinematics, control theory, signal analysis, computer vision, information theory, artificial intelligence, and probability theory. The book presents the techniques and technology that enable mobility in a series of interacting modules. Each chapter treats a different aspect of mobility, as the book moves from low-level to high-level details. It covers all aspects of mobile robotics, including software and hardware design considerations, related technologies, and algorithmic techniques.
This second edition has been revised and updated throughout, with 130 pages of new material on such topics as locomotion, perception, localization, and planning and navigation. Problem sets have been added at the end of each chapter. Bringing together all aspects of mobile robotics into one volume, Introduction to Autonomous Mobile Robots can serve as a textbook or a working tool for beginning practitioners.
Curriculum developed by Dr. Robert King, Colorado School of Mines, and Dr. James Conrad, University of North Carolina-Charlotte, to accompany the National Instruments LabVIEW Robotics Starter Kit, are available. Included are 13 (6 by Dr. King and 7 by Dr. Conrad) laboratory exercises for using the LabVIEW Robotics Starter Kit to teach mobile robotics concepts.
Описание: This class-tested textbook will provide in-depth coverage of the fundamentals of machine learning, with an exploration of applications in information security. The book will cover malware detection, cryptography, and intrusion detection. The book will be relevant for students in machine learning and computer security courses.
Автор: Patrick R. Schaumont Название: A Practical Introduction to Hardware/Software Codesign ISBN: 1489990607 ISBN-13(EAN): 9781489990600 Издательство: Springer Рейтинг: Цена: 11099.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Now in its second edition, this introduction to embedded systems design emphasizes the integration of custom hardware components with software. Includes new examples using modern FPGA environments from Xilinx and Altera, and many new exercises.
Автор: Thomas Kropf Название: Introduction to Formal Hardware Verification ISBN: 364208477X ISBN-13(EAN): 9783642084775 Издательство: Springer Рейтинг: Цена: 10475.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. Each chapter contains an introduction and a summary as well as a section for the advanced reader, aiding an understanding of the advantages and limitations of each technique. Backed by many examples and illustrations, this text will appeal to a broad audience, from beginners in system design to experts. XXXXXXX Neuer Text This is a complete overview of existing techniques for hardware verification. It covers all approaches used in existing verification tools, such as symbolic methods for equivalence checking, temporal logic model checking, and higher-order logic theorem proving for verifying circuit correctness. The book helps readers to understand the advantages and limitations of each technique. Each chapter contains a summary as well as a section for the advanced reader.
Описание: This book is the first to provide a unified treatment, made possible by discoveries largely due to the author, of the two aspects of statistical optics: coherence theory, and the phenomenon of polarization. It will be of great interest to graduate students and researchers in physics and engineering.
Автор: Foucart Simon Название: Mathematical Introduction to Compressive Sensing ISBN: 0817649476 ISBN-13(EAN): 9780817649470 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: At the intersection of mathematics, engineering, and computer science sits the thriving field of compressive sensing. A Mathematical Introduction to Compressive Sensing uses a mathematical perspective to present the core of the theory underlying compressive sensing.
Автор: H.B. Mitchell Название: Multi-Sensor Data Fusion: An Introduction ISBN: 3642090672 ISBN-13(EAN): 9783642090677 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Поставка под заказ.
Описание: This textbook provides a comprehensive introduction to the theories and techniques of multi-sensor data fusion. No previous knowledge of multi-sensor data fusion is assumed, although some familiarity with the basic tools of linear algebra, calculus and simple probability theory is recommended.
Описание: This book surveys the technology and applications of TFTs, covering hydrogenated amorphous silicon, poly-crystalline silicon, transparent amorphous oxide semiconductors, organic semiconductors and others that form the core of the flat panel display industry.
Автор: Nicolas Sklavos; Ricardo Chaves; Giorgio Di Natale Название: Hardware Security and Trust ISBN: 331944316X ISBN-13(EAN): 9783319443164 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In order to address the conflict between testability and security, the authors describe innovative design-for-testability (DFT) computer-aided design (CAD) tools that support security challenges, engineered for compliance with existing, commercial tools.
Автор: Prabhat Mishra; Swarup Bhunia; Mark Tehranipoor Название: Hardware IP Security and Trust ISBN: 3319490249 ISBN-13(EAN): 9783319490243 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an overview of current Intellectual Property (IP) based System-on-Chip (SoC) design methodology and highlights how security of IP can be compromised at various stages in the overall SoC design-fabrication-deployment cycle.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
