Grundlagen der höheren Informatik
Induktives Vorgehen
Dieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden der Informatik.
CHF 19.05
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Rüthing, Oliver / Isberner, Malte
- ISBN: 978-3-642-40146-6
- EAN: 9783642401466
- Produktnummer: 33303401
- Verlag: Springer-Verlag GmbH
- Sprache: Deutsch
- Erscheinungsjahr: 2013
- Seitenangabe: 179 S.
- Plattform: PDF
- Masse: 2'660 KB
- Auflage: 2014
- Abbildungen: 24 schwarz-weiße Abbildungen, 20 schwarz-weiße Tabellen, Bibliographie
Über den Autor
Bernhard Steffen studierte Mathematik an der Christian-Albrechts Universität zu Kiel, wo er anschließend auch in der Informatik promovierte. Nach Forschungsaufenthalten am Laboratory for Foundations in Computer Science in Edinburgh und an der Universität Aarhus, wurde er 1990 an die RWTH Aachen berufen, von wo er 1993 an die Universität Passau auf den Lehrstuhl für Programmiersysteme wechselte. Seit 1997 leitet er den Lehrstuhl für Programmiersysteme und Compilerbau an der TU-Dortmund. Bernhard Steffen ist Gründer der internationalen Konferenz über Tools and Algorithm for the Conbstruction and Analysis of Systems (TACAS) und des internationalen Journals über Software Tools for Technology Transfer (STTT). Oliver Rüthing studierte Informatik an der Christian-Albrechts Universität zu Kiel, wo er anschließend 1991 -1997 als wissenschaftlicher Mitarbeiter arbeitete. Nach seiner Promotion 1997 mit Auszeichnung wechselte er als wissenschaftlicher Mitarbeiter an die TU-Dortmund wo er auch heute noch tätig ist. 2004 hatte er begleitend einen Lehrauftrag für Compilerbau an der International University Bremen. Malte Isberner studierte Informatik an der TU-Dortmund, wo er auch derzeit nach seinem Diplom als Jahrgangsbester als Doktorand arbeitet. Seine Arbeiten im Bereich Automatenlernen und sein mathematisch präzises Vorgehen führten parallel zu einem mehrmonatigen Forschungsaufenthalt an der Carnegie Mellon Universität.
54 weitere Werke von Bernhard Steffen:
SOFSEM 2017: Theory and Practice of Computer Science
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 94.50
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 97.00
Leveraging Applications of Formal Methods, Verification and Validation
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 93.50
Leveraging Applications of Formal Methods, Verification, and Validation
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 73.50
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 88.50
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 68.50
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 97.00
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 87.50
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 97.00
Leveraging Applications of Formal Methods, Verification, and Validation
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 153.50
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 125.00
Leveraging Applications of Formal Methods, Verification, and Validation
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 120.00
Verification, Model Checking, and Abstract Interpretation
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 106.50
Leveraging Applications of Formal Methods, Verification and Validation
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 64.00
Leveraging Applications of Formal Methods, Verification and Validation
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 180.50
Transactions on Foundations for Mastering Change I
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 106.50
Leveraging Applications of Formal Methods, Verification and Validation
Induktives Vorgehen
Induktives Vorgehen
Ebook (PDF Format)
CHF 82.50
Bewertungen
Anmelden