|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Buchbeitrag
Anzahl der Publikationen: 2
Zeitschriftenartikel
Mütterlein, Joschka 
ORCID: https://orcid.org/0000-0001-6245-6079; Kunz, Reinhard E. und Baier, Daniel
(2019):
Effects of lead-usership on the acceptance of media innovations: A mobile augmented reality case.
In: Technological Forecasting and Social Change, Bd. 145: S. 113-124
ORCID: https://orcid.org/0000-0001-6245-6079; Kunz, Reinhard E. und Baier, Daniel
(2019):
Effects of lead-usership on the acceptance of media innovations: A mobile augmented reality case.
In: Technological Forecasting and Social Change, Bd. 145: S. 113-124
Buchbeitrag
Baier, Daniel ORCID: https://orcid.org/0000-0001-9116-1974; Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662 und Friedberger, Karlheinz ORCID: https://orcid.org/0000-0001-7624-654X
(2021):
JavaSMT 3: Interacting with SMT Solvers in Java.
In: Silva, Alexandra und Leino, K. Rustan M. (Hrsg.):
Computer Aided Verification. 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Theoretical Computer Science and General Issues (LNTCS), Bd. 12760. Cham: Springer. S. 195-208
ORCID: https://orcid.org/0000-0001-9116-1974; Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662 und Friedberger, Karlheinz ORCID: https://orcid.org/0000-0001-7624-654X
(2021):
JavaSMT 3: Interacting with SMT Solvers in Java.
In: Silva, Alexandra und Leino, K. Rustan M. (Hrsg.):
Computer Aided Verification. 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Theoretical Computer Science and General Issues (LNTCS), Bd. 12760. Cham: Springer. S. 195-208