Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
tarkvarateaduse instituut (TalTech department)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1980
Look more..
(4/377)
Export
export all inquiry results
(1000*)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
701
book article
Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
2021
/
4 p
http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf
http://icetcs.ru.is/nwpt21/programme.html
book article
702
journal article EST
/
journal article ENG
Formal methods based security for cloud-based manufacturing cyber physical system
Muniasamy, Kandasamy
;
Srinivasan, Seshadhri
;
Vain, Jüri
;
Sethumadhavan, M.
IFAC-PapersOnLine
2019
/
p. 1198-1203
https://doi.org/10.1016/j.ifacol.2019.11.361
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
703
journal article EST
/
journal article ENG
A formal specification smart-contract language for legally binding decentralized autonomous organizations
Dwivedi, Vimal Kumar
;
Norta, Alexander
;
Wulf, Alexander
;
Leiding, Benjamin
;
Saxena, Sandeep
;
Udokwu, Chibuzor
IEEE Access
2021
/
p. 76069−76082 : ill
https://doi.org/10.1109/ACCESS.2021.3081926
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
704
book article EST
/
book article ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
705
book article
Formal verification of maritime autonomous systems using UPPAAL STRATEGO
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 58-61 : ill
https://doi.org/10.23658/taltech.nwpt/2019
book article
706
book article
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2020
2020
/
p. 270–283
https://doi.org/10.1145/3372885.3373814
book article
707
book article
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020
2020
/
p. 270-283
https://doi.org/10.1145/3372885.3373814
book article
708
journal article EST
/
journal article ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
709
journal article EST
/
journal article ENG
Formalizing restriction categories
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of formalized reasoning
2017
/
p. 1-36
https://doi.org/10.6092/issn.1972-5787/6237
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
710
book article
Formalizingπ-calculus in guarded cubical agda
Veltri, Niccolo
;
Vezzosi, Andrea
EUTYPES-TYPES 2020 : Abstracts
2020
/
3 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
book article
711
book article EST
/
book article ENG
Formal-verification of smart-contract languages : a survey
Dwivedi, Vimal Kumar
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
2019
/
p. 738-747
https://doi.org/10.1007/978-981-13-9942-8_68
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
712
book article EST
/
book article ENG
Forward and backward compatibility design techniques applying the HL7 FHIR standard
Bossenko, Igor
;
Piho, Gunnar
;
Ross, Peeter
HEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 2022
2022
/
p. 1-14
https://ceur-ws.org/Vol-3264/HEDA22_paper_14.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
A domain-specific framework for supporting semantic interoperability in primary and secondary use of health data on the example of the Estonian National Health Information System = Tervishoiu domeenipõhise semantilise raamistiku loomine terviseandmete esmaseks ja teiseseks kasutamiseks Eesti Tervise infosüsteemi näitel
713
journal article EST
/
journal article ENG
Forward and backward shifts of vector fields : towards the dual algebraic framework
Mullari, Tanel
;
Kotta, Ülle
;
Bartosiewicz, Zbigniew
;
Pawluszewicz, Ewa
;
Moog, Claude
IEEE transactions on automatic control
2017
/
p. 3029-3033
https://doi.org/10.1109/TAC.2016.2608718
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
714
book article
Forward Proof Search for Intuitionistic Multimodal K Logics
Voorneveld, Niels Frits Willem
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings
2025
/
p. 335–353
https://doi.org/10.1007/978-3-032-06085-3_18
book article
715
book article
A foundation for ledger structures
Nester, Chad Mitchell
2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France
2021
/
art. 7, p. 7:1–7:31
https://doi.org/10.4230/OASIcs.Tokenomics.2020.7
book article
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
716
book
Foundations of software science and computation structures: 26th International Conference, FoSSaCS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023, proceedings
2023
https://doi.org/10.1007/978-3-031-30829-1
book
717
book
14th IFAC Symposium on Analysis, Design, and Evaluation of Human Machine Systems HMS 2019, Tallinn, Estonia, 16–91 September 2019 : proceedings
2019
https://www.sciencedirect.com/journal/ifac-papersonline/vol/52/issue/19
book
718
journal article EST
/
journal article ENG
Fractional-order modeling and control of ionic polymer-metal composite actuator
Tepljakov, Aleksei
;
Vunder, Veiko
;
Petlenkov, Eduard
;
Nakshatharan, S Sunjai
;
Punning, Andres
;
Kaparin, Vadim
;
Belikov, Juri
;
Aabloo, Alvo
Smart materials and structures
2019
/
12 p. : ill
https://doi.org/10.1088/1361-665X/ab2c75
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
719
book article
Framework for industrial control systems digital forensics in the energy sector
Roberts, Andrew James
Proceedings of the 5th Interdisciplinary Cyber Research Conference 2019 : 29th of June 2019, Tallinn University of Technology
2019
/
p. 24-26
https://www.ester.ee/record=b5238490*est
book article
720
journal article
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
journal article
721
book article EST
/
book article ENG
Framework for peer-to-peer data sharing over Web browsers
Pattanaik, Vishwajeet
;
Sharvadze, Ioane
;
Draheim, Dirk
Future Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings
2019
/
p. 207-225 : ill
https://doi.org/10.1007/978-3-030-35653-8_14
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
722
book article EST
/
book article ENG
A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of Nigeria
Azogu, Irene
;
Norta, Alexander
;
Pappel, Ingrid
;
Longo, Justin
;
Draheim, Dirk
Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 2019
2019
/
p. 310–316 : ill
https://doi.org/10.1145/3326365.3326405
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
723
book article EST
/
book article ENG
A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of Nigeria
Akaba, Temofe Isaac
;
Norta, Alexander
;
Udokwu, Chibuzor
;
Draheim, Dirk
Responsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I
2020
https://doi.org/10.1007/978-3-030-44999-5_1
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
724
journal article EST
/
journal article ENG
Frameworks for collective intelligence : a systematic literature review
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Draheim, Dirk
ACM computing surveys
2020
/
art. 14, p. 1−36
https://doi.org/10.1145/3368986
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
2
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
725
book article
Frankenstack : real-time cyberattack detection and feedback system for technical cyber exercises
Pihelgas, Mauno
;
Kont, Markus
Proceedings of the 2021 IEEE International Conference on Cyber Security and Resilience (CSR), July 26–28, 2021 : Virtual Conference : proceedings
2021
/
p. 396-402
https://doi.org/10.1109/CSR51186.2021.9527923
book article
Number of records 1980, displaying
701 - 725
previous
25
26
27
28
29
30
31
32
33
34
next
subject term
188
1.
Tallinna Tehnikaülikool. Tarkvarateaduse instituut
2.
Tallinna Tehnikaülikool. Tarkvarateaduse instituut. Keeletehnoloogia laboratoorium
3.
Tallinna Tehnikaülikool. Tarkvarateaduse instituut. Küberkriminalistika ja küberjulgeoleku keskus
4.
Tallinna Tehnikaülikool. Tarkvarateaduse instituut
5.
Ajaloo Instituut
6.
Balti Uuringute Instituut
7.
Berliini käärimise instituut
8.
Bibliograafia klubi (Tartu Instituut, Toronto)
9.
Dnepropetrovski Raudteetranspordi Inseneride Instituut
10.
Eesti Energeetika Instituut
11.
Eesti Esperanto Instituut
12.
Eesti Keele Instituut
13.
Eesti kohtuekspertiisi instituut
14.
Eesti Loomakasvatuse Instituut
15.
Eesti Majandusarengu Instituut
16.
Eesti Majandusjuhtide Instituut
17.
Eesti Majandusjuhtide Instituut. Tehnoökonoomika kateeder
18.
Eesti NSV Rahvamajanduse Nõukogu, Projekteerimis-tehnoloogia ja Teadusliku Uurimise Instituut, tootmise ökonoomika ja organiseerimise osakond
19.
Eesti NSV Teaduste Akadeemia Ehituse ja Ehitusmaterjalide Instituut
20.
Eesti NSV Teaduste Akadeemia Energeetika Instituut
21.
Eesti NSV Teaduste Akadeemia Majanduse Instituut
22.
Eesti NSV Teaduste Akadeemia, Majanduse Instituut
23.
Eesti NSV Teaduste Akadeemia, Tööstusprobleemide Instituut
24.
Eesti NSV Teaduste Akadeemia. Füüsika ja Astronoomia Instituut
25.
Eesti NSV Teaduste Akadeemia. Geoloogia Instituut
26.
Eesti NSV Teaduste Akadeemia. Keemia instituut
27.
Eesti NSV Teaduste Akadeemia. Küberneetika Instituut
28.
Eesti Põllumajandusülikool. Maaehituse instituut
29.
Eesti TA Termofüüsika ja Elektrofüüsika Instituut
30.
Eesti Taimekasvatuse Instituut
31.
Ehituse ja Ehitusmaterjalide Instituut
32.
Ehituse Teadusliku Uurimise Instituut
33.
Eksperimentaalbioloogia Instituut
34.
Eksperimentaalse ja Kliinilise Meditsiini Instituut
35.
Elektri- ja Elektroonikainseneride Instituut
36.
Elektrotehnika Teadusliku Uurimise Instituut
37.
Energeetika Instituut
38.
Euroopa Innovatsiooni ja Tehnoloogia Instituut
39.
Euroopa Instituut (Tallinn)
40.
Füüsika Instituut
41.
Geoloogia Instituut
42.
Helsingi Ülikooli biotehnoloogia instituut
43.
Iseõppimise Instituut, teaduslik kirjastuse äri
44.
Kalinini-nim. Polütehniline Instituut Leningradis
45.
Keele ja Kirjanduse Instituut
46.
Keemia Instituut
47.
Keemilise ja Bioloogilise Füüsika Instituut
48.
Keemilise ja Bioloogilise Füüsika Instituut. Biorgaanilise keemia laboratoorium
49.
Keemilise ja Bioloogilise Füüsika Instituut. Molekulaargeneetika laboratoorium
50.
Kiievi Polütehniline Instituut
51.
Kodumajanduse Instituut
52.
Küberneetika Instituut
53.
Küberneetika Instituut. Arvutustehnika Erikonstrueerimisbüroo
54.
Küberneetika Instituut. Fotoelastsuse labor
55.
Küberneetika Instituut. Mittelineaarsete protsesside analüüsi keskus
56.
Leningradi Elektrotehnika Instituut
57.
Leningradi Polütehniline Instituut
58.
Leningradi Raudteetranspordi Inseneride Instituut
59.
Leningradi Täppismehhaanika ja Optika Instituut
60.
Lenini-nim. Moskva Riiklik Pedagoogiline Instituut
61.
Loodusvarade Instituut
62.
Majanduse Instituut
63.
Marketingi Instituut
64.
Moskva I.M. Gubkini nim. Naftakeemia- ja Gaasitööstuse Instituut
65.
Moskva Maakorralduse Instituut
66.
NSVL Teaduste Akadeemia Mehaanika Instituut
67.
Partei Ajaloo Instituut
68.
Peterburi Riiklik Polütehniline Instituut
69.
Põlevkivi Teadusliku Uurimise Instituut
70.
Põlevkivi Teadusliku Uurimise Instituut (Kohtla-Järve), sünteetiliste materjalide laboratoorium
71.
Rahvusvaheline Põllumajanduse Instituut
72.
Riia Polütehniline Instituut
73.
Salk'i instituut
74.
Silikaatbetooni Instituut
75.
Silikaatbetooni Teadusliku Uurimise ja Projekteerimise Instituut
76.
Silikaltsiidi Teadusliku Uurimise ja Projekteerimise Üleliiduline Instituut
77.
Soome geodeetiline instituut
78.
Soome Meteoroloogia Instituut
79.
Taani Meteoroloogia Instituut
80.
Tallinna Pedagoogiline Instituut
81.
Tallinna Polütehniline Instituut
82.
Tallinna Polütehniline Instituut. Arvutusmatemaatika kateeder
83.
Tallinna Polütehniline Instituut. Automaatika ja telemehaanika kateeder
84.
Tallinna Polütehniline Instituut. Automaatika kateeder
85.
Tallinna Polütehniline Instituut. Automaatikateaduskond
86.
Tallinna Polütehniline Instituut. Autoteede ja geodeesia kateeder
87.
Tallinna Polütehniline Instituut. Autoteede kateeder
88.
Tallinna Polütehniline Instituut. Ehituskonstruktsioonide kateeder
89.
Tallinna Polütehniline Instituut. Ehitusmaterjalide kateeder
90.
Tallinna Polütehniline Instituut. Ehitusmehaanika kateeder
91.
Tallinna Polütehniline Instituut. Ehitusteaduskond
92.
Tallinna Polütehniline Instituut. Ehitustehnoloogia kateeder
93.
Tallinna Polütehniline Instituut. Elektrimasinate kateeder
94.
Tallinna Polütehniline Instituut. Elektrotehnika aluste kateeder
95.
Tallinna Polütehniline Instituut. Fermenditööstuse tootmisharulaboratoorium
96.
Tallinna Polütehniline Instituut. Geoloogia- ja mäeasjanduse kateeder
97.
Tallinna Polütehniline Instituut. Informatsioonitöötlemise kateeder
98.
Tallinna Polütehniline Instituut. Keemia- ja mäeteaduskond
99.
Tallinna Polütehniline Instituut. Keemia-mäeteaduskond
100.
Tallinna Polütehniline Instituut. Konstrueerimis-eksperimentaalosakond
101.
Tallinna Polütehniline Instituut. Kõrgkooli ökonoomika uurimisgrupp
102.
Tallinna Polütehniline Instituut. Kütuste keemilise tehnoloogia kateeder
103.
Tallinna Polütehniline Instituut. Laevajõuseadmete kateeder
104.
Tallinna Polütehniline Instituut. Majandusteaduskond
105.
Tallinna Polütehniline Instituut. Masinaehituse tehnoloogia kateeder
106.
Tallinna Polütehniline Instituut. Masinaehitustehnoloogia eriala
107.
Tallinna Polütehniline Instituut. Masinaehitustehnoloogia kateeder
108.
Tallinna Polütehniline Instituut. Masinaelementide kateeder
109.
Tallinna Polütehniline Instituut. Matemaatika kateeder
110.
Tallinna Polütehniline Instituut. Mehaanikateaduskond
111.
Tallinna Polütehniline Instituut. Metallide tehnoloogia kateeder
112.
Tallinna Polütehniline Instituut. Poliitilise ökonoomia kateeder
113.
Tallinna Polütehniline Instituut. Raamatukogu
114.
Tallinna Polütehniline instituut. Sanitaartehnika kateeder
115.
Tallinna Polütehniline Instituut. Sanitaartehnika probleemlaboratoorium
116.
Tallinna Polütehniline Instituut. Soojusenergeetika kateeder
117.
Tallinna Polütehniline Instituut. Teenindusökonoomika kateeder
118.
Tallinna Polütehniline Instituut. Toiduainete tehnoloogia kateeder
119.
Tallinna Polütehniline Instituut. Toiduainete tootmisharulaboratoorium
120.
Tallinna Polütehniline Instituut. Tööstuse juhtimise ja plaanimise kateeder
121.
Tallinna Polütehniline Instituut. Tööstuse juhtimise ja planeerimise kateeder
122.
Tallinna Polütehniline Instituut. Tööstuselektroonika kateeder
123.
Tallinna Polütehniline Instituut. Tööstusökonoomika kateeder
124.
Tallinna Polütehniline Instituut. Üldtehniline teaduskond Kohtla-Järvel
125.
Tallinna Polütehniline Instituut. Üliõpilaste teaduslik konverents (17 : 1962)
126.
Tallinna Polütehniline Instituut. Üliõpilaste teaduslik konverents (3 : 1950)
127.
Tallinna Tehnikaülikool. Arhitektuuri ja Urbanistika Instituut
128.
Tallinna Tehnikaülikool. Arvutisüsteemide instituut
129.
Tallinna Tehnikaülikool. Arvutiteaduse instituut
130.
Tallinna Tehnikaülikool. Arvutitehnika instituut
131.
Tallinna Tehnikaülikool. Biomeditsiinitehnika instituut
132.
Tallinna Tehnikaülikool. Ehitiste projekteerimise instituut
133.
Tallinna Tehnikaülikool. Ehituse ja arhitektuuri instituut
134.
Tallinna Tehnikaülikool. Ehitustootluse instituut
135.
Tallinna Tehnikaülikool. Elektriajamite ja jõuelektroonika instituut
136.
Tallinna Tehnikaülikool. Elektroenergeetika instituut
137.
Tallinna Tehnikaülikool. Elektroenergeetika ja mehhatroonika instituut
138.
Tallinna Tehnikaülikool. Elektrotehnika aluste ja elektrimasinate instituut
139.
Tallinna Tehnikaülikool. Elektrotehnika instituut
140.
Tallinna Tehnikaülikool. Energiatehnoloogia instituut
141.
Tallinna Tehnikaülikool. Geenitehnoloogia instituut
142.
Tallinna Tehnikaülikool. Geoloogia Instituut
143.
Tallinna Tehnikaülikool. Haldusjuhtimise instituut
144.
Tallinna Tehnikaülikool. Humanitaar- ja sotsiaalteaduste instituut
145.
Tallinna Tehnikaülikool. Keemia Instituut
146.
Tallinna Tehnikaülikool. Keemia ja biotehnoloogia instituut
147.
Tallinna Tehnikaülikool. Keemiatehnika instituut
148.
Tallinna Tehnikaülikool. Keemilise ja bioloogilise füüsika instituut
149.
Tallinna Tehnikaülikool. Keskkonnatehnika instituut
150.
Tallinna Tehnikaülikool. Keskonnatehnika instituut
151.
Tallinna Tehnikaülikool. Kliinilise meditsiini instituut
152.
Tallinna Tehnikaülikool. Küberneetika Instituut
153.
Tallinna Tehnikaülikool. Majandusanalüüsi ja rahanduse instituut
154.
Tallinna Tehnikaülikool. Masinaehituse instituut
155.
Tallinna Tehnikaülikool. Materjali- ja keskkonnatehnoloogia instituut
156.
Tallinna Tehnikaülikool. Materjaliteaduse instituut
157.
Tallinna Tehnikaülikool. Materjalitehnika instituut
158.
Tallinna Tehnikaülikool. Mehaanika ja tööstustehnika instituut
159.
Tallinna Tehnikaülikool. Meresüsteemide Instituut
160.
Tallinna Tehnikaülikool. Polümeermaterjalide instituut
161.
Tallinna Tehnikaülikool. Raadio- ja sidetehnika instituut
162.
Tallinna Tehnikaülikool. Ragnar Nurkse innovatsiooni ja valitsemise instituut
163.
Tallinna Tehnikaülikool. Saarte Instituut
164.
Tallinna Tehnikaülikool. Soojustehnika instituut
165.
Tallinna Tehnikaülikool. Säästva Tehnoloogia Instituut
166.
Tallinna Tehnikaülikool. Teoreetilise majandusteaduse ja -metodoloogia instituut
167.
Tallinna Tehnikaülikool. Tervisetehnoloogiate instituut
168.
Tallinna Tehnikaülikool. Toiduainete instituut
169.
Tallinna Tehnikaülikool. TTÜ Keemia Instituut
170.
Tallinna Tehnikaülikool. Tööstuspsühholoogia instituut
171.
Tallinna Tehnikaülikool. Õiguse instituut
172.
Tallinna Tehnikaülikool. Ärikorralduse instituut
173.
Tartu Instituut (Toronto)
174.
Tartu Ülikool. Füüsika instituut
175.
Tartu Ülikool. Geograafia instituut
176.
Tartu Ülikool. Keemia Instituut
177.
Tartu Ülikool. Ökoloogia ja maateaduste instituut
178.
Termofüüsika ja Elektrofüüsika Instituut
179.
Termofüüsika- ja Elektrofüüsika Instituut
180.
Termofüüsika ja Elektrofüüsika Instituut. Põlemisprotsesside sektor
181.
Tervise Arengu Instituut
182.
Toulouse'i Elektrotehnika Instituut
183.
Tšehhi Eksperimentaalse Botaanika Instituut
184.
Töö Teadusliku Organiseerimise Rahvusvaheline Instituut
185.
Tööstusprobleemide Instituut
186.
Ukraina NSV TA Materjalide Uurimise Instituut (Kiiev)
187.
VEMU (Tartu Instituut, Toronto)
188.
Vulkanoloogia Instituut
author
122
1.
E. Vilde nim. Tallinna Pedagoogiline Instituut
2.
Eesti Kommunistliku Partei Keskkomitee Partei Ajaloo Instituut
3.
Eesti NSV Rahvamajanduse Juhtivate Töötajate ja Spetsialistide Kvalifikatsiooni Tõstmise Instituut, Rahvamajanduse planeerimise kateeder
4.
Eesti NSV Teadus- ja Tehnikainformatsiooni ning Majandusuuringute Instituut
5.
Eesti NSV Teaduste Akadeemia, EKP Keskkomitee Partei Ajaloo Instituut
6.
Eesti Teadus- ja Tehnikainformatsiooni ning Majandusuuringute Instituut
7.
EKP Keskkomitee Partei Ajaloo Instituut
8.
EKP KK Partei Ajaloo Instituut, NLKP Keskkomitee Marksismi Leninismi Instituudi Filiaal
9.
ENSV Rahvamajanduse Juhtivate Töötajate ja Spetsialistide Kvalifikatsiooni Tõstmise Instituut, ühiskonnateaduste kateeder
10.
Riiklik Projekteerimise Instituut "Eesti Projekt"
11.
Riiklik Projekteerimise Instituut "Eesti Tööstusprojekt"
12.
soojustehnika instituut
13.
Talinna Polütehniline Instituut, töökaitse kateeder
14.
Tallinn Polütehnilne Instituut, tootmise ökonoomika ja organiseerimise kateeder
15.
Tallinna Polütehniline Instituut
16.
Tallinna Polütehniline Instituut, [vastuvõtukomisjon]
17.
Tallinna Polütehniline Instituut, anorgaanilise keemia kateeder
18.
Tallinna Polütehniline Instituut, arhitektuuri kateeder
19.
Tallinna Polütehniline Instituut, arvutuskeskus
20.
Tallinna Polütehniline Instituut, arvutusmatemaatika kateeder
21.
Tallinna Polütehniline Instituut, arvutustehnika kateeder
22.
Tallinna Polütehniline Instituut, autokateeder
23.
Tallinna Polütehniline Instituut, automaatika kateeder
24.
Tallinna Polütehniline Instituut, automaatika kateeder, raadiotehnika kateeder, võõrkeelte kateeder
25.
Tallinna Polütehniline Instituut, automaatikateaduskond
26.
Tallinna Polütehniline Instituut, autoteede kateeder
27.
Tallinna Polütehniline Instituut, autotranspordi kateeder
28.
Tallinna Polütehniline Instituut, ehituse ökonoomika ja organiseerimise kateeder
29.
Tallinna Polütehniline Instituut, ehituskonstruktsioonide kateede
30.
Tallinna Polütehniline Instituut, ehituskonstruktsioonide kateeder
31.
Tallinna Polütehniline Instituut, ehitusmaterjalide kateeder
32.
Tallinna Polütehniline Instituut, ehitusmaterjalide kateeder, ehituskonstruktsioonide kateeder
33.
Tallinna Polütehniline Instituut, ehitusmehaanika kateeder
34.
Tallinna Polütehniline Instituut, ehitusteaduskond
35.
Tallinna Polütehniline Instituut, ehitustehnoloogia kateeder
36.
Tallinna Polütehniline Instituut, elektriajamite kateeder
37.
Tallinna Polütehniline Instituut, elektrisüsteemide kateeder
38.
Tallinna Polütehniline Instituut, elektronarvutite kateeder
39.
Tallinna Polütehniline Instituut, elektroonika kateeder
40.
Tallinna Polütehniline Instituut, elektrotehnika aluste kateeder
41.
Tallinna Polütehniline Instituut, elektrotehnikateaduskond
42.
Tallinna Polütehniline Instituut, elektrotehnikateaduskonna metoodikakomisjon
43.
Tallinna Polütehniline Instituut, energeetikateaduskond
44.
Tallinna Polütehniline Instituut, ettevalmistuskursused
45.
Tallinna Polütehniline Instituut, ettevalmistusosakond
46.
Tallinna Polütehniline Instituut, ettevalmistusosakond ja -kursused
47.
Tallinna Polütehniline Instituut, filosoofia kateeder
48.
Tallinna Polütehniline Instituut, füüsika kateeder
49.
Tallinna Polütehniline Instituut, füüsikalise keemia kateeder
50.
Tallinna Polütehniline Instituut, graafika kateeder
51.
Tallinna Polütehniline Instituut, informatsioonitehnika kateeder
52.
Tallinna Polütehniline Instituut, informatsioonitöötlemise kateeder
53.
Tallinna Polütehniline Instituut, informatsioonitöötllemise kateeder
54.
Tallinna Polütehniline Instituut, insener-tehniliste töötajate kvalifikatsiooni tõstmise kursused
55.
Tallinna Polütehniline Instituut, kaugõppeteaduskond
56.
Tallinna Polütehniline Instituut, keelte kateeder
57.
Tallinna Polütehniline Instituut, keemiatööstuse protsesside ja aparaatide kateeder
58.
Tallinna Polütehniline Instituut, kehalise kasvatuse kateeder
59.
Tallinna Polütehniline Instituut, kehalise kasvatuse kateeder ; [koostanud autorite kollektiiv]
60.
Tallinna Polütehniline Instituut, laevajõuseadmete kateeder
61.
Tallinna Polütehniline Instituut, majandusmatemaatika kateeder
62.
Tallinna Polütehniline Instituut, majandusteaduskond
63.
Tallinna Polütehniline Instituut, majandusteaduskond, statistika kateeder
64.
Tallinna Polütehniline Instituut, masinaehituse tehnoloogia kateede
65.
Tallinna Polütehniline Instituut, masinaehituse tehnoloogia kateeder
66.
Tallinna Polütehniline Instituut, masinaehitustehnoloogia kateeder
67.
Tallinna Polütehniline Instituut, masinaelementide kateeder
68.
Tallinna Polütehniline Instituut, masinatööstuse automatiseerimise kateeder
69.
Tallinna Polütehniline Instituut, matemaatika kateeder
70.
Tallinna Polütehniline Instituut, mehaanikateaduskond
71.
Tallinna Polütehniline Instituut, metallide tehnoloogia kateeder
72.
Tallinna Polütehniline Instituut, metoodikanõukogu
73.
Tallinna Polütehniline Instituut, mäekateeder
74.
Tallinna Polütehniline Instituut, NLKP ajaloo kateeder
75.
Tallinna Polütehniline Instituut, orgaanilise ja biokeemia kateeder
76.
Tallinna Polütehniline Instituut, orgaanilise keemia kateeder
77.
Tallinna Polütehniline Instituut, peenmehaanika kateeder
78.
Tallinna Polütehniline Instituut, poliitilise ökonoomia kateeder
79.
Tallinna Polütehniline Instituut, puidutöötlemise kateeder
80.
Tallinna Polütehniline Instituut, raadiotehnika kateeder
81.
Tallinna Polütehniline Instituut, raadiotehnika kateeder, elektroonika kateeder
82.
Tallinna Polütehniline Instituut, raadiotehnika kateeder, keelte kateeder
83.
Tallinna Polütehniline Instituut, raadiotehnika kateeder, televisiooni aluste laboratoorium
84.
Tallinna Polütehniline Instituut, raamatupidamise kateeder
85.
Tallinna Polütehniline Instituut, rahvamajanduse planeerimise kateeder
86.
Tallinna Polütehniline Instituut, sanitaartehnika ja hüdraulika kateeder
87.
Tallinna Polütehniline Instituut, sanitaartehnika kateeder
88.
Tallinna Polütehniline Instituut, soojusenergeetika kateeder
89.
Tallinna Polütehniline Instituut, statistika ja raamatupidamise kateeder
90.
Tallinna Polütehniline Instituut, statistika ja raamatupidamise kteeder
91.
Tallinna Polütehniline Instituut, statistika kateeder
92.
Tallinna Polütehniline Instituut, statistikakateeder
93.
Tallinna Polütehniline Instituut, teadusliku kommunismi kateeder
94.
Tallinna Polütehniline Instituut, teenindusökonoomika kateeder
95.
Tallinna Polütehniline Instituut, teoreetilise mehaanika kateeder
96.
Tallinna Polütehniline Instituut, teoreetilise mehaanika kateeder ;
97.
Tallinna Polütehniline Instituut, toiduainekeemia ja tehnoloogis kateeder
98.
Tallinna Polütehniline Instituut, toiduainete tehnoloogia kateeder
99.
Tallinna Polütehniline Instituut, tootmise ökonoomia ja organiseerimise kateeder
100.
Tallinna Polütehniline Instituut, tootmise ökonoomika ja organiseerimise kateeder
101.
Tallinna Polütehniline Instituut, tootmise ökonoomika ja organiseerimise kateeder, tootmise organiseerimise laboratoorium
102.
Tallinna Polütehniline Instituut, töökaitse kateeder
103.
Tallinna Polütehniline Instituut, tööstuse juhtimise ja planeerimise kateeder
104.
Tallinna Polütehniline Instituut, vastuvõtukomisjon
105.
Tallinna Polütehniline Instituut, vastuvõtukomisjon, majandusmatemaatika kateeder
106.
Tallinna Polütehniline Instituut, vastuvõtukomisjon, matemaatika kateeder
107.
Tallinna Polütehniline Instituut, vene keele ja võõrkeelte kateeder
108.
Tallinna Polütehniline Instituut, vene keele ja võõrkeelte kateeder, saksa keele sektsioon
109.
Tallinna Polütehniline Instituut, üldtehniline kateeder
110.
Tallinna Polütehniline Instituut, üldteoreetiliste õppeainete metoodikakomisjon
111.
Tallinna Polütehniline Instituut, Üliõpilaste Teaduslik Ühing
112.
Tallinna Polütehniline Instituut. Automaatika kateeder
113.
Tallinna Polütehniline Instituut. Kehalise kasvatuse kateeder
114.
Tallinna Polütehniline Instituut. Metoodikanõukogu
115.
Tallinna Polütehniline Instituut. Peenmehaanika kateeder
116.
Tallinna Polütehniline Instituut. Töökaitse laboratoorium
117.
Tallinna Polütehnilne Instituut, masinaelementide kateeder
118.
Tallinna Poütehniline Instituut
119.
Tallinna Tehnikaülikool, energiatehnoloogia instituut
120.
Tallinna Tehnikaülikool, soojustehnika instituut
121.
Tallinna Tehnikaülikooli tervisetehnoloogiate instituut
122.
TalTech geoloogia instituut
TalTech department
65
1.
tarkvarateaduse instituut
2.
alus- ja rakenduskeemia instituut
3.
aparaadiehituse instituut
4.
arvutisüsteemide instituut
5.
arvutiteaduse instituut
6.
arvutitehnika instituut
7.
automaatika ja süsteemitehnika instituut
8.
avaliku halduse instituut
9.
avaliku sektori majanduse instituut
10.
biomeditsiinitehnika instituut
11.
ehitiste projekteerimise instituut
12.
ehituse ja arhitektuuri instituut
13.
ehitustootluse instituut
14.
elektriajamite ja jõuelektroonika instituut
15.
elektroenergeetika instituut
16.
elektroenergeetika ja mehhatroonika instituut
17.
elektrotehnika aluste ja elektrimasinate instituut
18.
elektrotehnika instituut
19.
energiatehnoloogia instituut
20.
geenitehnoloogia instituut
21.
geoloogia instituut
22.
humanitaar- ja sotsiaalteaduste instituut
23.
juhtimise ja turunduse instituut
24.
kardiovaskulaarse meditsiini instituut
25.
Keemia instituut
26.
keemia ja biotehnoloogia instituut
27.
keemiatehnika instituut
28.
keskkonnatehnika instituut
29.
kliinilise meditsiini instituut
30.
käitismajanduse instituut
31.
küberneetika instituut
32.
linna ja töökollektiivide sotsiaalse arengu labori instituut
33.
Loodusvarade Instituut, turba sektsioon
34.
majandusanalüüsi ja rahanduse instituut
35.
majandusarvestuse instituut
36.
Majanduse Instituut
37.
masinaehituse instituut
38.
masinaõpetuse instituut
39.
materjali- ja keskkonnatehnoloogia instituut
40.
materjaliteaduse instituut
41.
materjalitehnika instituut
42.
mehaanika ja tööstustehnika instituut
43.
meresüsteemide instituut
44.
polümeermaterjalide instituut
45.
põlevkivi instituut
46.
põlevkivi teadusliku uurimise instituut
47.
raadio- ja sidetehnika instituut
48.
Ragnar Nurkse innovatsiooni ja valitsemise instituut
49.
rahanduse ja majandusteooria instituut
50.
rahvamajanduse instituut
51.
rahvusvaheliste suhete instituut
52.
soojustehnika instituut
53.
teoreetilise majandusteaduse ja -metodoloogia instituut
54.
Termofüüsika ja Elektrofüüsika Instituut (Eesti)
55.
territoriaalmajanduse instituut
56.
tervisetehnoloogiate instituut
57.
toiduainete instituut
58.
TTÜ Eesti Majanduse Instituut
59.
TTÜ Geoloogia Instituut
60.
TTÜ Keemia Instituut
61.
TTÜ Küberneetika Instituut
62.
TTÜ Meresüsteemide Instituut
63.
tööstuspsühholoogia instituut
64.
õiguse instituut
65.
ärikorralduse instituut
TalTech subject term
2
1.
raadio- ja sidetehnika instituut
2.
Tallinna Polütehniline Instituut. Kohtla-Järve õppe-konsultatsioonipunkt
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT