Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.
 
 

Ergebnis der Suche nach: "63501-7"

Zurück zur Trefferliste


Treffer 8 von 20 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1136660704
Art des Inhalts Konferenzschrift
Titel Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Person(en) Abate, Alessandro (Herausgeber)
Boldo, Sylvie (Herausgeber)
Organisation(en) Springer International Publishing (Verlag)
Ausgabe 1st edition 2017
Verlag Cham : Springer International Publishing
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressourcen (pdf)
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Numerical Software Verification
Persistent Identifier URN: urn:nbn:de:1111-20170712649
DOI: 10.1007/978-3-319-63501-9
URL https://link.springer.com/book/10.1007/978-3-319-63501-9 (Verlag)
ISBN/Einband/Preis 978-3-319-63501-9
EAN 9783319635019
Beziehungen Lecture Notes in Computer Science
Anmerkungen Lizenzpflichtig
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 8 von 20
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration