Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 22 von 247
    Datensatz exportieren als...
  • BibTeX
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, Part I
Theoretical Computer Science and General Issues : 12078
1st ed. 2020, 2020

Details

Autor(en) / Beteiligte
Titel
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, Part I
Ist Teil von
  • Theoretical Computer Science and General Issues : 12078
Auflage
1st ed. 2020
Ort / Verlag
Cham : Springer International Publishing
Erscheinungsjahr
2020
Link zum Volltext
Sprache
Englisch
Identifikatoren
ISBN: 9783030451905
DOI: 10.1007/978-3-030-45190-5
Titel-ID: 990366364240206441
Format
1 Online-Ressource (XXIII, 501 p. 1 illus)
Schlagworte
Computers, Special purpose computers, Architecture, Computer, Microprogramming , Computer science—Mathematics