Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

eXamen.press

Grundlagen der höheren Informatik

Induktives Vorgehen

Authors: Steffen, Bernhard, Rüthing, Oliver, Isberner, Malte

  • Vermittelt Grundkenntnisse und Kompetenzen für Informatiker jenseits von Modeerscheinungen
  • Das Buch bietet eine 'lebenslange' Unterstützung
  • Mathematik und Informatik werden auf eine neuartige Weise in Beziehung gesetzt
see more benefits

Buy this book

eBook $19.99
price for USA in USD (gross)
  • ISBN 978-3-642-40146-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $27.99
price for USA in USD
  • ISBN 978-3-642-40145-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

Dieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden der Informatik.

About the authors

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.

 

Table of contents (6 chapters)

Buy this book

eBook $19.99
price for USA in USD (gross)
  • ISBN 978-3-642-40146-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $27.99
price for USA in USD
  • ISBN 978-3-642-40145-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Grundlagen der höheren Informatik
Book Subtitle
Induktives Vorgehen
Authors
Series Title
eXamen.press
Copyright
2014
Publisher
Springer Vieweg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-40146-6
DOI
10.1007/978-3-642-40146-6
Hardcover ISBN
978-3-642-40145-9
Series ISSN
1614-5216
Edition Number
1
Number of Pages
XXV, 179
Number of Illustrations
24 b/w illustrations
Topics