Каталог
Меню
Войти
0Сравнение
0Избранное
Каталог
Войти
0Сравнить
0Избранное

Formal Methods Applied to Industrial Complex Systems

...Нажми для увеличения фото
 Сравнить
 В избранное
21 631 ₽Скидка: 13%

18 786 ₽

Товар в наличии
 Доставка в г. Москва от 2 дней
 Оплата заказа
 Похожие товары
 Видео обзоры
 Как заказать и купить "Formal Methods Applied to Industrial Complex Systems"?
 Нашли дешевле? Снизим цену!
  Узнать о снижении стоимости
Отправим письмо при снижении стоимости.

Рекомендательный сервис

  • Общий рейтинг 4.79
  • Рейтинг покупателей 4.97
  • Рейтинг экспертов 4.77
  • Качество материалов 4.92
  • Надежность 4.77
  • Простота в использовании 4.27
  • Ремонтопригодность 4.63
  • Эффективность выполнения своих функций 4.69
  • Коэффициент удивления "Вау!" 4.79
  • Безопасность для пользователя4.77
  • Внешний вид 4.37
  • Удобство в уходе и чистке 4.26
  • Экологическая безопасность 4.70
  • Гарантия на товар 4.22
  • Соответствие стандартам качества 4.77
  • Инновационные технологии 4.20
  • Хит продаж 4.79
  • Скорость морального устаревания 4.96
  • Энергоэффективность 4.67
  • Универсальность использования 4.99
  • Наличие дополнительных функций 4.20
  • Соотношение цена-качество 4.72
  • Практичность и удобство хранения 4.97
  • Стабильность работы в различных условиях 4.07
  • Возможность персонализации 4.09
  • Ликвидность 4.67
  • Индекс рекомендаций 4.22
2670 покупателей и эксперты портала 1ya.ru рекомендуют к покупке товар «Formal Methods Applied to Industrial Complex Systems» или его аналог из списка ниже.
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников или размещена продавцом. Цена указана на дату: 09.05.2025 г. На текущий момент стоимость может отличаться. Предложение не является публичной офертой.
Formal Methods Applied to Industrial Complex Systems продается в интернет-магазине ЛитРес
Эксперт: Сергей К., специалист по e-commerce
Дата рецензии: 11 июля 2025 года
Рекомендация к покупке положительная

Кредитный калькулятор

Планируете купить "Formal Methods Applied to Industrial Complex Systems" в кредит? Расширенный кредитный калькулятор поможет онлайн рассчитать ежемесячный платеж, начисленные проценты и сумму переплаты по потребительскому кредиту.

Доставка покупки

    • В электронном виде;
    • Читать онлайн;
    • Скачать на компьютер или мобильные устройства.

Оплата заказа

    • Банковской картой;
    • электронными деньгами Яндекс-Деньги; WebMoney, Qiwi Кошелек, PayPal;
    • Наличными через терминалы;
    • Банковским переводом.
  • Наименование: ООО «ЛитРес»
  • ИНН: 7719571260

Рекомендуем аналогичные товары

- 13%
...
Formal Methods Applied to Complex Systems
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). The authors cover the following topics: an example of use of SCADE, constraint solving in B, validation of Petri Nets-based automated rail safety, data validation, etc.
Цена 19759 руб.
СравнитьКупить
  • Платформа

    WIN

  • Форматы
    PDF
19 759 ₽
- 21%
...
Industrial Use of Formal Methods. Formal Verification
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
Цена 15520 руб.
СравнитьКупить
  • Форматы
    PDF
15 520 ₽
- 21%
...
Formal Methods. Industrial Use from Model to the Code
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain. This book is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). Topics covered by the chapters of this book include SAET-METEOR, the B method and B tools, model-based design using Simulink, the Simulink design verifier proof tool, the implementation and applications of SCADE (Safety Critical Application Development Environment), GATeL: A V&V Platform for SCADE models and ControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-Louis Boulanger. 2. Formal Method in the Railway Sector the First Complex Application: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation, Mirko Conrad and Pieter J. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool, V?ronique Delebarre and Jean-Fr?d?ric Etienne. 6. SCADE: Implementation and Applications, Jean-Louis Camus. 7. GATeL: A V&V Platform for SCADE Models, Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke. 8. ControlBuild, a Development Framework for Control Engineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.
Цена 15520 руб.
СравнитьКупить
  • Форматы
    PDF
