Електронна книга > Наука > Техніка > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

Martin Hofmann & Martin Lange
Automatentheorie und Logik [PDF ebook]

Підтримка

Обкладинка Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

€23.58

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Німецька ● Формат PDF ● ISBN 9783642180903 ● Видавець Springer Berlin Heidelberg ● Опубліковано 2011 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6321897 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Martin Hofmann Martin Lange

96 083 Електронні книги в цій категорі

Обкладинка A. sindhu devi: Cloud computing-an introduction

A. sindhu devi: Cloud computing-an introduction

This book " Cloud Computing – An Introduction " has been mainly written for Engineering and Computer science students This book gives you detailed description about cloud computing and help …

Обкладинка Emanuela Tamburri & Maria Letizia Terranova: Nanotechnology in Space

Emanuela Tamburri & Maria Letizia Terranova: Nanotechnology in Space

This book presents selected topics on nanotechnological applications in the strategic sector of space. It showcases some current activities and multidisciplinary approaches that have given an unprece …

Обкладинка Arzhang (George Washington University, USA) Angoshtari & Ali Gerami (George Washington University, USA) Matin: Finite Element Methods in Civil and Mechanical Engineering

Arzhang (George Washington University, USA) Angoshtari & Ali Gerami (George Washington University, USA) Matin: Finite Element Methods in Civil and Mechanical Engineering

The finite element method is widely employed for numerical simulations in engineering and science due to its accuracy and efficiency. This concise introduction to the mathematical theory of the finit …

Обкладинка A. Wayne (Professor Emeritus University of Arizona, Tucson, Arizona, U) Wymore: Model-Based Systems Engineering

A. Wayne (Professor Emeritus University of Arizona, Tucson, Arizona, U) Wymore: Model-Based Systems Engineering

Model-Based Systems Engineering explains the fundamental theories behind model-based systems and the considerations involved in applying theory to the design of real systems. The book begins by prese …

Обкладинка Andrew Livesey: Bicycle Engineering and Technology

Andrew Livesey: Bicycle Engineering and Technology

Bicycle Engineering and Technology is a primer and technical introduction for anyone interested in bicycles, bicycling and the bicycle industry. With insight into how bicycles are made and operated, …

Обкладинка Subhash Reddy (Retired Boiler Professional, Hyderabad, India) Gaddam: Design of Pressure Vessels

Subhash Reddy (Retired Boiler Professional, Hyderabad, India) Gaddam: Design of Pressure Vessels

Pressure vessels are prone to explosion while in operation, due to possible errors in material selection, design and other engineering activities. Addressing issues at hand for a working professional …

Обкладинка Joachim Vogt: Critical Incident Stress Management in Aviation

Joachim Vogt: Critical Incident Stress Management in Aviation

Critical incident stress management (CISM) is now a well-established method in crisis intervention, and one that is clearly needed within aviation. However, there are many peculiarities in this branc …

Обкладинка Randy Gibb & Rob Gray: Aviation Visual Perception

Randy Gibb & Rob Gray: Aviation Visual Perception

Vision is the dominant sense used by pilots and visual misperception has been identified as the primary contributing factor in numerous aviation mishaps, resulting in hundreds of fatalities and major …

Обкладинка Daniel Malacara-Hernandez & Zacarias Malacara-Hernandez: Handbook of Optical Design

Daniel Malacara-Hernandez & Zacarias Malacara-Hernandez: Handbook of Optical Design

Handbook of Optical Design, Third Edition covers the fundamental principles of geometric optics and their application to lens design in one volume. It incorporates classic aspects of lens design alon …

Обкладинка David C. (University of Cardiff, UK) Jiles: Introduction to the Electronic Properties of Materials

David C. (University of Cardiff, UK) Jiles: Introduction to the Electronic Properties of Materials

Electronic materials provide the basis for many high tech industries that have changed rapidly in recent years. In this fully revised and updated second edition, the author discusses the range of ava …

Наступна сторінка >>>