- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2008-11
- Klassifikation
-
Informatik
- Schlagwort
-
Verifikation
Temporale Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2008
- Beteiligte Personen und Organisationen
-
Bäumler, Simon
Balser, Michael
Reif, Wolfgang
Schmitt, Jonathan
- URN
-
urn:nbn:de:bvb:384-opus4-10417
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:44 MESZ
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
- Bäumler, Simon
- Balser, Michael
- Reif, Wolfgang
- Schmitt, Jonathan
- Universität Augsburg
Entstanden
- 2008
Ähnliche Objekte (12)
Language independent modelling of parallelism
Degrees of parallelism
From Synchronous to Asynchronous Event-driven Fusion Approaches in Multi-modal Affect Recognition
Beat-synchronous data-driven automatic chord labeling
Sustainable language teaching
The EPKML language
Transhumanism in language teaching
Using the internal language of toposes in algebraic geometry
English and foreign language teaching in the German Gymnasium
Reseña de Bickerton, Derek. 2016. Roots of language. Berlin: Language Science Press
Epistemic ownership and the practical/epistemic parallelism
Parallelism constraints in underspecified semantics
Language independent modelling of parallelism
Degrees of parallelism
From Synchronous to Asynchronous Event-driven Fusion Approaches in Multi-modal Affect Recognition
Beat-synchronous data-driven automatic chord labeling
Sustainable language teaching
The EPKML language
Transhumanism in language teaching
Using the internal language of toposes in algebraic geometry
English and foreign language teaching in the German Gymnasium
Reseña de Bickerton, Derek. 2016. Roots of language. Berlin: Language Science Press
Epistemic ownership and the practical/epistemic parallelism
Parallelism constraints in underspecified semantics
Language independent modelling of parallelism
Degrees of parallelism
From Synchronous to Asynchronous Event-driven Fusion Approaches in Multi-modal Affect Recognition
Beat-synchronous data-driven automatic chord labeling
Sustainable language teaching
The EPKML language
Transhumanism in language teaching
Using the internal language of toposes in algebraic geometry
English and foreign language teaching in the German Gymnasium
Reseña de Bickerton, Derek. 2016. Roots of language. Berlin: Language Science Press
Epistemic ownership and the practical/epistemic parallelism