Litgu.ru - Литературный Гуру

Название: Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
Автор: Yongfeng Yin, Bo Jiang
Издательство: CRC Press
Год: 2024
Страниц: 330
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems. The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies, providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems, the authors verify the effectiveness of the theories, technologies and methods proposed in the book. In combining the fundamental theory and technology and practical solutions, this book will appeal to researchers and students studying computer science, software engineering, and embedded systems, as well as professionals and practitioners engaged in the development, verification, and maintenance of embedded systems in the military and civilian fields.

Название: Mayfair – Volume 25 Number 03
Издательство: Fisk Publishing Co. Ltd.
Год издания: 1968
Страниц: 45
Язык: Английский
Формат: PDF
Размер: 42 Мб

Mayfair является британским журналом для взрослых мужчин. Основанный в 1966 году, он был разработан как ответ на американские журналы, такие как Playboy и Penthouse, которые недавно были запущены в Великобритании.

Название: Физические основы полупроводниковой фотоэлектроники
Автор: Войцеховский А.В., Ижнин И.И.
Издательство: Издательский Дом Томского государственного университета
Год: 2013
Cтраниц: 560
Формат: pdf
Размер: 11 мб
Язык: русский

Учебное пособие, состоящее из двух частей, посвящено полупроводниковой фотоэлектронике. В первой части изложены физические принципы фотоэлектрических явлений в полупроводниках и полупроводниковых структурах, в частности квантово-размерных. Во второй части рассмотрены физические принципы работы, конструкции и основные характеристики целого ряда полупроводниковых фотоприемников, как дискретных, так и многоэлементных.

Название: Знаки различия и боевые награды Второй мировой
Автор: Макдоннелл Л.
Издательство: М.: Эксмо м
Год: 2003 (2005)
Cтраниц: 224, цвет.ил.
Формат: djvu
Размер: 23 мб
Язык: русский

Иллюстрированная энциклопедия. В этой книге представлены более 1000 знаков различия и боевых наград, которые носили на своих мундирах участники Второй мировой войны в период с 1939 по 1945 год Сюда включены ордена, медали, кокарды, нарукавные нашивки, погоны, петлицы, нагрудные знаки и эмблемы наиболее известных воинских частей всех основных стран — участниц боевых действий. На разворотах приведены превосходные цветные изображения боевых наград и знаков различия, от самых высших воинских звании до рядовых.

Название: Историки Доколумбовой Америки и Конкисты
Автор: Фернандо де Альва Иштлильшочитль, Хуан Баутиста де Помар
Издательство: Киев: Лыбидь
Год: 2013
Страниц: 504
ISBN: 978-966-06-0647-0
Формат: DJVU
Размер: 40.6 Мб
Язык: русский

В книге впервые публикуются комментированные переводы на русский язык сохранившихся частей трех созданных в колониальную эпоху испаноязычных памятников мексиканской историографии XVI - XVII вв. - «Истории народа чичимеков...» и «Тринадцатого сообщения...» Фернандо де Альвы Иштлильшочитля, а также «Сообщения из Тескоко» Хуана Баутисты де Помара.

Название: Shooting Illustrated - August 2023
Издательство: NRA
Год издания: 2023
Страниц: 84
Качество: хорошее
Язык: English
Формат: True PDF
Размер: 40,7 МB

Shooting Illustrated представляет вам последние новинки индустрии огнестрельного оружия, специализирующиеся на домашней и личной обороне, скрытом ношении, стрельбе на дальние дистанции и многом другом.

Название: Отделочные работы. Справочник домашнего мастера
Автор: Самойлович В.В.
Издательство: Будивельник
Год: 1990 - 2-е изд.
Cтраниц: 338
Формат: PDF
Размер: 29 Мб
Язык: русский

В справочнике содержатся практические советы и рекомендации по отделке и ремонту жилых домов и квартир своими силами; приведены характеристики отделочных материалов, инструментов и приспособлений, даны советы по устранению дефектов поверхностей и ремонту поврежденных участков. Из книги можно узнать, как устроить перегородки, подобрать обои, облицевать плитками стены, оборудовать переднюю. Для большей наглядности технологические процессы и приемы иллюстрируются рисунками и чертежами. Рассчитан на широкий круг читателей. Содержание: Плотничные, стекольные и скобяные работы. Штукатурные работы. Малярные работы. Отделка пленочными и рулонными материалами. Облицовка плитками. Облицовка листовыми материалами и деревом. Устройство легких сборных и трансформируемых перегородок. Устройство элементов оборудования. Устройство полов. Художественно-декоративные работы.

Название: American Rifleman - August 2023
Издательство: National Rifle Association of America
Страниц: 84
Язык: English
Формат: True PDF
Размер: 59,5 МВ

American Rifleman is an official journal of the National Rifle Association, providing the latest in shooting news and firearms reviews.

Название: Learn OpenCV with Python by Examples: Implement Computer Vision Algorithms Provided by OpenCV with Python for Image Processing, Object Detection and Machine Learning 2nd Edition
Автор: James Chen
Издательство: Independently published
Год: 2023
Страниц: 316
Язык: английский
Формат: epub (true)
Размер: 35.4 MB

This book is a comprehensive guide to learning the basics of computer vision and Machine Learning using the powerful OpenCV library and the Python programming language. The book offers a practical, hands-on approach to learning the concepts and techniques of computer vision through practical examples. All codes in this book are available on Github. Through a series of examples, the book covers a wide range of topics including image and video processing, feature detection, object detection and recognition, machine learning, and deep neural networks. Each chapter includes detailed explanations of the concepts and techniques involved, as well as practical examples and code snippets that demonstrate how to implement them in Python. Throughout the book, readers will work through hands-on examples and projects, learning how to build image-processing applications from scratch. Whether you are a beginner or an experienced programmer, this book provides a valuable resource for learning computer vision with OpenCV and Python. The clear and concise writing style makes it easy for readers to follow along, and the numerous examples ensure that readers can practice and apply what they have learned. By the end of the book, readers will have a solid understanding of the fundamentals of computer vision and be able to build their own computer vision applications with confidence.

Название: Essentials of Software Testing
Автор: Ralf Bierig, Stephen Brown, Edgar Galván
Издательство: Cambridge University Press
Год: 2022
Страниц: 324
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

Software testing can be regarded as an art, a craft, and a science. The practical, step-by-step approach presented in this book provides a bridge between these different viewpoints. A single worked example runs throughout, with consistent use of test automation. Each testing technique is introduced in the context of this example, helping students see its strengths and weaknesses. The technique is then explained in more detail, providing a deeper understanding of underlying principles. Finally the limitations of each technique are demonstrated by inserting faults, giving learners concrete examples of when each technique succeeds or fails in finding faults. Coverage includes black-box testing, white-box testing, random testing, unit testing, object-oriented testing, and application testing. The authors also emphasise the process of applying the techniques, covering the steps of analysis, test design, test implementation, and interpretation of results. The book's web site has programming exercises and Java source code for all examples.