Catalog > Naturwissenschaft > Technik > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

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

Support

Cover von 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

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Deutsch ● Format PDF ● ISBN 9783642180903 ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2011 ● herunterladbar 3 mal ● Währung EUR ● ID 6321897 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Martin Hofmann Martin Lange

99.335 Ebooks in dieser Kategorie

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von UniversityofDelawa: Delaware Composites Design Encyclopedia

UniversityofDelawa: Delaware Composites Design Encyclopedia

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

nächste Seite >>>