Catalog > Sains > Kejuruteraan / Teknikal > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

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

Sokongan

perlindungan daripada 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

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Jerman ● Format PDF ● ISBN 9783642180903 ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2011 ● Muat turun 3 kali ● Mata wang EUR ● ID 6321897 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Martin Hofmann Martin Lange

96,355 Ebooks dalam kategori ini

perlindungan daripada 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 …

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

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

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

Muka surat seterusnya >>>