-
1
Theoretical aspects of computing – ICTAC 2018 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
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 …”
Tagungsbericht Buch -
3
21st International Conference on Types for Proofs and Programs TYPES 2015, May 18-21, 2015, Tallinn, Estonia
Veröffentlicht 2018Weitere Verfasser: “… Uustalu, Tarmo …”
kostenfrei
kostenfrei
kostenfrei
Volltext
Elektronisch Tagungsbericht E-Book -
4
Special issue: the 20th nordic workshop on programming theory (NWPT 2008)
Veröffentlicht 2010Weitere Verfasser: “… Uustalu, Tarmo …”
Tagungsbericht Buch -
5
Theoretical aspects of computing - ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser:Tagungsbericht Buch