Електронна книга > Наука > Техника > 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.59

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык немецкий ● Формат PDF ● ISBN 9783642180903 ● издатель Springer Berlin Heidelberg ● опубликованный 2011 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6321897 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Martin Hofmann Martin Lange

99 335 Электронные книги в этой категории

Обложка Pamela McCauley-Bush: Ergonomics

Pamela McCauley-Bush: Ergonomics

A complete introduction to the field, Ergonomics: Foundational Principles, Applications and Technologies discusses scientific principles, research, applications, and emerging trends in technology. Co …

Обложка Raman Chadha & Aryan Chaudhary: Analyzing Blockchain in Healthcare

Raman Chadha & Aryan Chaudhary: Analyzing Blockchain in Healthcare

Before deciding whether or not a new piece of technology has credibility, institutions that specialize in the health sciences demand to see extensive documentation of it being used in clinical practi …

Обложка Professor Ian Inkster: History of Technology Volume 25

Professor Ian Inkster: History of Technology Volume 25

The technical problems confronting different societies and periods and the measures taken to solve them form the concern of this annual collection of essays. It deals with the history of technical di …

Обложка James F. (Cisco Systems, Santa Clara, California, USA) Ransome & John W. (Hypersecurity LLC, Houston, Texas, USA) Rittinghouse: Cloud Computing

James F. (Cisco Systems, Santa Clara, California, USA) Ransome & John W. (Hypersecurity LLC, Houston, Texas, USA) Rittinghouse: Cloud Computing

Cloud Computing: Implementation, Management, and Security provides an understanding of what cloud computing really means, explores how disruptive it may become in the future, and examines its advanta …

Обложка Rosalyn W. Berne: Nanotalk

Rosalyn W. Berne: Nanotalk

No one really knows where nanotechnology is leading, what its pursuit will mean, and how it may affect human and other forms of life. Nevertheless, its research and development are moving briskly int …

Обложка Tan Kok Kiong (National University of Singapore) & Huang (National University of Singapore) Sunan: Modeling and Control of Precision Actuators

Tan Kok Kiong (National University of Singapore) & Huang (National University of Singapore) Sunan: Modeling and Control of Precision Actuators

Modeling and Control of Precision Actuators explores new technologies that can ultimately be applied in a myriad of industries. It covers dynamical analysis of precise actuators and strategies of des …

Обложка Thomas M. Pankratz: Screening Equipment Handbook

Thomas M. Pankratz: Screening Equipment Handbook

This updated second edition summarizes screening equipment options available for industrial and municipal water and wastewater treatment. It provides a consolidated source of basic design and applica …

Обложка Erik M. Conway: Blind Landings

Erik M. Conway: Blind Landings

When darkness falls, storms rage, fog settles, or lights fail, pilots are forced to make ‘instrument landings, ‘ relying on technology and training to guide them through typically the most dangerous …

Обложка 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 …

Обложка UniversityofDelawa: Delaware Composites Design Encyclopedia

UniversityofDelawa: Delaware Composites Design Encyclopedia

First published in 1990. CRC Press is an imprint of Taylor & Francis. …

Следущая страница >>>