Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Dienstag, 17. Juni 2025: Die Deutsche Nationalbibliothek ist wegen eines Beschäftigtentreffens an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 in Frankfurt sind geschlossen. // Tuesday, 17 June 2025: The German National Library will be closed at both locations due to a staff meeting. The exhibitions of the German Museum of Books and Writing in Leipzig will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933-1945 in Frankfurt will be closed.
 
 

Ergebnis der Suche nach: cod="ro"

Zurück zur Trefferliste


Treffer 71 von 247129 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1367267439
Titel A Complete Inference System for Probabilistic Infinite Trace Equivalence / Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova
Person(en) Cîrstea, Corina (Verfasser)
Moss, Lawrence S. (Verfasser)
Noquez, Victoria (Verfasser)
Schmid, Todd (Verfasser)
Silva, Alexandra (Verfasser)
Sokolova, Ana (Verfasser)
Verlag Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung Erscheinungsdatum: 2025
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-227870
DOI: 10.4230/LIPIcs.CSL.2025.30
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.30 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Leibniz International Proceedings in Informatics, 2025, Volume 326, 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), page 30:1-30:23
DDC-Notation 511.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 71 von 247129
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration