Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

Distributive laws of directed containers : [extended abstract]Ahman, Danel; Uustalu, Tarmo11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions2012 / [p. 1-3]

artikkel kogumikus

2

raamat

11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions2012 https://www.ester.ee/record=b2769329*est

raamat

3

artikkel kogumikus

Higher-order attribute semantics of flat declarative languagesGrigorenko, Pavel20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 37-39 : ill https://artiklid.elnet.ee/record=b1072901*est

artikkel kogumikus

4

artikkel kogumikus

Model-based testing of a web-based positioning applicationRoo, Rivo; Ernits, Juhan-Peep20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 75-77 : ill

artikkel kogumikus

5

artikkel kogumikus

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, Niccolo21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 / p. 38-39

artikkel kogumikus

6

raamat

Seventeenth Estonian Winter School in Computer Science (EWSCS'12) : Park Hotel Palmse, Lahemaa, Estonia : February 26 - March 2, 20122012 https://www.ester.ee/record=b2755687*est

raamat

7

raamat

10th Workshop on Quantitative Aspects of Programming Languages : QAPL 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings2012 https://www.ester.ee/record=b2769334*est

raamat

8

raamat

Testing of Software and Communicating Systems : work-in-progress and position papers, tool demonstrations, and tutorial abstracts of TestCom/Fates 2007 : Tallinn, Estonia, 26-29 June 2007Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang2007 https://www.ester.ee/record=b2271047*est

raamat

9

raamat

TFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme2005 https://www.ester.ee/record=b2076119*est

raamat

10

raamat

12th Workshop on Language Descriptions, Tools and Applications : LDTA 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings2012 https://www.ester.ee/record=b2769319*est

raamat

11

raamat

20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstractsUustalu, Tarmo; Vain, Jüri; Ernits, Juhan-Peep2008 https://www.ester.ee/record=b2435749*est

raamat

12

raamat

21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 http://www.ester.ee/record=b4473137*est

raamat

13

artikkel kogumikus

Welcome to TFP, ICFP and GPCE 2005 in TallinnUustalu, TarmoTFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme2005 / p. 3

artikkel kogumikus

14

raamat

Workshop on Mathematically Structured Functional Programming : MSFP 2006 : Kuressaare, Estonia, 2 July 2006 : proceedings2006 http://www.ester.ee/record=b2155741*est

raamat

Institute of Cybernetics at Tallinn University of Technology (kirjastus/väljaandja)

teaviku laadid

autor 9

võtmesõna 5

märksõna 4

TTÜ märksõna 1