Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

Aktiivsuskoefitsiendi tuletisedViiroja, AndresXXIII Eesti keemiapäevad : teaduskonverentsi ettekannete referaadid1997 / lk. 156

artikkel kogumikus

2

artikkel kogumikus

Alternatiivsete graafide mudel loogikalülituste funktsioonide kirjeldamiseks ja analüüsiksAnton, E.; Ubar, Raimund-JohannesXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 42-43 https://www.ester.ee/record=b2449987*est

artikkel kogumikus

3

artikkel kogumikus

Derivatives of the activity coefficientViiroja, Andres23rd Estonian Chemistry Days : abstracts of scientific conference1997 / p. 164

artikkel kogumikus

4

artikkel kogumikus

On the quantitative description of solvent effectsPalm, N.; Palm, V.23rd Estonian Chemistry Days : abstracts of scientific conference1997 / p. 105

artikkel kogumikus

5

artikkel ajakirjas

A 6D space framework for the description of distributed systemsPettai, ElmoEstonian journal of engineering2012 / p. 140-171 : ill

artikkel ajakirjas

6

artikkel kogumikus

Solvendiefektide kvantitatiivsest kirjeldusestPalm, N.; Palm, V.XXIII Eesti keemiapäevad : teaduskonverentsi ettekannete referaadid1997 / lk. 96

artikkel kogumikus

7

artikkel kogumikus EST / artikkel kogumikus ENG

Synthesis of implementations for divide-and-conquer specificationsBortin, MaksymFormal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings2022 / p. 73-88 https://doi.org/10.1007/978-3-031-22476-8_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

8

artikkel ajakirjas

The state-space description of two-rate nonlinear multivariable discrete systemsAstrov, Igor; Rüstern, EnnuProceedings of the Estonian Academy of Sciences. Physics. Mathematics1997 / 3, p. 187-196

artikkel ajakirjas

9

artikkel ajakirjas

Truth valued computing processes and process calculus: a formalism for describing programming logicKracht, WilhelmTallinna Tehnikaülikooli Toimetised1990 / lk. 55-94: ill

artikkel ajakirjas