Treffer 1 – 5 von 5 für Suche 'Raskin, Jean-François', Suchdauer: 0,06s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Principles of Systems Design Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Veröffentlicht 2022Weitere Verfasser: “… Raskin, Jean-François …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch E-Book -
2
34th International Conference on Concurrency Theory CONCUR 2023, September 18–23, 2023, Antwerp, Belgium
Veröffentlicht 2023Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
3
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings
Veröffentlicht 2014Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
4
Principles of systems design essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday
Veröffentlicht 2022Weitere Verfasser: “… Raskin, Jean-François …”
Signatur: Wird geladen …
Standort: Wird geladen … -
5
42nd International Symposium on Mathematical Foundations of Computer Science
Veröffentlicht 2017Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …