Catalog > Ciência > Técnica > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

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

Apoio

Capa do 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

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Alemão ● Formato PDF ● ISBN 9783642180903 ● Editora Springer Berlin Heidelberg ● Publicado 2011 ● Carregável 3 vezes ● Moeda EUR ● ID 6321897 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Martin Hofmann Martin Lange

99.262 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do Bob McFarlane: Beginning AutoCAD 2002

Bob McFarlane: Beginning AutoCAD 2002

New features in Auto CAD 2002 are covered in this book, making it a useful refresher course for anyone using Auto CAD at this level, and upgrading to the new software release. The material in the boo …

Capa do Sudhakara Rao Parvataneni: Fruit Colour Measurement

Sudhakara Rao Parvataneni: Fruit Colour Measurement

A linear discriminant analysis program based on Mahalanobis distance is developed using MATLAB to classify apples based on colour. This method assumes that the reference data is distributed in a mult …

Capa do Sarhan M. Musa: Computational Nanotechnology

Sarhan M. Musa: Computational Nanotechnology

Applications of nanotechnology continue to fuel significant innovations in areas ranging from electronics, microcomputing, and biotechnology to medicine, consumer supplies, aerospace, and energy prod …

Capa do 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 …

Capa do 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 …

Próxima página >>>