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
Advanced search
My bookmarks
0
tarkvarateaduse instituut (TalTech department)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
1914
Look more..
(4/376)
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
651
book article EST
/
book article ENG
First order logic and commonsense reasoning : a path less travelled
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
;
Verrev, Martin
ICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 2022
2022
/
art. 182197
https://ceur-ws.org/Vol-3193/short5GDE.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
652
book
1st Report on Legal Framework and Analysis Related to Autonomous Intelligent Technologies
Kerikmäe, Tanel
;
Nyman-Metcalf, Katrin Merike
;
Hoffmann, Thomas
;
Minn, Mari
;
Liiv, Innar
;
Taveter, Kuldar
;
Shumilo, Olga
;
Solarte Vasquez, Maria Claudia
;
Antonov, Alexander
2019
https://www.researchgate.net/publication/331996458
book
653
journal article EST
/
journal article ENG
A flapped paddle-fin for improving underwater propulsive efficiency of oscillatory actuation
Simha, Ashutosh
;
Gkliva, Roza
;
Kotta, Ülle
;
Kruusmaa, Maarja
IEEE robotics and automation letters
2020
/
p. 3176-3181
https://doi.org/10.1109/LRA.2020.2975747
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Novel mechanisms of robot locomotion : variable stiffness actuators for underwater and multi-phase environments = Robotite uudsed liikumismehhanismid : muutuva jäikusega täiturid veealustes ja mitmefaasilistes keskkondades
654
journal article EST
/
journal article ENG
Flatness based control of a HVAC system
Kaldmäe, Arvo
;
Kotta, Ülle
Information technology and control
2017
/
p. 499-507 : ill
https://doi.org/10.5755/j01.itc.46.4.17697
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
655
journal article EST
/
journal article ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
art. 123, 28 p
https://doi.org/10.1145/3547654
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
656
book article EST
/
book article ENG
Flexibly graded monads and graded algebras
McDermott, Dylan
;
Uustalu, Tarmo
Mathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings
2022
/
p. 102-128 : ill
https://doi.org/10.1007/978-3-031-16912-0_4
Conference Proceeding at Scopus
Article at Scopus
Article at WOS
Conference proceeding at WOS
book article EST
/
book article ENG
657
journal article EST
/
journal article ENG
FLHex: a flapped-paddle hexapod for all-terrain amphibious locomotion
Burzynski, Piotr
;
Simha, Ashutosh
;
Kotta, Ülle
;
Pawluszewicz, Ewa
;
Sastry, Shivakumar
Bulletin of the Polish Academy of Sciences Technical Sciences
2021
/
art. e139007, 9 p. : ill
https://doi.org/10.24425/bpasts.2021.139007
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
658
book article
Forecast-Driven and Scenario-Based Building Energy Management Using a Stochastic Optimization Approach
Nourollahi Hokmabad, Hossein
;
Hemmati Shahsavar, Tala
;
Vergara, Pedro P.
;
Husev, Oleksandr
;
Belikov, Juri
2025 IEEE 19th International Conference on Control & Automation (ICCA)
2025
/
p. 885-891 : ill
https://doi.org//10.1109/ICCA65672.2025.11129822
book article
Related publications
1
Energy management system for single-cell three-phase energy router in residential applications = Energiahaldussüsteem üheelemendilisele kolmefaasilisele energiaruuterile elamutes
659
book article EST
/
book article ENG
Forensics analysis of an on-line game over Steam Platform
Tabuyo-Benito, Raquel
;
Bahsi, Hayretdin
;
Peris-Lopez, Pedro
Digital Forensics and Cyber Crime : 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings
2019
/
p. 106-127
https://doi.org/10.1007/978-3-030-05487-8_6
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
660
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
661
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
662
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
663
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
664
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
665
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
666
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
667
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
668
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
669
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
670
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
671
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
672
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
673
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
674
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
675
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
Number of records 1914, displaying
651 - 675
previous
23
24
25
26
27
28
29
30
31
32
next
subject term
187
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.
NSVL Teaduste Akadeemia Mehaanika Instituut
66.
Partei Ajaloo Instituut
67.
Peterburi Riiklik Polütehniline Instituut
68.
Põlevkivi Teadusliku Uurimise Instituut
69.
Põlevkivi Teadusliku Uurimise Instituut (Kohtla-Järve), sünteetiliste materjalide laboratoorium
70.
Rahvusvaheline Põllumajanduse Instituut
71.
Riia Polütehniline Instituut
72.
Salk'i instituut
73.
Silikaatbetooni Instituut
74.
Silikaatbetooni Teadusliku Uurimise ja Projekteerimise Instituut
75.
Silikaltsiidi Teadusliku Uurimise ja Projekteerimise Üleliiduline Instituut
76.
Soome geodeetiline instituut
77.
Soome Meteoroloogia Instituut
78.
Taani Meteoroloogia Instituut
79.
Tallinna Pedagoogiline Instituut
80.
Tallinna Polütehniline Instituut
81.
Tallinna Polütehniline Instituut. Arvutusmatemaatika kateeder
82.
Tallinna Polütehniline Instituut. Automaatika ja telemehaanika kateeder
83.
Tallinna Polütehniline Instituut. Automaatika kateeder
84.
Tallinna Polütehniline Instituut. Automaatikateaduskond
85.
Tallinna Polütehniline Instituut. Autoteede ja geodeesia kateeder
86.
Tallinna Polütehniline Instituut. Autoteede kateeder
87.
Tallinna Polütehniline Instituut. Ehituskonstruktsioonide kateeder
88.
Tallinna Polütehniline Instituut. Ehitusmaterjalide kateeder
89.
Tallinna Polütehniline Instituut. Ehitusmehaanika kateeder
90.
Tallinna Polütehniline Instituut. Ehitusteaduskond
91.
Tallinna Polütehniline Instituut. Ehitustehnoloogia kateeder
92.
Tallinna Polütehniline Instituut. Elektrimasinate kateeder
93.
Tallinna Polütehniline Instituut. Elektrotehnika aluste kateeder
94.
Tallinna Polütehniline Instituut. Fermenditööstuse tootmisharulaboratoorium
95.
Tallinna Polütehniline Instituut. Geoloogia- ja mäeasjanduse kateeder
96.
Tallinna Polütehniline Instituut. Informatsioonitöötlemise kateeder
97.
Tallinna Polütehniline Instituut. Keemia- ja mäeteaduskond
98.
Tallinna Polütehniline Instituut. Keemia-mäeteaduskond
99.
Tallinna Polütehniline Instituut. Konstrueerimis-eksperimentaalosakond
100.
Tallinna Polütehniline Instituut. Kõrgkooli ökonoomika uurimisgrupp
101.
Tallinna Polütehniline Instituut. Kütuste keemilise tehnoloogia kateeder
102.
Tallinna Polütehniline Instituut. Laevajõuseadmete kateeder
103.
Tallinna Polütehniline Instituut. Majandusteaduskond
104.
Tallinna Polütehniline Instituut. Masinaehituse tehnoloogia kateeder
105.
Tallinna Polütehniline Instituut. Masinaehitustehnoloogia eriala
106.
Tallinna Polütehniline Instituut. Masinaehitustehnoloogia kateeder
107.
Tallinna Polütehniline Instituut. Masinaelementide kateeder
108.
Tallinna Polütehniline Instituut. Matemaatika kateeder
109.
Tallinna Polütehniline Instituut. Mehaanikateaduskond
110.
Tallinna Polütehniline Instituut. Metallide tehnoloogia kateeder
111.
Tallinna Polütehniline Instituut. Poliitilise ökonoomia kateeder
112.
Tallinna Polütehniline Instituut. Raamatukogu
113.
Tallinna Polütehniline instituut. Sanitaartehnika kateeder
114.
Tallinna Polütehniline Instituut. Sanitaartehnika probleemlaboratoorium
115.
Tallinna Polütehniline Instituut. Soojusenergeetika kateeder
116.
Tallinna Polütehniline Instituut. Teenindusökonoomika kateeder
117.
Tallinna Polütehniline Instituut. Toiduainete tehnoloogia kateeder
118.
Tallinna Polütehniline Instituut. Toiduainete tootmisharulaboratoorium
119.
Tallinna Polütehniline Instituut. Tööstuse juhtimise ja plaanimise kateeder
120.
Tallinna Polütehniline Instituut. Tööstuse juhtimise ja planeerimise kateeder
121.
Tallinna Polütehniline Instituut. Tööstuselektroonika kateeder
122.
Tallinna Polütehniline Instituut. Tööstusökonoomika kateeder
123.
Tallinna Polütehniline Instituut. Üldtehniline teaduskond Kohtla-Järvel
124.
Tallinna Polütehniline Instituut. Üliõpilaste teaduslik konverents (17 : 1962)
125.
Tallinna Polütehniline Instituut. Üliõpilaste teaduslik konverents (3 : 1950)
126.
Tallinna Tehnikaülikool. Arhitektuuri ja Urbanistika Instituut
127.
Tallinna Tehnikaülikool. Arvutisüsteemide instituut
128.
Tallinna Tehnikaülikool. Arvutiteaduse instituut
129.
Tallinna Tehnikaülikool. Arvutitehnika instituut
130.
Tallinna Tehnikaülikool. Biomeditsiinitehnika instituut
131.
Tallinna Tehnikaülikool. Ehitiste projekteerimise instituut
132.
Tallinna Tehnikaülikool. Ehituse ja arhitektuuri instituut
133.
Tallinna Tehnikaülikool. Ehitustootluse instituut
134.
Tallinna Tehnikaülikool. Elektriajamite ja jõuelektroonika instituut
135.
Tallinna Tehnikaülikool. Elektroenergeetika instituut
136.
Tallinna Tehnikaülikool. Elektroenergeetika ja mehhatroonika instituut
137.
Tallinna Tehnikaülikool. Elektrotehnika aluste ja elektrimasinate instituut
138.
Tallinna Tehnikaülikool. Elektrotehnika instituut
139.
Tallinna Tehnikaülikool. Energiatehnoloogia instituut
140.
Tallinna Tehnikaülikool. Geenitehnoloogia instituut
141.
Tallinna Tehnikaülikool. Geoloogia Instituut
142.
Tallinna Tehnikaülikool. Haldusjuhtimise instituut
143.
Tallinna Tehnikaülikool. Humanitaar- ja sotsiaalteaduste instituut
144.
Tallinna Tehnikaülikool. Keemia Instituut
145.
Tallinna Tehnikaülikool. Keemia ja biotehnoloogia instituut
146.
Tallinna Tehnikaülikool. Keemiatehnika instituut
147.
Tallinna Tehnikaülikool. Keemilise ja bioloogilise füüsika instituut
148.
Tallinna Tehnikaülikool. Keskkonnatehnika instituut
149.
Tallinna Tehnikaülikool. Keskonnatehnika instituut
150.
Tallinna Tehnikaülikool. Kliinilise meditsiini instituut
151.
Tallinna Tehnikaülikool. Küberneetika Instituut
152.
Tallinna Tehnikaülikool. Majandusanalüüsi ja rahanduse instituut
153.
Tallinna Tehnikaülikool. Masinaehituse instituut
154.
Tallinna Tehnikaülikool. Materjali- ja keskkonnatehnoloogia instituut
155.
Tallinna Tehnikaülikool. Materjaliteaduse instituut
156.
Tallinna Tehnikaülikool. Materjalitehnika instituut
157.
Tallinna Tehnikaülikool. Mehaanika ja tööstustehnika instituut
158.
Tallinna Tehnikaülikool. Meresüsteemide Instituut
159.
Tallinna Tehnikaülikool. Polümeermaterjalide instituut
160.
Tallinna Tehnikaülikool. Raadio- ja sidetehnika instituut
161.
Tallinna Tehnikaülikool. Ragnar Nurkse innovatsiooni ja valitsemise instituut
162.
Tallinna Tehnikaülikool. Saarte Instituut
163.
Tallinna Tehnikaülikool. Soojustehnika instituut
164.
Tallinna Tehnikaülikool. Säästva Tehnoloogia Instituut
165.
Tallinna Tehnikaülikool. Teoreetilise majandusteaduse ja -metodoloogia instituut
166.
Tallinna Tehnikaülikool. Tervisetehnoloogiate instituut
167.
Tallinna Tehnikaülikool. Toiduainete instituut
168.
Tallinna Tehnikaülikool. TTÜ Keemia Instituut
169.
Tallinna Tehnikaülikool. Tööstuspsühholoogia instituut
170.
Tallinna Tehnikaülikool. Õiguse instituut
171.
Tallinna Tehnikaülikool. Ärikorralduse instituut
172.
Tartu Instituut (Toronto)
173.
Tartu Ülikool. Füüsika instituut
174.
Tartu Ülikool. Geograafia instituut
175.
Tartu Ülikool. Keemia Instituut
176.
Tartu Ülikool. Ökoloogia ja maateaduste instituut
177.
Termofüüsika ja Elektrofüüsika Instituut
178.
Termofüüsika- ja Elektrofüüsika Instituut
179.
Termofüüsika ja Elektrofüüsika Instituut. Põlemisprotsesside sektor
180.
Tervise Arengu Instituut
181.
Toulouse'i Elektrotehnika Instituut
182.
Tšehhi Eksperimentaalse Botaanika Instituut
183.
Töö Teadusliku Organiseerimise Rahvusvaheline Instituut
184.
Tööstusprobleemide Instituut
185.
Ukraina NSV TA Materjalide Uurimise Instituut (Kiiev)
186.
VEMU (Tartu Instituut, Toronto)
187.
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