E-bok > Sciences > Teknik > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

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

Stöd

Omslag till 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

Köp den här e-boken och få 1 till GRATIS!

Språk Tyska ● Formatera PDF ● ISBN 9783642180903 ● Utgivare Springer Berlin Heidelberg ● Publicerad 2011 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6321897 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Martin Hofmann Martin Lange

96 355 E-böcker i denna kategori

Omslag till 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 …

Omslag till P.E., Ronald Hanifan: Reduce Your Engineering Drawing Errors

P.E., Ronald Hanifan: Reduce Your Engineering Drawing Errors

Omslag till Mangala Joshi: Nanotechnology in Textiles

Mangala Joshi: Nanotechnology in Textiles

In recent times, polymer nanocomposites have attracted a great deal of scientific interest due to their unique advantages over conventional plastic materials, such as superior strength, modulus, ther …

Omslag till 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 …

Omslag till 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 …

Omslag till Kishore Kumar Mahato & Ramesh Kumar Nayak: Hydrothermal Behavior of Fiber- and Nanomaterial-Reinforced Polymer Composites

Kishore Kumar Mahato & Ramesh Kumar Nayak: Hydrothermal Behavior of Fiber- and Nanomaterial-Reinforced Polymer Composites

Hydrothermal Behavior of Fiber- and Nanomaterial-Reinforced Polymer Composites provides critical information regarding the in-service environmental damage and degradation studies of nano/fiber reinfo …

Omslag till Ishaani (University of Delaware) Priyadarshini & Rohit (SRM University, India) Sharma: Artificial Intelligence and Cybersecurity

Ishaani (University of Delaware) Priyadarshini & Rohit (SRM University, India) Sharma: Artificial Intelligence and Cybersecurity

Artificial intelligence and cybersecurity are two emerging fields that have made phenomenal contributions toward technological advancement. As cyber-attacks increase, there is a need to identify thre …

Omslag till Peter A. (Department of Psychology, University of Central Florida) Hancock & Mustapha Mouloua: Human Performance in Automated and Autonomous Systems

Peter A. (Department of Psychology, University of Central Florida) Hancock & Mustapha Mouloua: Human Performance in Automated and Autonomous Systems

This book is devoted to the examination of emerging practical issues related to automated and autonomous systems. The book highlights the significance of these emergent technologies that determine th …

Omslag till Aminoddin Haji & Mohd Yusuf: Handbook of Nanofibers and Nanocomposites

Aminoddin Haji & Mohd Yusuf: Handbook of Nanofibers and Nanocomposites

Textiles with functional properties such as antimicrobial finishes, drug delivery, ultraviolet resistance, electrical conductivity, superhydrophilicity, superhydrophobicity, self-cleaning, EMI shield …

Omslag till 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 …

Nästa sida >>>