Catalog > Scienza > Tecnica > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

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

Supporto

Copertina di 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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Tedesco ● Formato PDF ● ISBN 9783642180903 ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2011 ● Scaricabile 3 volte ● Moneta EUR ● ID 6321897 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Martin Hofmann Martin Lange

96.083 Ebook in questa categoria

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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, …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Pagina successiva >>>