15 520 ₽
- 21%
...
An Introduction to Practical Formal Methods Using Temporal Logic
The name «temporal logic» may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts – highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems. Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability. Models temporal notions and uses them to analyze computational systems Provides a broad approach to temporal logic across many formal methods – including specification, verification and implementation Introduces and explains freely available tools based on temporal logics and shows how these can be applied Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.
Цена 14069 руб.
СравнитьКупить
  • Форматы
    PDF
14 069 ₽
- 21%
...
Principles of Forensic Engineering Applied to Industrial Accidents
An introductory text on the investigation of industrial accidents Forensic engineering should be seen as a rigorous approach to the discovery of root causes that lead to an accident or near-miss. The approach should be suitable to identify both the immediate causes as well as the underlying factors that affected, amplified, or modified the events in terms of consequences, evolution, dynamics, etc., as well as the contribution of an eventual «human error». This book is a concise and introductory volume to the forensic engineering discipline which helps the reader to recognize the link among those important, very specialized aspects of the same problem in the global strategy of learning from accidents (or near-misses). The reader will benefit from a single point of access to this very large, technical literature that can be only correctly understood with the right terms, definitions, and links in mind. Keywords: Presents simple (real) cases, as well as giving an overview of more complex ones, each of them investigated within the same framework; Gives the readers the bibliography to access more in-depth specific aspects; Offers an overview of the most commonly used methodologies and techniques to investigate accidents, including the evidence that should be collected to define the cause, dynamics and responsibilities of an industrial accident, as well as the most appropriate methods to collect and preserve the evidence through an appropriate chain of security. Principles of Forensic Engineering Applied to Industrial Accidents is essential reading for researchers and practitioners in forensic engineering, as well as graduate students in forensic engineering departments and other professionals.
Цена 16301 руб.
СравнитьКупить
  • Форматы
    PDF
16 301 ₽
- 21%
...
Applied Numerical Methods Using MATLAB
In recent years, with the introduction of new media products, there has been a shift in the use of programming languages from FORTRAN or C to MATLAB for implementing numerical methods. This book makes use of the powerful MATLAB software to avoid complex derivations, and to teach the fundamental concepts using the software to solve practical problems. Over the years, many textbooks have been written on the subject of numerical methods. Based on their course experience, the authors use a more practical approach and link every method to real engineering and/or science problems. The main benefit is that engineers don't have to know the mathematical theory in order to apply the numerical methods for solving their real-life problems. An Instructor's Manual presenting detailed solutions to all the problems in the book is available online.
Цена 15525 руб.
СравнитьКупить
  • Форматы
    PDF
