bibliography_de.bib

@book{Balzert04,
  abstract = {In diesem zweifarbig gestalteten Lehrbuch werden in didaktisch vorbildlicher Weise die Grundlagen der Informatik vermittelt. Im Mittelpunkt stehen die Konzepte der objektorientierten Programmierung, die in den Notationen UML, Java und C++ dargestellt werden. Das Buch kann zur Vorlesungsbegleitung, zum Selbststudium und zum Nachschlagen verwendet werden Die zweite Auflage wurde vollst{\"a}ndig {\"u}berarbeitet und aktualisiert.},
  added-at = {2012-05-30T11:04:10.000+0200},
  address = {Heidelberg},
  author = {Balzert, Helmut},
  biburl = {http://www.bibsonomy.org/bibtex/2cbda377e3edfa1a9c5749850312d9963/flint63},
  edition = {2.},
  file = {Springer Product page:http\://www.springer.com/978-3-8274-1410-6:URL;Amazon Search inside:http\://www.amazon.de/gp/reader/3827414105/:URL},
  groups = {public},
  interhash = {5ba97fc436ec91bce8f6fbba8ccb3617},
  intrahash = {cbda377e3edfa1a9c5749850312d9963},
  isbn = {978-3-8274-1410-6},
  keywords = {v1205 book intro software development oop uml},
  publisher = {Spektrum},
  timestamp = {2012-05-30T11:04:10.000+0200},
  title = {Lehrbuch Grundlagen der Informatik},
  username = {flint63},
  year = 2004
}

@book {HLW01,
  author       = {Herold, Helmut and Lurz, Bruno and Wohlrab, J\"urgen},
  title        = {Grundlagen der Informatik. Praktisch -- technisch -- theoretisch.},
  year         = {2007},
  isbn         = {978-3-8273-7305-2},
  pages        = {744~p.},
  publisher    = {M\"unchen: Pearson Studium},
  abstract     = {Beschreibung des Verlags: Alle wichtigen Gebiete der Praktischen, Technischen und Theoretischen Informatik, wie sie Bestandteil von Grundlagenvorlesungen in Diplom- und Bachelorstudieng\"angen f\"ur Informatiker und Ingenieure sind, werden in dieser Einf\"uhrung in verst\"andlicher Form vorgestellt und erkl\"art. Dar\"uber hinaus erm\"oglichen \"Ubungsaufgaben dem Leser eine eigenst\"andige Lernzielkontrolle. R\"atsel und Denksportaufgaben f\"ordern zudem die systematische Probleml\"osungsf\"ahigkeit. Zu allen Aufgaben stehen auch die L\"osungen zur Verf\"ugung. Die Vielzahl auf der CWS vorhandenen Demonstrations- und Simulationsprogramme erweitern den Rahmen dieser M\"oglichkeiten, mit denen sich der erlernte Stoff vertiefen und erweitern l\"asst. Dieses Lehrwerk bietet somit ein komplettes Lernpaket zur Einf\"uhrung in die Informatik und fu{\ss}t auf langj\"ahrigen Lehr- und Industrieerfahrungen des Autorenteams.},
  identifier   = {05254146}
}

@article{GoedelUnvS,
  year={1931},
  issn={0026-9255},
  journal={Monatshefte für Mathematik und Physik},
  volume={38},
  number={1},
  doi={10.1007/BF01700692},
  title={Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I},
  url={http://dx.doi.org/10.1007/BF01700692},
  publisher={Springer-Verlag},
  author={Gödel, Kurt},
  pages={173-198},
  language={German}
}

@article{Turing01011937,
  author = {Turing, A. M.}, 
  title = {On Computable Numbers, with an Application to the Entscheidungsproblem},
  volume = {s2-42}, 
  number = {1}, 
  pages = {230-265}, 
  year = {1937}, 
  doi = {10.1112/plms/s2-42.1.230}, 
  URL = {http://plms.oxfordjournals.org/content/s2-42/1/230.short}, 
  eprint = {http://plms.oxfordjournals.org/content/s2-42/1/230.full.pdf+html}, 
  journal = {Proceedings of the London Mathematical Society}
}