Otsing - TalTech teadusportaal

kuva

reasta

51

raamat

Põletatud põlevkivi portland-põlevkivitsemendi, portland-komposiittsemendi ja müüritsemendi tootmiseksLaur, Toomas2002 https://www.ester.ee/record=b1639202*est

raamat

52

raamat

Saematerjal [Võrguteavik] : kuivatuskvaliteedi hindamine = Sawn timber : assessment of drying quality2019 https://www.ester.ee/record=b5204659*est

raamat

53

artikkel kogumikus

Scheme development for specification hybrid components of control systemsVain, Jüri; Kuusik, Alar; Kääramees, MarkoCAx Techniques : proceedings of the 4th International Scientific Colloquium : Bielefeld, Germany, September 13-15, 19991999 / p. 483-491

artikkel kogumikus

54

raamat

Sidumata ja hüdrauliliselt seotud segud. Osa 42, Katsemeetod proovikehade kaudse tõmbetugevuse määramiseks = Unbound and hydraulically bound mixtures. Part 42, Test method for the determination of the indirect tensile strength of test specimens2012 https://www.ester.ee/record=b2860059*est

raamat

55

raamat

Sidumata ja hüdrauliliselt seotud segud. Osa 43, Katsemeetod hüdrauliliselt seotud segude elastsusmooduli määramiseks = Unbound and hydraulically bound mixtures. Part 43, Test method for the determination of the modulus of elasticity of hydraulically bound mixtures2012 https://www.ester.ee/record=b2860062*est

raamat

56

raamat

Sidumata segud. Spetsifikatsioonid = Unbound mixtures. Specifications2011 https://www.ester.ee/record=b2652583*est

raamat

57

artikkel kogumikus EST / artikkel kogumikus ENG

A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

58

artikkel kogumikus

Some graph problems in timing analysis of the specificationTekko, JaanusProceedings of the 5th Nordic Workshop on Program Correctness, 19941994 / p. 184-193

artikkel kogumikus

59

artikkel kogumikus

Specification model and language HSL for digital systemsFrištacky, Norbert; Kacerik, JozefBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 133-136

artikkel kogumikus

60

artikkel kogumikus

Specification of gamesHenno, JaakInformation modelling and knowledge bases XXII2011 / p. 226-246 https://www.researchgate.net/publication/221014104_Specification_of_Games

artikkel kogumikus

61

artikkel kogumikus

Specification of safety and realibility requirements for control systemsMõtus, LeoDagstuhl Seminar 9509 : High Integrity Programmable Electronics Systems, February 27-March 03, 19951995

artikkel kogumikus

62

artikkel ajakirjas EST / artikkel ajakirjas ENG

Structured development of implementations for divide-and-conquer specificationsBortin, MaksymScience of computer programming2024 / art. 103011, 15 p. : ill https://doi.org/10.1016/j.scico.2023.103011 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

63

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

64

raamat

Termolõikamine : termolõigete klassifitseerimine. Toote geomeetrilised spetsifikatsioonid ja kvaliteedi tolerantsid = Thermal cutting : classification of thermal cuts. Geometrical product specification and quality tolerances (ISO 9013:2017+ISO 9013:2017/Amd 1:2024)2024 https://www.ester.ee/record=b5714113*est

raamat

65

raamat

Termolõikamine [Võrguteavik] : termolõigete klassifitseerimine. Toote geomeetrilised spetsifikatsioonid ja kvaliteedi tolerantsid = Thermal cutting : classification of thermal cuts. Geometrical product specification and quality tolerances2015 http://www.ester.ee/record=b4532515*est

raamat

66

artikkel kogumikus

The impact of safety and reliability requirements on the specification of control systemsMõtus, LeoPostprints of IFAC Workshop on Safety, Reliability and Applications of Emerging Intelligent Control Technologies, 12-14 December, Hong Kong, 19941994 / p. 88-96 https://www.sciencedirect.com/science/article/pii/S1474667017457144

artikkel kogumikus

67

artikkel kogumikus

The specification of Estonian Census maps for urban areasJagomägi, TeetGIS-Baltic Sea States '95 : exhibition, conference - Tallinn, Estonia, 13-15 December, 1995 : abstracts, catalogue1995 / p. 15

artikkel kogumikus

68

artikkel kogumikus

Time modelling for requirements and specification analysisMõtus, Leo; Meriste, Merik27th IFAC/IFIP/IEEE Workshop on Real-time Programming : Swiebodzin, Poland, 20032003 / p. 13-18

artikkel kogumikus

69

raamat

Toote geomeetrilised spetsifikatsioonid (GPS) : geomeetriline tolereerimine. Kuju-, suuna-, asendi- ja viskumistolerantsid = Geometrical product specifications (GPS) : geometrical tolerancing. Tolerances of form, orientation, location and run-out [Võrguteavik]2017 http://www.ester.ee/record=b4671770*est

raamat

70

raamat

Toote geomeetrilised spetsifikatsioonid (GPS) : geomeetriline tolereerimine. Maksimummaterjali nõue (MMR), vähimmaterjali nõue (LMR) ja vastastikkuse nõue (RPR) = Geometrical product specifications (GPS) : geometrical tolerancing. Maximum material requirement (MMR), least material requirement (LMR) and reciprocity requirement (RPR) (ISO 2692:2014) [Võrguteavik]2016 http://www.ester.ee/record=b4631261*est

raamat

71

raamat

Toote geomeetrilised spetsifikatsioonid (GPS) : pikkuse etalonid. Otsmõõdud = Geometrical product specifications (GPS) : length standards. Gauge blocks (ISO 3650:1998) [Võrguteavik]2015 http://www.ester.ee/record=b4502614*est