15 525 ₽
- 15%
...
Applied Numerical Methods Using MATLAB
This new edition provides an updated approach for students, engineers, and researchers to apply numerical methods for solving problems using MATLAB ®  This accessible book makes use of MATLAB® software to teach the fundamental concepts for applying numerical methods to solve practical engineering and/or science problems. It presents programs in a complete form so that readers can run them instantly with no programming skill, allowing them to focus on understanding the mathematical manipulation process and making interpretations of the results. Applied Numerical Methods Using MATLAB®, Second Edition begins with an introduction to MATLAB usage and computational errors, covering everything from input/output of data, to various kinds of computing errors, and on to parameter sharing and passing, and more. The system of linear equations is covered next, followed by a chapter on the interpolation by Lagrange polynomial. The next sections look at interpolation and curve fitting, nonlinear equations, numerical differentiation/integration, ordinary differential equations, and optimization. Numerous methods such as the Simpson, Euler, Heun, Runge-kutta, Golden Search, Nelder-Mead, and more are all covered in those chapters. The eighth chapter provides readers with matrices and Eigenvalues and Eigenvectors. The book finishes with a complete overview of differential equations. Provides examples and problems of solving electronic circuits and neural networks Includes new sections on adaptive filters, recursive least-squares estimation, Bairstow's method for a polynomial equation, and more Explains Mixed Integer Linear Programing (MILP) and DOA (Direction of Arrival) estimation with eigenvectors Aimed at students who do not like and/or do not have time to derive and prove mathematical results Applied Numerical Methods Using MATLAB®, Second Edition is an excellent text for students who wish to develop their problem-solving capability without being involved in details about the MATLAB codes. It will also be useful to those who want to delve deeper into understanding underlying algorithms and equations.
Цена 15126 руб.
СравнитьКупить
15 126 ₽
- 21%
...
Trading Systems and Methods
The ultimate guide to trading systems, fully revised and updated For nearly thirty years, professional and individual traders have turned to Trading Systems and Methods for detailed information on indicators, programs, algorithms, and systems, and now this fully revised Fifth Edition updates coverage for today's markets. The definitive reference on trading systems, the book explains the tools and techniques of successful trading to help traders develop a program that meets their own unique needs. Presenting an analytical framework for comparing systematic methods and techniques, this new edition offers expanded coverage in nearly all areas, including trends, momentum, arbitrage, integration of fundamental statistics, and risk management. Comprehensive and in-depth, the book describes each technique and how it can be used to a trader's advantage, and shows similarities and variations that may serve as valuable alternatives. The book also walks readers through basic mathematical and statistical concepts of trading system design and methodology, such as how much data to use, how to create an index, risk measurements, and more. Packed with examples, this thoroughly revised and updated Fifth Edition covers more systems, more methods, and more risk analysis techniques than ever before. The ultimate guide to trading system design and methods, newly revised Includes expanded coverage of trading techniques, arbitrage, statistical tools, and risk management models Written by acclaimed expert Perry J. Kaufman Features spreadsheets and TradeStation programs for a more extensive and interactive learning experience Provides readers with access to a companion website loaded with supplemental materials Written by a global leader in the trading field, Trading Systems and Methods, Fifth Edition is the essential reference to trading system design and methods updated for a post-crisis trading environment.
Цена 10107 руб.
СравнитьКупить
  • Форматы
    PDF
10 107 ₽
- 21%
...
Systems Approach to Management of Disasters. Methods and Applications
The main goal of this text is to introduce the systems approach to disasters management community as an alternative approach that can provide support for interdisciplinary activities involved in the management of disasters. The systems approach draws on the fields of operations research and economics to create skills in solving complex management problems. The text is organized into four parts. Part I provides an introductory discussion of disaster management including an overview of the main terms used. Part II is devoted to the introduction of systems theory, mathematical formalization and classification of methods. The material presented in this section should be of practical relevance during the process of selecting an appropriate tool for the solution of a problem. Part III is technical in nature, providing a simulation approach and a detailed description of system dynamics simulation. This section details two areas of application: flood evacuation simulation, and disaster risk assessment. Part IV ends with a chapter covering steps to improve disaster management. Finally parts of the book can be used as a tool for specialized short courses for practitioners. For example a course on 'System analysis for emergency management optimization' could be based on Chapters 3, 4 and parts of Chapter 6. Included in the book is a CD with three computer programs Vensim PLE, LINPRO, and COMPRO. Vensim PLE (Personal Learning Edition) is state-of-the-art simulation software used for the implementation of system dynamics simulation. The other two programs are: LINPRO, a linear programming optimization tool; and COMPRO, for the implementation of the multi-objective analysis tool of compromise programming.
Цена 13487 руб.
СравнитьКупить
  • Форматы
    PDF
