Otsing - TalTech teadusportaal

kuva

reasta

226

artikkel kogumikus EST / artikkel kogumikus ENG

Model-based technology of software development in largePenjam, Jaan; Tõugu, Enn14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 149-163 : ill https://ceur-ws.org/Vol-1525/paper-11.pdf Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

227

dissertatsioon

Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimineKull, Andres2009 https://www.ester.ee/record=b2539853*est

dissertatsioon

228

artikkel ajakirjas

Model-based verification with error localization and error correction for C designsRepinski, UrmasПрограммные продукты и системы = Programmnye produkty i sistemy = Software & systems2012 / p. 221-229 : ill

artikkel ajakirjas

229

artikkel kogumikus

Modeling in the bioimpedance measurement techniques using general-purpose softwarePaavle, ToivoBEC 2006 : 2006 International Baltic Electronics Conference : Tallinn University of Technology, October 2-4, 2006, Tallinn, Estonia : proceedings of the 10th Biennial Baltic Electronics Conference2006 / p. 209-212 : ill

artikkel kogumikus

230

artikkel kogumikus

Modeling metric timeMõtus, LeoUML for real : design of embedded real-time systems2003 / p. 205-220 https://link.springer.com/chapter/10.1007/0-306-48738-1_10

artikkel kogumikus

231

artikkel kogumikus

Models and success factor of process changeLepasaar, Marion; Varkoi, Timo; Jaakkola, HannuProduct Focused Software Process Improvement : third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001 : proceedings2001 / p. 68-77 https://link.springer.com/content/pdf/10.1007/3-540-44813-6_9.pdf

artikkel kogumikus

232

artikkel kogumikus

Monitoring patient movement velocity using passive infrared sensor informationEhala, Johannes; Astapov, SergeiInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu2013 / p. 21-24 : ill

artikkel kogumikus

233

artikkel kogumikus

Motor drive design in database environmentLaugis, Juhan; Vodovozov, ValeryThe 4th International Scientific Conference of The Military Technical College [Korby El-Kobbah, Cairo, Egypt] : 27-29 May 2008. Proceedings of the 6th ICEENG Conference : 27-29 May, 20082008 / p. EE018 [CD-ROM] https://iceeng.journals.ekb.eg/article_34296_b9df1acbd4c7630c96585eec987ce18f.pdf

artikkel kogumikus

234

artikkel kogumikus

MRP systems researchŠevtšenko, EduardProceedings of the 4th International Conference Industrial Engineering - New Challenges to SME : 29-30 April 2004, Tallinn, Estonia2004 / p. 283-286 : ill

artikkel kogumikus

235

artikkel ajakirjas

Mudelipõhine testimine : kas teoreetikute näpuharjutus või testimise homne päev?Markvardt, MailiA & A2010 / 3, lk. 48-56 https://artiklid.elnet.ee/record=b2183739*est

artikkel ajakirjas

236

artikkel ajakirjas

Mudelprojekteerimine aitab luua energiasäästlikke piirdetarindeidSutt, Jüri; Aaskivi, UrmasEhitaja2011 / 9, lk. 58-62 : ill https://artiklid.elnet.ee/record=b2433935*est

artikkel ajakirjas

237

artikkel kogumikus

Multi-level test generation and fault diagnosis for finite state machinesUbar, Raimund-Johannes; Brik, MarinaDependable computing : proceedings / EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 19961996 / p. 264-281: ill

artikkel kogumikus

238

artikkel kogumikus

Multimeedia ülekanne piiratud ressursside puhulKulmar, MarikaTelekommunikatsioon 2002 : IX rahvusvahelise telekommunikatsioonipäeva materjalid2002 / lk. 36-45 : ill

artikkel kogumikus

239

artikkel ajakirjas

Mõistuse jõusaalAru, ErikForbes2012 / lk. 32-34 : fot

artikkel ajakirjas

240

artikkel ajakirjas

Mõtisklusi agiilarhitektuuristLeis, PaulA & A2011 / lk. 22-27 : ill https://artiklid.elnet.ee/record=b2472199*est

artikkel ajakirjas

241

artikkel ajakirjas

NATO kursus riist- ja tarkvara koosdisainistTammemäe, KalleArvutustehnika ja Andmetöötlus1995 / 9, lk. 23-24; 10, lk. 2-8; 11, lk. 2-7; 12, lk. 8-15

artikkel ajakirjas

242

artikkel kogumikus

New fault models and self-test generation for microprocessors using High-Level Decision DiagramsJasnetski, Artjom; Raik, Jaan; Tšertov, Anton; Ubar, Raimund-Johannes2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems DDECS 2015 : 22-24 April 2015, Belgrade, Serbia : proceedings2015 / p. 251-254 : ill

artikkel kogumikus

243

artikkel ajakirjas

New procedure for estimation of the physical values [Online resource]Baraškova, Tatjana; Shirokova, VeroonikaIJRDO - Journal of applied science2018 / p. 27-30 : ill https://ijrdo.org/index.php/as/article/view/2432

artikkel ajakirjas

244

artikkel kogumikus EST / artikkel kogumikus ENG

A new test suite reduction approach based on hypergraph minimal transversal miningTrabelsi, Shaima; Bennani, Mohamed Taha; Ben Yahia, SadokFuture Data and Security Engineering : 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27–29, 2019, Proceedings2019 / p. 15-30 https://doi.org/10.1007/978-3-030-35653-8_2 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

245

artikkel ajakirjas

Niccolò Veltri tarkvarateaduse instituudist sai vabariigi presidendi noore IT-teadlase preemiaMente et Manu2022 / lk. 6 : fot https://www.ester.ee/record=b1242496*est

artikkel ajakirjas

246

artikkel kogumikus

Niccolò Veltri: Theorem provers will also be used in schoolsVeltri, NiccoloEstonian Centre of Excellence in ICT Research2021 / p. 69-72 : ill http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est

artikkel kogumikus

247

artikkel kogumikus

Non-linear structure identification of a fed-batch bakers' yeast process - a simulation study of two techniquesKeulers, M.; Sepp, K.; Breur, A.; Reyman, G.Automation, simulation & measurement : ASM'91 : 3rd biennal conference, Tallinn, October 7-11, 1991. Section A. Section M / Tallinn Technical University1992 / p. 82-87: ill

artikkel kogumikus

248

artikkel kogumikus

Numerical control softwareKüttner, ReinConcise encyclopedia of software engineering1993 / p. 209-211

artikkel kogumikus

249

raamat

Objektorienteeritud lähenemine programmeerimisele : õpikJürgenson, Rein, inform.; Vahe, Vilmar2001 https://www.ester.ee/record=b1269056*est

raamat

250

raamat

Objektorienteeritud lähenemine programmeerimisele : õpikJürgenson, Rein, inform.; Vahe, Vilmar1999 https://www.ester.ee/record=b1269056*est

raamat

tarkvara (märksõna)

teaviku laadid

märksõna 93

võtmesõna 1