Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

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

 
Neuigkeiten Die Deutsche Nationalbibliothek ist am Freitag, 1. Mai 2026 an beiden Standorten geschlossen. //
The German National Library will be closed on Friday 1 May 2026 at both locations.
 
 

Ergebnis der Suche nach: nid=171523881



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/171523881
Person Bertrand, Nathalie
Andere Namen Bertrand, N.
Weitere Angaben Tätig bei CEMAGREF (1996); Tätig am Ministère du Logement, des Transports et du Tourisme (1995)
Typ Person (piz)
Autor von 19 Publikationen
  1. Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk)
    Bertrand, Nathalie. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
  2. Holistic Verification of Blockchain Consensus
    Bertrand, Nathalie. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
  3. ...
Beteiligt an 1 Publikation
  1. Quantitative Evaluation of Systems
    Cham : Springer International Publishing, 2017, 1st edition 2017





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration