Treffer 1 – 5 von 5 für Suche 'Uustalu, Tarmo', Suchdauer: 0,03s
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
Theoretical aspects of computing – ICTAC 2018 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
2
Special issue on mathematics of program construction (MPC 2006) [eighth International Conference on Mathematics of Program Construction, MPC 2006, ... held in Kuressaare, Estonia,...
Veröffentlicht 2009Weitere Verfasser: “… Uustalu, Tarmo …”
Signatur: Wird geladen …
Standort: Wird geladen … -
3
21st International Conference on Types for Proofs and Programs TYPES 2015, May 18-21, 2015, Tallinn, Estonia
Veröffentlicht 2018Weitere Verfasser: “… Uustalu, Tarmo …”
Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
4
Special issue: the 20th nordic workshop on programming theory (NWPT 2008)
Veröffentlicht 2010Weitere Verfasser: “… Uustalu, Tarmo …”
Signatur: Wird geladen …
Standort: Wird geladen … -
5
Theoretical aspects of computing - ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …