Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Dublin"
Treffer 63 von 314
|
|
| Link zu diesem Datensatz | https://d-nb.info/1227839723 |
| Titel | Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution) |
| Person(en) |
Dietsch, Daniel (Verfasser) Heizmann, Matthias (Verfasser) Nutz, Alexander (Verfasser) Schätzle, Claus (Verfasser) Schuessele, Frank (Verfasser) |
| Verlag | Freiburg : Universität |
| Zeitliche Einordnung | Erscheinungsdatum: 2021 |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:bsz:25-freidok-1762708 DOI: 10.1007/978-3-030-45237-7_32 |
| URL | https://freidok.uni-freiburg.de/data/176270 (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen |
Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings. - Cham, 2020. - 418-422, ISBN: 978-3-030-45236-0 Lecture notes in computer science. - 12079 (2020) , 418-422, ISSN: 1611-3349 |
| DDC-Notation | 005.12 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 63 von 314
Administration