13 487 ₽
- 13%
...
Formal Languages, Automata and Numeration Systems 2
The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. B?chi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a “simple” binary expansion, by B. Adamczewski and Y. Bugeaud. This book is at the heart of this interplay through a unified exposition. Objects are considered with a perspective that comes both from theoretical computer science and mathematics. Theoretical computer science offers here topics such as decision problems and recognizability issues, whereas mathematics offers concepts such as discrete dynamical systems. The main goal is to give a quick access, for students and researchers in mathematics or computer science, to actual research topics at the intersection between automata and formal language theory, number theory and combinatorics on words. The second of two volumes on this subject, this book covers regular languages, numeration systems, formal methods applied to decidability issues about infinite words and sets of numbers.
Цена 15601 руб.
СравнитьКупить
  • Форматы
    PDF
15 601 ₽

Дополнительно из категории

...
ПО загружаемое для компьютеров Apple
К вашим услугам!Хотите установить или настроить приложения?Или вам нужно настроить резервное копирование данных?Нужна консультация?Наши специалисты дистанционно помогут решить эти и многие задачи — быстро и профессионально.В стоимость входит оказание одной услуги из списка ниже. Услуга предоставляется для компьютеров (Mac, Windows) и смартфонов (iOS, Android). Технические требованияКак это работает? Вы сами выбираете, как хотите получить консультации: по телефону или с помощью удаленного подключения к вашему устройству. Работаем ежедневно с 8 до 22:00 (по московскому времени). Выберите необходимую услугуВ стоимость услуги входит консультация по одному из вопросов, перечисленных ниже.Установка и настройка приложенийНастройка учетной записи для электронной почтыНастройка резервного копирования данныхУстановка, обновление и настройка прикладных приложенийНастройка системыДиагностика системы, поиск и устранение ошибок и неисправностейПроверка и обновление драйверов устройствНастройка подключения к интернетуУстановка необходимых обновлений и системного программного обеспеченияНастройка и оптимизация параметров автозагрузкиОптимизация работы устройства для повышения быстродействияКонсультации по настройкам и работе на устройствеБезопасностьДетальный анализ устройства на наличие угроз и вредоносных программПроверка и настройка параметров безопасности устройстваРекомендации по созданию и хранению безопасных паролейКонсультации по безопасной работе в интернетеТехнические требованияУслуга предоставляется в отношении одного устройства. Выберите удобный способ получения консультации: по телефону или с помощью удаленного подключения консультанта к устройству. На вашем устройстве должна использоваться одна из перечисленных операционных систем.MacOSПоддерживаются версии MacOS от 10.7 (Lion) и выше.10.15 (Catalina)10.14 (Mojave)10.13 (High Sierra)10.12 (Sierra)10.11 (El Capitan)10.10 (Yosemite)10.9 (Mavericks)10.8 (Mountain Lion)10.7 (Lion)iOSПоддерживаются версии iOS от 9.0 и вышеWindowsПоддерживаются версии Windows от XP (SP3) и выше (Vista, 7, 8, 8.1, 10).AndroidПоддерживаются версии Android от 4.0 и выше Для удалённого подключения вам будет необходимо установить программу TeamViewer и предоставить консультанту удаленный доступ к устройству на время оказания услуги. Установить TeamViewerПорядок оказания услугиУслуга оказывается при наличии стабильного подключения к интернету, минимальная скорость интернета для оказания услуги 512 кб/секДля удаленного подключения клиенту необходимо установить программу TeamViewer и предоставить консультанту удаленный доступ к устройству на период оказания услуги.Услуга оказывается с 8:00 до 22:00 ежедневно (по московскому времени)Услуга доступна для использования клиентом сразу после ее оплаты на сайте. Код доступа предоставляется по адресу электронной почты, указанной клиентом при оформлении заказа. Запросить повторную отправку кода можно по телефону 8 (495) 777-777-5 (для Москвы и МО) или 8 800 600-777-5 (звонок по России бесплатный).Срок действия Кода доступа — шесть месяцев с даты приобретения (оплаты). Возврат стоимости услуги после истечения срока действия кода доступа не осуществляется.Услуга считается оказанной клиенту с момента завершения консультирования. В течение одного часа по завершении клиенту направляется письмо по электронной почте, в ответе на которое он может оценить оказанную услугу либо сообщить о своем отказе считать услугу оказанной надлежащим образом. Если в течение суток от клиента не получены возражения, услуга считается оказанной в полном объеме.Клиент уведомлен и соглашается с тем, что консультанту на период сеанса посредством TeamViewer доступен вид экрана устройства клиента и что во избежание дальнейших споров консультант производит видеофиксацию сеанса.Клиент обязуется наблюдать за ходом сеанса в режиме реального времени и давать согласие на каждое действие, производимое консультантом на его устройстве. Клиент вправе прервать сеанс в любой момент, при этом, услуга все равно будет считаться оказанной.Исполнитель не несет ответственности за доставку писем клиенту на неработающие почтовые сервера, настройки спам-фильтров или неверно указанные адреса электронной почты.Услуга оказывается ООО «реСтор».
Цена 2490 руб.
СравнитьКупить
  • Платформа

    Windows WIN MAC WIN MAC

  • Операционная система

    Windows Windows 7 Windows Vista Windows XP Windows 8 Windows 10 Windows 8.1 MacOS MacOS X 10.7

  • остаток
    10
2 490 ₽
- 15%
...
Schnelleinstieg ins Finanzwesen (FI) mit SAP S/4HANA
Mit SAP S/4HANA geh?rt die strikte Trennung zwischen externem und internem Rechnungswesen der Vergangenheit an. Finanzbuchhaltung und Controlling wachsen im Universal Journal zum gemeinsamen Rechnungswesen (Universal Accounting) zusammen. Das Fiori Launchpad bietet zudem eine komplett neue Benutzeroberfl?che und »Embedded Analytics« er?ffnen zus?tzliche Analysem?glichkeiten. Egal, ob Sie Leiter, Key-User oder Endanwender im Rechnungswesen bzw. Finance- und Logistikberater sind: In diesem Schnelleinstieg wird Ihnen die Finanzbuchhaltung in SAP S/4HANA auf sehr anschauliche Weise verst?ndlich gemacht. Sie lernen die wichtigsten Prozesse sowohl in der Hauptbuchhaltung als auch in den Nebenbuchhaltungen (Debitoren, Kreditoren, Anlagen) inklusive Jahresabschlussarbeiten anhand eines durchg?ngigen Fallbeispiels kennen. Ihnen werden dabei so wichtige Aspekte wie das Konzept des zentralen Gesch?ftspartners oder der automatische Mahnlauf und Zahllauf begegnen. Der versierte Autor und SAP-Trainer gibt Ihnen im Verlauf seines Buches immer wieder wichtige Tipps, Tricks und Hinweise auf potenzielle Fallstricke. – Zusammenwachsen des externen und internen Rechnungswesens – Prozesse in der Hauptbuchhaltung und den Nebenb?chern (Kreditoren, Debitoren, Anlagen) – Universal Journal als zentrale Datenquelle f?r Embedded Analytics – Vermittlung an einem durchg?ngigen Fallbeispiel
Цена 1841 руб.
СравнитьКупить
  • Платформа

    MAC

  • Форматы
    EPUB
