หนังสือดิจิตอล > วิทยาศาสตร์ > วิศวกรรม / เทคนิค > 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

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา เยอรมัน ● รูป PDF ● ISBN 9783642180903 ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2011 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 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 …

หน้าต่อไป >>>