Glück, Roland und Santocanale, Luigi und Winter, Michael (2023) Relational and Algebraic Methods in Computer Science: 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023. Lecture Notes in Computer Science, 13896. Springer. doi: 10.1007/978-3-031-28083-2. ISBN 978-3-031-28082-5. ISSN 302-9743.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: https://dx.doi.org/10.1007/978-3-031-28083-2
elib-URL des Eintrags: | https://elib.dlr.de/194641/ | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Tagungsband | ||||||||||||||||
Titel: | Relational and Algebraic Methods in Computer Science: 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023 | ||||||||||||||||
Autoren: |
| ||||||||||||||||
Datum: | März 2023 | ||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||
Open Access: | Nein | ||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||
In SCOPUS: | Ja | ||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||
Band: | 13896 | ||||||||||||||||
DOI: | 10.1007/978-3-031-28083-2 | ||||||||||||||||
Herausgeber: |
| ||||||||||||||||
Verlag: | Springer | ||||||||||||||||
Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||
ISSN: | 302-9743 | ||||||||||||||||
ISBN: | 978-3-031-28082-5 | ||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||
Stichwörter: | Relations Kleene Algebra | ||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
HGF - Programm: | Raumfahrt | ||||||||||||||||
HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||
DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||
DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | R - Projekt Factory of the Future | ||||||||||||||||
Standort: | Augsburg | ||||||||||||||||
Institute & Einrichtungen: | Institut für Bauweisen und Strukturtechnologie > Automation und Produktionstechnologie | ||||||||||||||||
Hinterlegt von: | Glück, Dr. Roland | ||||||||||||||||
Hinterlegt am: | 19 Apr 2023 09:11 | ||||||||||||||||
Letzte Änderung: | 24 Apr 2024 20:55 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags