Catalog > Science > Technique > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

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

Support

Couverture du 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

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Allemand ● Format PDF ● ISBN 9783642180903 ● Maison d’édition Springer Berlin Heidelberg ● Publié 2011 ● Téléchargeable 3 fois ● Devise EUR ● ID 6321897 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Martin Hofmann Martin Lange

99 262 Ebooks dans cette catégorie

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Page suivante >>>