1 841 ₽
- 15%
...
Praxishandbuch SAP Cloud Platform Integration
Dieses Praxishandbuch erl?utert die Grundlagen der Modellierung von Schnittstellen mit SAP Cloud Platform Integration (SAP CPI). Neben der Entwicklung stehen auch das Monitoring sowie der sichere Betrieb dieser Schnittstellen im Mittelpunkt. Sie erfahren, wie Sie vordefinierte „Plug-und-Play-Schnittstellen (Integration Content) verwenden und f?r Ihre eigenen Anforderungen erweitern. Anhand einer detaillierten Schritt-f?r-Schritt-Anleitung k?nnen Sie dieses Wissen am Praxisbeispiel „W?hrungskurse von einem Internetdienst abrufen und verarbeiten“ in Ihrem eigenen SAP-CPI-Tenant umsetzen und so das Gelernte festigen. Der Autor beschreibt zus?tzlich Spezialthemen rund um die SAP CPI wie z. B. das Partner Directory bzw. Add-ons, lokales Development, Workflow und Business Rules sowie open Connectors. Experten will das Buch dar?ber hinaus als n?tzliches Nachschlagewerk zu detaillierten Funktionsweisen der einzelnen Integration Patterns dienen. Die Funktionen bzw. Komponenten der CPI werden nach Bereichen gruppiert vorgestellt; dazu geh?ren u. a. Events, Calls, Routings, alle von CPI unterst?tzten Adapter bzw. Modellierungselemente f?r die Ver?nderung von Nachrichten. – SAPs Cloud Middleware verstehen – Qualit?tsaspekte f?r ein robustes Design – Standard Integration Content konfigurieren – Nachschlagewerk f?r Integration Patterns
Цена 1841 руб.
СравнитьКупить
1 841 ₽
- 17%
...
Autonomy
’A fascinating hybrid. Part freewheeling history of the rise of the modern autonomous vehicle, part intimate memoir from an insider who was on the front lines for much of that history, Autonomy will more than bring readers up to speed on one of today’s most closely watched technologies’ Brian Merchant, author of The One DeviceFrom the ultimate insider – a former General Motors executive and current advisor to the Google Self-Driving Car project – comes the definitive story of the race between Google, Tesla and Uber to create the driverless car.We stand on the brink of a technological revolution. In the near future, most of us will not own automobiles, but will travel instead in driverless electric vehicles summoned at the touch of an app. We will be liberated from driving, so that the time we spend in cars can be put to more productive use. We will prevent more than 90 percent of car crashes, provide freedom of mobility to the elderly and disabled and decrease our dependence on fossil fuels.Autonomy tells the story of the maverick engineers and computer experts who triggered the revolution. Lawrence Burns – long-time adviser to the Google self-driving car project (now Waymo) and former corporate vice president of research, development and planning at General Motors – provides the perfectly timed history of how we arrived at this point, in a character-driven and vivid account of the unlikely thinkers who accomplished what billion-dollar automakers never dared.Beginning at a 2004 off-road robot race across the Mojave Desert with a million-dollar purse and continuing up to the current stampede to develop driverless technology, Autonomy is a page-turning chronicle of the past, a diagnosis of the present and a prediction of the future – the ultimate guide to understanding the driverless car and to navigating the revolution it has sparked.
Цена 1624 руб.
СравнитьКупить
1 624 ₽
- 15%
...
Digital SLR Photography All-in-One For Dummies
  • Форматы
    PDF
3 547 ₽
Москва
Санкт-Петербург
Ангарск
Армавир
Архангельск
Астрахань
Балаково
Балашиха
Барнаул
Белгород
Бийск
Благовещенск
Братск
Брянск
Великий Новгород
Владивосток
Владикавказ
Владимир
Волгоград
Волжский
Вологда
Воронеж
Грозный
Дзержинск
Екатеринбург
Иваново
Ижевск
Иркутск
Йошкар-Ола
Казань
Калининград
Калуга
Кемерово
Киров
Комсомольск-на-Амуре
Королёв
Кострома
Краснодар
Красноярск
Курган
Курск
Липецк
Магнитогорск
Махачкала
Мурманск
Набережные Челны
Нальчик
Нижневартовск
Нижнекамск
Нижний Новгород
Нижний Тагил
Новокузнецк
Новороссийск
Новосибирск
Омск
Орёл
Оренбург
Орск
Пенза
Пермь
Петрозаводск
Петропавловск-Камчатский
Подольск
Прокопьевск
Псков
Ростов-на-Дону
Рыбинск
Рязань
Самара
Саранск
Саратов
Северодвинск
Смоленск
Сочи
Ставрополь
Старый Оскол
Стерлитамак
Сургут
Сыктывкар
Таганрог
Тамбов
Тверь
Тольятти
Томск
Тула
Тюмень
Улан-Удэ
Ульяновск
Уфа
Хабаровск
Химки
Чебоксары
Челябинск
Череповец
Чита
Шахты
Энгельс
Южно-Сахалинск
Якутск
Ярославль
другой город