Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: cod="ro"

Zurück zur Trefferliste


Treffer 29 von 4503560 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1380044448
Titel AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings / edited by Mirco Giacobbe, Anna Lukina
Person(en) Giacobbe, Mirco (Herausgeber)
Lukina, Anna (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, X, 280 p. 93 illus., 80 illus. in color. : online resource.
Andere Ausgabe(n) Printed edition:: ISBN: 978-3-031-99990-1
Printed edition:: ISBN: 978-3-031-99992-5
Persistent Identifier URN: urn:nbn:de:101:1-2510280309463.299189016283
DOI: 10.1007/978-3-031-99991-8
URL https://doi.org/10.1007/978-3-031-99991-8
ISBN/Einband/Preis 978-3-031-99991-8
Sprache(n) Englisch (eng)
Beziehungen Lecture Notes in Computer Science ; 15947
DDC-Notation 004.2 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 29 von 4503560
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration