Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas

A knowledge-based approach to the specification-based program testingTepandi, JaakComputers and artificial intelligence = Вычислительные машины и искуственный интеллект = Pocitace a umela inteligencia1988 / p. 39-48 https://www.ester.ee/record=b1482459*est

artikkel ajakirjas

2

artikkel ajakirjas

A7 I²L kapu modellezese a TRAN-TRAN nemlineáris aramkölakalizös program segítségévelRang, ToomasHíradástechnika = Journal on communications, computers, convergence, contents, companies1980 / p. 216-220

artikkel ajakirjas

3

artikkel kogumikus

Abstraktse automaadi sünteesi programmid algoritmi graafskeemi aluselPops, M.; Salum, Kaja; Plaks, ToomasXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 91 https://www.ester.ee/record=b1322611*est

artikkel kogumikus

4

artikkel kogumikus

An integrated platform for blended learning in engineering educationMakarova, Irina; Shubenkova, Ksenia; Tikhonov, Danila; Pashkevich, AntonProceedings of the 9th International Conference on Computer Supported Education (CSEDU 2017) : April 21-23, 2017, in Porto, Portugal. Volume 22017 / p. 171-176 : ill http://dx.doi.org/10.5220/0006375601710176

artikkel kogumikus

5

artikkel ajakirjas

Arvutiprogramm tuuleelektrijaama tasuvusarvutusteksValma, ArnoEnergeetika Infoleht / Majandusministeerium1999 / 3, lk. 10-13

artikkel ajakirjas

6

artikkel ajakirjas

Arvutiprogrammid Eesti Energia tuleviku planeerimiseksKisel, Einari; Siirde, Andres; Ülavere, EeroEnergia Teataja1998 / lk. 6-8, 32-34: ill https://www.ester.ee/record=b1072156*est

artikkel ajakirjas

7

artikkel ajakirjas

Automation of the 3-phase induction motor type test place for industrial useKuusk, Leho; Laugis, JuhanBaltic electrical engineering review1998 / 1, p. 10-12

artikkel ajakirjas

8

artikkel ajalehes

Bilansivõimeline raamatupidamisprogrammLõokene, IngaÄripäev1994 / 27. apr., lk. 22.: sk

artikkel ajalehes

9

artikkel ajakirjas EST / artikkel ajakirjas ENG

Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

10

artikkel kogumikus

Combined pseudo-exhaustive and deterministic testing of array multipliersOyeniran, Adeboye Stephen; Azad, Siavoosh Payandeh; Ubar, Raimund-Johannes2018 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) : THETA 21st edition, 24th-26th May, Cluj-Napoca, Romania : proceedings2018 / 6 p. : ill https://doi.org/10.1109/AQTR.2018.8402708

artikkel kogumikus

11

artikkel kogumikus

Combining effects and coeffects via gradingGaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, TarmoICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 20162016 / p. 476-489 https://doi.org/10.1145/2951913.2951939

artikkel kogumikus

12

artikkel ajakirjas

Comparison of dietary data calculated by different computerized programsSaava, Merileid; Vokk, Raivo; Deikina, Julia; Pilv, E.Food and nutrition = Toit ja toitumine1998 / p. 52-58

artikkel ajakirjas

13

artikkel ajakirjas

Dietary surveys of children - brief overview of the related methods, analysis software, institutions under survey and resulting recommendationsPitsi, Tagli; Ilves Annunziata, Anne-ReetFood and nutrition = Toit ja toitumine2005 / p. 12-15

artikkel ajakirjas

14

artikkel kogumikus

DyMeP : an infrastructure to support dynamic memory binding for runtime mapping in CGRAsTajammul, Muhammad Adeel; Jafri, Syed Mohammad Asad Hassan; Ellervee, Peeter; Hemani, Ahmed; Tenhunen, Hannu; Plosila, JuhaDoctoral School in Information and Communication Technology : proceedings of doctoral session of BEC 2014 : October 6-8 2014, Laulasmaa2014 / lk. 19-22 : ill

artikkel kogumikus

15

artikkel kogumikus

DyMeP : an infrastructure to support dynamic memory binding for runtime mapping in CGRAsTajammul, Muhammad Adeel; Jafri, Syed Mohammad Asad Hassan; Ellervee, Peeter; Hemani, Ahmed; Tenhunen, Hannu; Plosila, Juha28th International Conference on VLSI Design : held concurrently with 14th International Conference on Embedded Systems : 3-7 January 2015, Bangalore, India : proceedings2015 / p. 547-552 : ill http://dx.doi.org/10.1109/VLSID.2015.98

artikkel kogumikus

16

artikkel ajakirjas

EdetabelRünne, RasmusArvutustehnika ja Andmetöötlus : A&A1989 / lk. 37-38 https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

17

raamat

Ehitusmehaanika tüüpülesannete lahendamine arvutil "Nairi-2" : metoodiline juhend1975 https://www.ester.ee/record=b1256471*est

raamat

18

artikkel kogumikus

Energiasüsteemi režiimide optimeerimise programmGavriljuk, S.; Lelumees, HeinoXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 98 https://www.ester.ee/record=b1322611*est

artikkel kogumikus

19

artikkel ajakirjas EST / artikkel ajakirjas ENG

Estimates of entrainment in the Denmark Strait overflow plume from CTD/LADCP dataZhurbas, Victor; Paka, Vadim; Rudels, B.; Quadfasel, D.Oceanology2016 / p. 205-213 : ill https://doi.org/10.1134/S0001437016020223 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

20

artikkel kogumikus

A feasibility analysis of decentralized solar power using RETScreen in OdishaMishra, Sambeet; Tripathy, Pratyasha; Ali, Sayed Majid2015 International Conference on Electrical, Electronics, Signals, Communication and Optimization (EESCO) : Visakhapatnam, India, 24-25 January 20152015 / [6] p. : ill https://doi.org/10.1109/EESCO.2015.7253739

artikkel kogumikus

21

artikkel kogumikus

Formal specification of concurrent time-constraint programsMõtus, LeoEesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted1996 / lk. 267 https://www.ester.ee/record=b1052731*est

artikkel kogumikus

22

artikkel ajakirjas EST / artikkel ajakirjas ENG

Geothermal energy piles and boreholes design with heat pump in a whole building simulation softwareFadejev, Jevgeni; Kurnitski, JarekEnergy and buildings2015 / p. 23-34 : ill https://doi.org/10.1016/j.enbuild.2015.06.014 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

23

artikkel kogumikus

GIS used in site remediation : a test site exampleGöttsche, Lars FriboGIS-Baltic Sea States '93 : exhibition, conference, Tallinn, Estonia, 29 November - 1 December : proceedings1994 / p. 52-58: ill

artikkel kogumikus

24

raamat

GNU Octave : juhend GNU Octave installeerimiseks2006 https://www.ester.ee/record=b2190292*est

raamat

25

artikkel ajakirjas

Guest editorial : Special issue on parallel, distributed, and network-based processing in next-generation embedded systemsMubeen, Saad; Lo Bello, Lucia; Daneshtalab, Masoud; Saponara, SergioJournal of Systems Architecture : the EUROMICRO Journal2021 / art. 102159 https://doi.org/10.1016/j.sysarc.2021.102159

artikkel ajakirjas

arvutiprogrammid (märksõna)

teaviku laadid

märksõna 1