Sách điện tử > Khoa học > Kỹ thuật / Kỹ thuật > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

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

Ủng hộ

Bìa của 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

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ tiếng Đức ● định dạng PDF ● ISBN 9783642180903 ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2011 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6321897 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Martin Hofmann Martin Lange

96.355 Ebooks trong thể loại này

Bìa của 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 …

Bìa của P.E., Ronald Hanifan: Reduce Your Engineering Drawing Errors

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

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Trang tiếp theo >>>