Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF) < الهندسة / التقنيات < علوم < آخر الأخبار

Martin Hofmann & Martin Lange
Automatentheorie und Logik

الدعم

غلاف 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.05

قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!

لغة ألمانية ● شكل PDF ● ISBN 9783642180903 ● الناشر Springer Berlin Heidelberg ● نشرت 2011 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6321897 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Martin Hofmann Martin Lange

92٬503 كتب إلكترونية في هذه الفئة

غلاف Tomasz (George Mason University, USA) Arciszewski: Inventive Engineering

Tomasz (George Mason University, USA) Arciszewski: Inventive Engineering

Inventive Engineering is an emerging engineering science focused on the conceptual designing processes whereby creative, or inventive, designs are developed. Its core concepts are too often unknown a …

غلاف Alka Mahajan & Parul Patel: Technologies for Sustainable Development

Alka Mahajan & Parul Patel: Technologies for Sustainable Development

This volume contains a selection of papers presented at the 7th Nirma University International Conference on Engineering ‘NUi CONE 2019’. This conference followed the successful organization of four …

غلاف Stephen P. (APEX Tool Group, LLC, and EATON Corporation, USA) Radzevich: Dudley''s Handbook of Practical Gear Design and Manufacture

Stephen P. (APEX Tool Group, LLC, and EATON Corporation, USA) Radzevich: Dudley”s Handbook of Practical Gear Design and Manufacture

The Fourth Edition of Dudley’s Handbook of Practical Gear Design and Manufacture is the definitive reference guide to gear design, production, and applications. Using a pragmatic approach, the book p …

غلاف Nicholas P. Cheremisinoff: Practical Guide to Industrial Safety

Nicholas P. Cheremisinoff: Practical Guide to Industrial Safety

A practical guide to industrial safety. It seeks to assist specialists in managing operations in industrial settings, including high-risk personal exposure such as inhalation hazards and direct …

غلاف Je-Chin Han & Lesley Wright: Experimental Methods in Heat Transfer and Fluid Mechanics

Je-Chin Han & Lesley Wright: Experimental Methods in Heat Transfer and Fluid Mechanics

Experimental Methods in Heat Transfer and Fluid Mechanics focuses on how to analyze and solve the classic heat transfer and fluid mechanics measurement problems in one book. This work serves the need …

غلاف Pijush Samui: Handbook of Research on Advanced Computational Techniques for Simulation-Based Engineering

Pijush Samui: Handbook of Research on Advanced Computational Techniques for Simulation-Based Engineering

غلاف Bela G. (Lipt¿k Associates, Stamford, Connecticut, USA) Liptak: Flow Measurement

Bela G. (Lipt¿k Associates, Stamford, Connecticut, USA) Liptak: Flow Measurement

Fully illustrated with diagrams, tables, and formulas, Flow Measurement covers virtually every type of flow meter in use today. Béla G. Lipták speaks on Post-Oil Energy Technology on the AT&T Tech Ch …

غلاف Jitendra Kumar (SRM Inst. of Science & Tech., India) Katiyar: Modern Manufacturing Technology

Jitendra Kumar (SRM Inst. of Science & Tech., India) Katiyar: Modern Manufacturing Technology

Modern Manufacturing Technology: Spotlight on Future summarizes the emergence and development of modern manufacturing techniques (MMTs) with a focus on metallic and advanced material-based additive m …

غلاف Tony Gorschek & Luiz Eduardo G. Martins: Requirements Engineering for Safety-Critical Systems

Tony Gorschek & Luiz Eduardo G. Martins: Requirements Engineering for Safety-Critical Systems

Safety-Critical Systems (SCS) are increasingly present in people”s daily activities. In the means of transport, in medical treatments, in industrial processes, in the control of air, land, maritime …

غلاف Jerry N. (Michigan State University, East Lansing, Michigan, USA) Cash & Y. H. (Science Technology System, West Sacramento, California, USA) Hui: Processing Vegetables

Jerry N. (Michigan State University, East Lansing, Michigan, USA) Cash & Y. H. (Science Technology System, West Sacramento, California, USA) Hui: Processing Vegetables

The variety, distribution range and quality of processed vegetables have grown rapidly in recent years, due in large part to advances in vegetable processing technology. This 448-page book provides a …

الصفحة التالية >>>