Otsing - TalTech teadusportaal

kuva

reasta

1

raamat

Andmestruktuuride lühikursus : õpikJürgenson, Rein, inform.2000 https://www.ester.ee/record=b1378204*est

raamat

2

artikkel kogumikus

Applications of structural synthesis of programsTõugu, Enn; Matskin, Mihhail; Penjam, JaanProceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France1999 / p. 551-569

artikkel kogumikus

3

artikkel kogumikus

Databases for systems with structural synthesis of programsHaav, Hele-Mai; Kalja, AhtoProc. of the Baltic Workshop on National Infrastructure Databases : problems, methods, experiences1994 / p. 185-196

artikkel kogumikus

4

artikkel ajakirjas

Deductive and inductive methods for program synthesisPenjam, Jaan; Sanko, JelenaInternational journal of computer and information sciences2004 / 3, p. 171-181 https://cs.ioc.ee/~jaan/Papers/IJCIS/IJCIS3105.pdf

artikkel ajakirjas

5

artikkel kogumikus EST / artikkel kogumikus ENG

Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 https://doi.org/10.4204/eptcs.207.5 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

6

raamat

Dünaamilised andmestruktuurid : õpikJürgenson, Rein, inform.1996 https://www.ester.ee/record=b1058400*est

raamat

7

artikkel kogumikus EST / artikkel kogumikus ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

8

artikkel kogumikus

Structural synthesis of programs using regular data structuresHarf, Mait; Penjam, JaanAbstracts of the 6-th Nordic Workshop on Programming Theory, 17-19 October 1994, Aarhus, Denmark1994 / p. 19

artikkel kogumikus

9

raamat

Struktuursed tehnikad andmetöötluses : metoodiline juhend1982 https://www.ester.ee/record=b1255318*est

raamat

10

artikkel kogumikus

Пакет макрокоманд для структурного программирования на языке АссемблерBernštein, Jelena; Schmundack, A.Вопросы создания средств обработки информации : (обработка данных, программирование)1977 / с. 43-52 : илл https://www.ester.ee/record=b1309533*est https://digikogu.taltech.ee/et/Item/30c1c54d-a877-4ebb-8ed5-09949cafb0e1

artikkel kogumikus

11

artikkel kogumikus

Программирование, не зависящее от языкаJürgenson, Rein, inform.Теоретические и прикладные вопросы математики : тезисы докладов конференции, 26-27 сентября 1985 г. II1985 / с. 182 https://www.ester.ee/record=b1305194*est

artikkel kogumikus

struktuurprogrammeerimine (märksõna)

teaviku laadid

märksõna 1