Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
 

Ergebnis der Suche nach: "118183540"

Zurück zur Trefferliste


Treffer 1 von 38 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1337677167
Titel Information-flow interfaces / by Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Person(en) Bartocci, Ezio (Verfasser)
Ferrère, Thomas (Verfasser)
Henzinger, Thomas (Verfasser)
Nickovic, Dejan (Verfasser)
Oliveira Da Costa, Ana Alexandra (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format 1 Online-Ressource.
Persistent Identifier URN: urn:nbn:de:101:1-2408020921528.747723319389
DOI: 10.1007/s10703-024-00447-0
URL https://doi.org/10.1007/s10703-024-00447-0
Zeitliche Einordnung Erscheinungsdatum: 2024
DDC-Notation 005.12 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Formal methods in system design (23.5.2024: 1-46)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 38
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration