Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Die 2,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Aufgrund von Systemarbeiten sind die archivierten Webseiten vorübergehend nicht erreichbar.
 
 

Ergebnis der Suche nach: nid=1024516504



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1024516504
Person Bäumler, Simon
Akademischer Grad Dr. rer. nat.
Geschlecht männlich
Andere Namen Baeumler, Simon
Zeit Lebensdaten: 1974-
Land Deutschland (XA-DE)
Geografischer Bezug Geburtsort: München
Beruf(e) Informatiker
Thematischer Bezug Softwareentwicklung
(Fakultät für Angewandte Informatik der Univ. Augsburg) (2010)
Typ Person (piz)
Autor von 3 Publikationen
  1. Modulares Beweisen temporallogischer Eigenschaften paralleler Programme
    Bäumler, Simon. - Augsburg : Universität Augsburg, 2012
  2. Modulares Beweisen temporallogischer Eigenschaften paralleler Programme
    Bäumler, Simon, 2010
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration