Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=1202623379



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1202623379
Person Herda, Mihai
Akademischer Grad Dr. rer. nat.
Geschlecht männlich
Quelle Homepage (Stand: 10.01.2020): https://formal.iti.kit.edu/~herda/
Land Rumänien (XA-RO)
Geografischer Bezug Geburtsort: Braşov
Thematischer Bezug Studienfach: Informatik
Typ Person (piz)
Autor von 1 Publikation
  1. Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
    Herda, Mihai. - Karlsruhe : KIT-Bibliothek, 2020





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration