Logo des Repositoriums
 

Band 35 - Heft 4 (August 2012)

Autor*innen mit den meisten Dokumenten  

Auflistung nach:

Neueste Veröffentlichungen

1 - 10 von 14
  • Zeitschriftenartikel
    Continuous Deployment
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Quibeldey-Cirkel, Klaus; Thelen, Christoph
  • Zeitschriftenartikel
    Turing und Künstliche Intelligenz
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Furbach, Ulrich
  • Zeitschriftenartikel
    Die Vorstandsperspektive
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Fellner, Dieter W.
  • Zeitschriftenartikel
    Editorial
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Baader, Franz; Thomas, Wolfgang
  • Zeitschriftenartikel
    Dagstuhl Manifesto
    (Informatik-Spektrum: Vol. 35, No. 4, 2012)
  • Zeitschriftenartikel
    Turing und Kryptografie
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Blömer, Johannes
    Ich beschreibe die deutsche Enigma-Verschlüsselungsmaschine und skizziere, wie sie von den Codebrechern von Bletchely Park um Alan Turing gebrochen wurde. Besonderes Augenmerk lege ich auf die Beiträge Alan Turings und die Bedeutung seiner Leistung für die Entwicklung moderner Kryptografie.
  • Zeitschriftenartikel
    Turings Arbeiten über Berechenbarkeit – eine Einführung und Lesehilfe
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Schöning, Uwe; Thomas, Wolfgang
  • Zeitschriftenartikel
    Alan Turing und Deutschland: Berührungspunkte
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Glaschick, Rainer; Ryska, Norbert
    Alan Turing trug während des Zweiten Weltkriegs entscheidend dazu bei, mit der ENIGMA verschlüsselte deutsche militärische Geheimnachrichten zu entziffern. Weniger bekannt ist jedoch, dass er mehrfach Deutschlandbereiste und wissenschaftlich mit Deutschen korrespondierte. Zunächst werden die Kontakte Alan Turings mit Deutschland und deutschen Wissenschaftlern dargestellt. Darauf folgt die Rezeption der Turingmaschine, ausgehend vom Institut für mathematische Logik und Grundlagenforschung der Universität Münster.
  • Zeitschriftenartikel
    Mitteilungen der Gesellschaft für Informatik 216. Folge
    (Informatik-Spektrum: Vol. 35, No. 4, 2012)
  • Zeitschriftenartikel
    Turing und die Verifikation
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Olderog, Ernst-Rüdiger; Wilhelm, Reinhard
    Ausgehend von Turings 1949 gehaltenem Vortrag ,,Checking a Large Routine“ untersuchen wir, welche seiner Ideen zur Verifikation von Programmen sich durchgesetzt haben, und skizzieren, wie sich das Gebiet der Verifikation seitdem bis heute weiterentwickelt hat.