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=1143617126



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1143617126
Person Maximova, Maria
Akademischer Grad Dr. rer. nat.
Geschlecht weiblich
Andere Namen Maximowa, Maria
Maksimova, Maria
Quelle Internet: https://hpi.de/giese/personen/dr-maria-maximova.html
Zeit Wirkungsdaten: 2017-
Land Deutschland (XA-DE)
Geografischer Bezug Wirkungsort: Potsdam
Beruf(e) Naturwissenschaftlerin
Informatikerin
Beziehungen zu Organisationen Technische Universität Berlin. Fakultät Elektrotechnik und Informatik (Promotion) (2019)
Hasso-Plattner-Institut für Softwaresystemtechnik
Typ Person (piz)
Autor von 24 Publikationen
  1. Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
    Schneider, Sven. - Potsdam : Universität Potsdam, 2022
  2. Invariant analysis for multi-agent graph transformation systems using k-induction
    Schneider, Sven. - Potsdam : Universitätsverlag Potsdam, 2022
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration