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 Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "Paris"

Zurück zur Trefferliste


Treffer 1 von 142178 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1381717756
Titel Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings / edited by Ferruccio Damiani, Marie Farrell
Person(en) Damiani, Ferruccio (Herausgeber)
Farrell, Marie (Herausgeber)
Organisation(en) SpringerLink (Online service) (Sonstige)
Ausgabe 1st ed. 2026
Verlag Cham : Springer Nature Switzerland, Imprint: Springer
Zeitliche Einordnung Erscheinungsdatum: 2026
Umfang/Format Online-Ressource, XXIII, 510 p. 160 illus., 112 illus. in color. : online resource.
Andere Ausgabe(n) Printed edition:: ISBN: 978-3-032-10793-0
Printed edition:: ISBN: 978-3-032-10795-4
Persistent Identifier URN: urn:nbn:de:101:1-2511160316226.318694199514
DOI: 10.1007/978-3-032-10794-7
URL https://doi.org/10.1007/978-3-032-10794-7
ISBN/Einband/Preis 978-3-032-10794-7
Sprache(n) Englisch (eng)
Beziehungen Lecture Notes in Computer Science ; 16194
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 142178
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration