Searching - TalTech Research Portal

display

sort

83101

book article

SrAl2O4 : Eu,Dy-screen-printed layers to create phosphorescent 2D shapesRojas Hernandez, Rocio Estefania; Rubio-Marcos, Fernando; Serrano-Iova, Radu-Antonio; Fernandes Lozano, J. F.; Hussainova, IrinaXVI Conference and Exhibition Of The European Ceramic Society : abstract book2019 / p. 525 : ill

book article

83102

book article

Sructure of generating sets for reversible computationsHenno, JaakKangro - 100 : methods of analysis and algebra : international conference dedicated to the centennial of professor Gunnar Kangro : Tartu, Estonia, September 1-6, 2013 : book of abstracts2013 / p. 67-69

book article

83103

book article

SSBDD model : advantageous properties and efficient simulation algorithmsRaik, Jaan; Jutman, Artur; Ubar, Raimund-JohannesETW'02 : 7th IEEE European Test Workshop, Gorfu Greece, May 26-29, 2002 : informal digest2002 / p. 345-346 : ill

book article

83104

book article

SSBDDs : advantageous model and efficient algorithms for digital circuit modeling, simulation & testJutman, Artur; Raik, Jaan; Ubar, Raimund-Johannes5th International Workshop on Boolean Problems : September 19-20, 2002, Freiberg (Sachsen) : proceedings2002 / p. 157-166 : ill

book article

83105

book article

SSBDDs and double topology for multiple fault reasoningUbar, Raimund-Johannes; Kostin, Sergei; Raik, JaanProceedings of IEEE East-West Design & Test Symposium (EWDTS’2012) : Kharkov, Ukraine, September 14–17, 20122012 / p. 23-28

book article

83106

journal article EST / journal article ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

83107

journal article

SSSR mootorauruvedurTehnika Ajakiri1940 / lk. 174

journal article

83108

journal article

Szilicium planar technologiai eljaras szamitögepes stimulaciojaRang, Toomas; Tarnay, K.; Masszi, F.Finommechanika, mikrotechnika: az Optikai, Akusztikai és Filmtechnikai Egyesület, a Híradástechnikai Tudományos Egyesület és a Méréstechnikai és Automatizálási Tudományos Egyesület lapja1979 / p. 257-260

journal article

83109

newspaper article

Szolnokis kogemusi vahetamasRekkaro, VelloÕhtuleht1989 / lk. [?] https://www.ester.ee/record=b1072244*est

newspaper article

83110

newspaper article

St Edmundsbury Meeskoor Tallinna Ülikoolis : [esineb 28. oktoobril]Toom, EnnMente et Manu2006 / 18. okt., lk. 3, 4 : fot https://www.ester.ee/record=b1242496*est

newspaper article

83111

book article

St.Petersburg School in Estonian engineeringMägi, VahurXXX Symposium of the International Committee for the History of Technology : ICOHTEC 2003 : August 21st-26th, 2003, St.Petersburg - Moscow, Russia2003 / p. 87-89

book article

83112

newspaper article

Staarpoliitik Margus Leivo lahkub Rahvaliidust : [TTÜ haldusdirektor]Koch, TuuliPostimees2007 / lk. 6 https://www.postimees.ee/1726233/staarpoliitik-margus-leivo-lahkub-rahvaliidust

newspaper article

83113

journal article

Staažiga või staažita? Abikaasaga!Kask, MareMente et Manu2018 / lk. 42 : fot http://www.ester.ee/record=b1242496*est https://artiklid.elnet.ee/record=b2865238*est

journal article

83114

book

Staatika algedNuut, Jüri1937 https://www.ester.ee/record=b1525736*est

book

83115

journal article

Staatika modernsetest probleemidestJohanson, A.Tehnika Ajakiri1938 / lk. 278-282

journal article

83116

journal article

Staatiline elekter tulesüütajanaEesti Tuletõrje1940 / lk. 208-209

journal article

83117

journal article

Staatiline ja staati-dünaamiline lend : (õhupallide ajalugu) / andmetel : VesilooSõjateadlane1925 / lk. 3-28

journal article

83118

book article

Staatiline reaktiivvõimsuse kompensaatorRebane, A.; Järvik, Jaan; Reiner, ArdiXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 61 https://www.ester.ee/record=b2449987*est

book article

83119

journal article

Staatilised GNSS-mõõtmised Eesti geodeetilise võrgu I klassi punktidelMetsar, Jaanus; Kollo, Karin; Ellmann, Artu; Pihlak, Priit; Rüdja, AndresGeodeet2019 / lk. 12-14 : ill http://www.ester.ee/record=b1072198*est

journal article

83120

book

Staatiliselt määramata raamide arvutamine deformatsioonimeetodigaRäämet, Raimund1962 https://www.ester.ee/record=b1407042*est

book

83121

journal article

Staatiliste arvutuste täpsusestJohanson, A.Tehnika Ajakiri1940 / 2, lk. 41-46; 3, lk. 75-78

journal article

83122

journal article

Staatskommissare als Manager kommunaler HaushaltskonsolidierungsprozesseDuve, ThomasVerwaltung und Management2008 / 6, S. 283-293

journal article

83123

journal article

Stabiilne nöitrodüünvastuvõtjaHelpap, F.Raadio1927 / lk. 511-513 : joon., fot

journal article

83124

journal article

Stabiilne paaripanek : (kõrvalepõige poliitikasse)Võhandu, LeoArvutustehnika ja Andmetöötlus1995 / 5, lk. 21-26

journal article

83125

journal article

Stabiilne paaripanek : (pühendusega koolidirektoritele)Veskioja, TarmoA & A1999 / 5, lk. 29-35 https://artiklid.elnet.ee/record=b1002459*est

journal article

types of item