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



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1069348694
Person Schneider, Sven
Geschlecht männlich
Land Deutschland (XA-DE)
Beruf(e) Informatiker
Weitere Angaben Wissenschaftlicher Mitarbeiter an der TU Berlin 2008-2014
Beziehungen zu Organisationen Technische Universität Berlin. Institut für Softwaretechnik und Theoretische Informatik (2008-2014)
Universität Potsdam
Hasso-Plattner-Institut für Digital Engineering
Typ Person (piz)
Autor von 18 Publikationen
  1. Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
    Schneider, Sven. - Potsdam : Universität Potsdam, 2022
  2. Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation
    Flotterer, Boris. - Potsdam : Universität Potsdam, 2022
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration