Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Sound Probabilistic Numerical Error Analysis

Lohar, D., Prokop, M., & Darulova, E. (2019). Sound Probabilistic Numerical Error Analysis. In W. Ahrendt, & S. L. Tapia Tarifa (Eds.), Integrated Formal Methods (pp. 322-340). Berlin: Springer. doi:10.1007/978-3-030-34968-4_18.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0005-E2EF-F Versions-Permalink: https://hdl.handle.net/21.11116/0000-0005-E305-5
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Lohar, Debasmita1, Autor           
Prokop, Milos2, Autor
Darulova, Eva1, Autor           
Affiliations:
1Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society, ou_2541697              
2External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20192019
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Lohar_IFM2019
DOI: 10.1007/978-3-030-34968-4_18
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 15th International Conference on Integrated Formal Methods
Veranstaltungsort: Bergen, Norway
Start-/Enddatum: 2019-12-02 - 2019-12-06

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Integrated Formal Methods
  Untertitel : 15th International Conference, IFM 2019 ; Bergen, Norway, December 2–6, 2019 ; Proceedings
  Kurztitel : IFM 2019
Genre der Quelle: Konferenzband
 Urheber:
Ahrendt, Wolfgang1, Herausgeber
Tapia Tarifa, Silvia Lizeth1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 322 - 340 Identifikator: ISBN: 978-3-030-34967-7