Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus EST / artikkel kogumikus ENG

Calculational proofs in relational graphical linear algebraPaixao, Joao; Sobocinski, Pawel MariaFormal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings2020 / p. 83-100 https://doi.org/10.1007/978-3-030-63882-5_6 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

2

artikkel kogumikus

Kahest majanduslike ülesannete lahendamise programmsüsteemistMikli, Toomas; Simonova, H.; Tombak, Mati; Villo, N.Ettekannete teesid IV vabariiklikule konverentsile "Automatiseeritud juhtimissüsteemid Eesti NSV-s" : Käärikul, 18.-21. dets. 1972.a. = Тезисы докладов IV республиканской конференции "Автоматизированные системы управления в Эстонской ССР" в Кяэрику, 18-21 декабря 1972 г.1972 / lk. 33 https://www.ester.ee/record=b1324728*est

artikkel kogumikus

3

raamat

MODULA-2 : elementaarprogrammeerimine : metoodiline juhend1988 https://www.ester.ee/record=b1233719*est

raamat

4

raamat

Modula-2. Moodulprogrammeerimine : metoodiline juhendJürgenson, Rein, inform.1989 https://www.ester.ee/record=b1210477*est

raamat

5

artikkel kogumikus

Overview of the modular system for inference of finite state machinesSpitšakova, MargaritaInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu2013 / p. 95-98 : ill

artikkel kogumikus

6

dissertatsioon

Scalable open platform for reliable medical sensorics = Laiendatav avatud platvorm usaldusväärsete meditsiiniliste sensorite jaoksLeier, Mairo2016 https://www.ester.ee/record=b4575148*est

dissertatsioon

7

raamat

Turbo Pascal : moodultehnika : metoodiline juhendJürgenson, Rein, inform.; Renzer, Aare1990 https://www.ester.ee/record=b1222339*est

raamat

8

artikkel ajakirjas

Turbo Pascali moodulitehnikaJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 9-19 : ill https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

9

artikkel kogumikus

Грамматические формализмы как прямые средства программирования модульных системVooglaid, Aare; Liib, DonaldВсесоюзный семинар по методам синтеза типовых модульных систем обработки данных : тезисы докладов1981 / с. 77

artikkel kogumikus

moodulprogrammeerimine (märksõna)

teaviku laadid

märksõna 1