Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag, 18. Februar bis Montag, 24. Februar 2025, 11:00 Uhr: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Inbetriebnahme der Medienausleihe und der angrenzenden Lesesäle erfordert diese Schließzeit.
 
 

Ergebnis der Suche nach: nid=1046197991



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1046197991
Person Heinze, Thomas
Akademischer Grad Dr. rer. nat.
Zeit Lebensdaten: 1982-
Land Deutschland (XA-DE)
Geografischer Bezug Geburtsort: Weimar
Beruf(e) Informatiker
Weitere Angaben Diss. Universität Jena 2013, Fakultät für Mathematik und Informatik
Typ Person (piz)
Autor von 1 Publikation
  1. Eine Methode zur kontrollierten Kontrollflussentfaltung und ihre Anwendung zur Präzisierung petrinetzbasierter Verifikationsmodelle
    Heinze, Thomas, 2013
Beteiligt an 2 Publikationen
  1. Codeklonerkennung mit Dominatorinformationen
    Schäfer, André. - Jena : Friedrich-Schiller-Universität Jena, 2023
  2. Programmiersprachen und Grundlagen der Programmierung
    Kolloquium Programmiersprachen und Grundlagen der Programmierung (19. : 2017 : Weimar). - Jena : Friedrich-Schiller-Universität, 2017, Als Manuskript gedruckt





Treffer 1 von 1
< < > <


E-Mail-IconAdministration