- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 / Beyer, Dirk; Huisman, Marieke (Hrsg.). - Cham : Springer International Publishing, 2018. - (Lecture Notes in Computer Science ; 10806). - S. 452-456. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-89962-6
In: TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, TACAS 2018, 14. Apr. 2018 - 20. Apr. 2018, Thessaloniki
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2018
- URN
-
urn:nbn:de:bsz:352-2-47to71lzthxu0
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
Entstanden
- 2018
Ähnliche Objekte (12)
Ultimate Taipan with dynamic block encoding : : (competition contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate
Ultimate Origins
Ultimate Taipan with dynamic block encoding : : (competition contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate
Ultimate Origins
Ultimate Taipan with dynamic block encoding : : (competition contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate