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 (TTÜ 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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1485
Look more..
(4/359)
Export
export all inquiry results
(1000*)
Save TXT fail
Save PDF 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
501
book article EST
/
book article ENG
Fibration linguistics (FibLang) : language acquisition
Genovese, Fabrizio
;
Loregian, Fosco
;
Puca, Caterina
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 224-236 : ill
https://doi.org/10.4204/EPTCS.380.13
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
502
book article
Fibrational linguistics (FibLang) : first concepts
Genovese, Fabrizio
;
Loregian, Fosco
;
Puca, Caterina
arXiv
2022
/
22 p. : ill
https://doi.org/10.48550/arXiv.2201.01136
https://arxiv.org/pdf/2201.01136.pdf
book article
503
journal article EST
/
journal article ENG
Finite determination of accessibility and singular points of nonlinear systems: an algebraic approach
Sarafrazi, Mohammad Amin
;
Kotta, Ülle
;
Bartosiewicz, Zbigniew
Systems & control letters
2020
/
art. 104600, p. 1−7
https://doi.org/10.1016/j.sysconle.2019.104600
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
504
journal article
Finiteness and rational sequences, constructively
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of functional programming
2017
/
art. e13, p. 1-20
https://doi.org/10.1017/S0956796817000041
journal article
505
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
506
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
507
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
Seotud publikatsioonid
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
508
journal article
Flatness based control of a HVAC system
Kaldmäe, Arvo
;
Kotta, Ülle
Information technology and control
2017
/
p. 499-507 : ill
http://dx.doi.org/10.5755/j01.itc.46.4.17697
journal article
509
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
510
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
511
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
512
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
513
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
514
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
515
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
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
516
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
517
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
518
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
519
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
520
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
521
journal article
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 article
522
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
523
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
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
524
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
525
journal article
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 article
Number of records 1485, displaying
501 - 525
previous
17
18
19
20
21
22
23
24
25
26
next
subject term
173
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.
Ajaloo Instituut
5.
Balti Uuringute Instituut
6.
Berliini käärimise instituut
7.
Bibliograafia klubi (Tartu Instituut, Toronto)
8.
Dnepropetrovski Raudteetranspordi Inseneride Instituut
9.
Eesti Energeetika Instituut
10.
Eesti Esperanto Instituut
11.
Eesti Keele Instituut
12.
Eesti kohtuekspertiisi instituut
13.
Eesti Loomakasvatuse Instituut
14.
Eesti Majandusarengu Instituut
15.
Eesti Majandusjuhtide Instituut
16.
Eesti Majandusjuhtide Instituut. Tehnoökonoomika kateeder
17.
Eesti NSV Rahvamajanduse Nõukogu, Projekteerimis-tehnoloogia ja Teadusliku Uurimise Instituut, tootmise ökonoomika ja organiseerimise osakond
18.
Eesti NSV Teaduste Akadeemia Ehituse ja Ehitusmaterjalide Instituut
19.
Eesti NSV Teaduste Akadeemia Energeetika Instituut
20.
Eesti NSV Teaduste Akadeemia Majanduse Instituut
21.
Eesti NSV Teaduste Akadeemia, Majanduse Instituut
22.
Eesti NSV Teaduste Akadeemia, Tööstusprobleemide Instituut
23.
Eesti NSV Teaduste Akadeemia. Füüsika ja Astronoomia Instituut
24.
Eesti NSV Teaduste Akadeemia. Geoloogia Instituut
25.
Eesti NSV Teaduste Akadeemia. Keemia instituut
26.
Eesti NSV Teaduste Akadeemia. Küberneetika Instituut
27.
Eesti Põllumajandusülikool. Maaehituse instituut
28.
Eesti TA Termofüüsika ja Elektrofüüsika Instituut
29.
Eesti Taimekasvatuse Instituut
30.
Ehituse ja Ehitusmaterjalide Instituut
31.
Ehituse Teadusliku Uurimise Instituut
32.
Eksperimentaalbioloogia Instituut
33.
Eksperimentaalse ja Kliinilise Meditsiini Instituut
34.
Elektri- ja Elektroonikainseneride Instituut
35.
Elektrotehnika Teadusliku Uurimise Instituut
36.
Energeetika Instituut
37.
Euroopa Innovatsiooni ja Tehnoloogia Instituut
38.
Euroopa Instituut (Tallinn)
39.
Füüsika Instituut
40.
Geoloogia Instituut
41.
Iseõppimise Instituut, teaduslik kirjastuse äri
42.
Kalinini-nim. Polütehniline Instituut Leningradis
43.
Keele ja Kirjanduse Instituut
44.
Keemia Instituut
45.
Keemilise ja Bioloogilise Füüsika Instituut
46.
Keemilise ja Bioloogilise Füüsika Instituut. Biorgaanilise keemia laboratoorium
47.
Keemilise ja Bioloogilise Füüsika Instituut. Molekulaargeneetika laboratoorium
48.
Kiievi Polütehniline Instituut
49.
Kodumajanduse Instituut
50.
Küberneetika Instituut
51.
Küberneetika Instituut. Arvutustehnika Erikonstrueerimisbüroo
52.
Küberneetika Instituut. Fotoelastsuse labor
53.
Küberneetika Instituut. Mittelineaarsete protsesside analüüsi keskus
54.
Leningradi Elektrotehnika Instituut
55.
Leningradi Polütehniline Instituut
56.
Leningradi Raudteetranspordi Inseneride Instituut
57.
Leningradi Täppismehhaanika ja Optika Instituut
58.
Lenini-nim. Moskva Riiklik Pedagoogiline Instituut
59.
Loodusvarade Instituut
60.
Majanduse Instituut
61.
Marketingi Instituut
62.
Moskva I.M. Gubkini nim. Naftakeemia- ja Gaasitööstuse Instituut
63.
NSVL Teaduste Akadeemia Mehaanika Instituut
64.
Partei Ajaloo Instituut
65.
Peterburi Riiklik Polütehniline Instituut
66.
Põlevkivi Teadusliku Uurimise Instituut
67.
Põlevkivi Teadusliku Uurimise Instituut (Kohtla-Järve), sünteetiliste materjalide laboratoorium
68.
Rahvusvaheline Põllumajanduse Instituut
69.
Riia Polütehniline Instituut
70.
Salk'i instituut
71.
Silikaatbetooni Instituut
72.
Silikaatbetooni Teadusliku Uurimise ja Projekteerimise Instituut
73.
Silikaltsiidi Teadusliku Uurimise ja Projekteerimise Üleliiduline Instituut
74.
Soome geodeetiline instituut
75.
Soome Meteoroloogia Instituut
76.
Tallinna Pedagoogiline Instituut
77.
Tallinna Polütehniline Instituut
78.
Tallinna Polütehniline Instituut. Arvutusmatemaatika kateeder
79.
Tallinna Polütehniline Instituut. Automaatika kateeder
80.
Tallinna Polütehniline Instituut. Automaatikateaduskond
81.
Tallinna Polütehniline Instituut. Autoteede ja geodeesia kateeder
82.
Tallinna Polütehniline Instituut. Ehituskonstruktsioonide kateeder
83.
Tallinna Polütehniline Instituut. Ehitusteaduskond
84.
Tallinna Polütehniline Instituut. Elektrimasinate kateeder
85.
Tallinna Polütehniline Instituut. Elektrotehnika aluste kateeder
86.
Tallinna Polütehniline Instituut. Fermenditööstuse tootmisharulaboratoorium
87.
Tallinna Polütehniline Instituut. Geoloogia- ja mäeasjanduse kateeder
88.
Tallinna Polütehniline Instituut. Informatsioonitöötlemise kateeder
89.
Tallinna Polütehniline Instituut. Keemia- ja mäeteaduskond
90.
Tallinna Polütehniline Instituut. Keemia-mäeteaduskond
91.
Tallinna Polütehniline Instituut. Konstrueerimis-eksperimentaalosakond
92.
Tallinna Polütehniline Instituut. Kõrgkooli ökonoomika uurimisgrupp
93.
Tallinna Polütehniline Instituut. Kütuste keemilise tehnoloogia kateeder
94.
Tallinna Polütehniline Instituut. Laevajõuseadmete kateeder
95.
Tallinna Polütehniline Instituut. Majandusteaduskond
96.
Tallinna Polütehniline Instituut. Masinaehituse tehnoloogia kateeder
97.
Tallinna Polütehniline Instituut. Masinaehitustehnoloogia eriala
98.
Tallinna Polütehniline Instituut. Masinaehitustehnoloogia kateeder
99.
Tallinna Polütehniline Instituut. Masinaelementide kateeder
100.
Tallinna Polütehniline Instituut. Mehaanikateaduskond
101.
Tallinna Polütehniline Instituut. Metallide tehnoloogia kateeder
102.
Tallinna Polütehniline Instituut. Poliitilise ökonoomia kateeder
103.
Tallinna Polütehniline Instituut. Raamatukogu
104.
Tallinna Polütehniline Instituut. Sanitaartehnika probleemlaboratoorium
105.
Tallinna Polütehniline Instituut. Soojusenergeetika kateeder
106.
Tallinna Polütehniline Instituut. Teenindusökonoomika kateeder
107.
Tallinna Polütehniline Instituut. Toiduainete tehnoloogia kateeder
108.
Tallinna Polütehniline Instituut. Toiduainete tootmisharulaboratoorium
109.
Tallinna Polütehniline Instituut. Tööstuse juhtimise ja plaanimise kateeder
110.
Tallinna Polütehniline Instituut. Tööstuse juhtimise ja planeerimise kateeder
111.
Tallinna Polütehniline Instituut. Tööstusökonoomika kateeder
112.
Tallinna Polütehniline Instituut. Üldtehniline teaduskond Kohtla-Järvel
113.
Tallinna Tehnikaülikool. Arhitektuuri ja Urbanistika Instituut
114.
Tallinna Tehnikaülikool. Arvutisüsteemide instituut
115.
Tallinna Tehnikaülikool. Arvutiteaduse instituut
116.
Tallinna Tehnikaülikool. Arvutitehnika instituut
117.
Tallinna Tehnikaülikool. Biomeditsiinitehnika instituut
118.
Tallinna Tehnikaülikool. Ehitiste projekteerimise instituut
119.
Tallinna Tehnikaülikool. Ehituse ja arhitektuuri instituut
120.
Tallinna Tehnikaülikool. Ehitustootluse instituut
121.
Tallinna Tehnikaülikool. Elektriajamite ja jõuelektroonika instituut
122.
Tallinna Tehnikaülikool. Elektroenergeetika instituut
123.
Tallinna Tehnikaülikool. Elektroenergeetika ja mehhatroonika instituut
124.
Tallinna Tehnikaülikool. Elektrotehnika aluste ja elektrimasinate instituut
125.
Tallinna Tehnikaülikool. Elektrotehnika instituut
126.
Tallinna Tehnikaülikool. Energiatehnoloogia instituut
127.
Tallinna Tehnikaülikool. Geenitehnoloogia instituut
128.
Tallinna Tehnikaülikool. Geoloogia Instituut
129.
Tallinna Tehnikaülikool. Haldusjuhtimise instituut
130.
Tallinna Tehnikaülikool. Humanitaar- ja sotsiaalteaduste instituut
131.
Tallinna Tehnikaülikool. Keemia Instituut
132.
Tallinna Tehnikaülikool. Keemia ja biotehnoloogia instituut
133.
Tallinna Tehnikaülikool. Keemiatehnika instituut
134.
Tallinna Tehnikaülikool. Keemilise ja bioloogilise füüsika instituut
135.
Tallinna Tehnikaülikool. Keskkonnatehnika instituut
136.
Tallinna Tehnikaülikool. Keskonnatehnika instituut
137.
Tallinna Tehnikaülikool. Kliinilise meditsiini instituut
138.
Tallinna Tehnikaülikool. Küberneetika Instituut
139.
Tallinna Tehnikaülikool. Majandusanalüüsi ja rahanduse instituut
140.
Tallinna Tehnikaülikool. Masinaehituse instituut
141.
Tallinna Tehnikaülikool. Materjali- ja keskkonnatehnoloogia instituut
142.
Tallinna Tehnikaülikool. Materjaliteaduse instituut
143.
Tallinna Tehnikaülikool. Materjalitehnika instituut
144.
Tallinna Tehnikaülikool. Mehaanika ja tööstustehnika instituut
145.
Tallinna Tehnikaülikool. Meresüsteemide Instituut
146.
Tallinna Tehnikaülikool. Polümeermaterjalide instituut
147.
Tallinna Tehnikaülikool. Raadio- ja sidetehnika instituut
148.
Tallinna Tehnikaülikool. Ragnar Nurkse innovatsiooni ja valitsemise instituut
149.
Tallinna Tehnikaülikool. Saarte Instituut
150.
Tallinna Tehnikaülikool. Soojustehnika instituut
151.
Tallinna Tehnikaülikool. Säästva Tehnoloogia Instituut
152.
Tallinna Tehnikaülikool. Teoreetilise majandusteaduse ja -metodoloogia instituut
153.
Tallinna Tehnikaülikool. Tervisetehnoloogiate instituut
154.
Tallinna Tehnikaülikool. Toiduainete instituut
155.
Tallinna Tehnikaülikool. TTÜ Keemia Instituut
156.
Tallinna Tehnikaülikool. Tööstuspsühholoogia instituut
157.
Tallinna Tehnikaülikool. Õiguse instituut
158.
Tallinna Tehnikaülikool. Ärikorralduse instituut
159.
Tartu Instituut (Toronto)
160.
Tartu Ülikool. Füüsika instituut
161.
Tartu Ülikool. Geograafia instituut
162.
Tartu Ülikool. Keemia Instituut
163.
Tartu Ülikool. Ökoloogia ja maateaduste instituut
164.
Termofüüsika ja Elektrofüüsika Instituut
165.
Termofüüsika- ja Elektrofüüsika Instituut
166.
Termofüüsika ja Elektrofüüsika Instituut. Põlemisprotsesside sektor
167.
Tervise Arengu Instituut
168.
Toulouse'i Elektrotehnika Instituut
169.
Tšehhi Eksperimentaalse Botaanika Instituut
170.
Töö Teadusliku Organiseerimise Rahvusvaheline Instituut
171.
Tööstusprobleemide Instituut
172.
Ukraina NSV TA Materjalide Uurimise Instituut (Kiiev)
173.
VEMU (Tartu Instituut, Toronto)
author
117
1.
E. Vilde nim. Tallinna Pedagoogiline Instituut
2.
Eesti Kommunistliku Partei Keskkomitee Partei Ajaloo Instituut
3.
Eesti NSV Teadus- ja Tehnikainformatsiooni ning Majandusuuringute Instituut
4.
Eesti NSV Teaduste Akadeemia, EKP Keskkomitee Partei Ajaloo Instituut
5.
Eesti Teadus- ja Tehnikainformatsiooni ning Majandusuuringute Instituut
6.
EKP Keskkomitee Partei Ajaloo Instituut
7.
EKP KK Partei Ajaloo Instituut, NLKP Keskkomitee Marksismi Leninismi Instituudi Filiaal
8.
Riiklik Projekteerimise Instituut "Eesti Projekt"
9.
Riiklik Projekteerimise Instituut "Eesti Tööstusprojekt"
10.
soojustehnika instituut
11.
Talinna Polütehniline Instituut, töökaitse kateeder
12.
Tallinn Polütehnilne Instituut, tootmise ökonoomika ja organiseerimise kateeder
13.
Tallinna Polütehniline Instituut
14.
Tallinna Polütehniline Instituut, [vastuvõtukomisjon]
15.
Tallinna Polütehniline Instituut, anorgaanilise keemia kateeder
16.
Tallinna Polütehniline Instituut, arhitektuuri kateeder
17.
Tallinna Polütehniline Instituut, arvutuskeskus
18.
Tallinna Polütehniline Instituut, arvutusmatemaatika kateeder
19.
Tallinna Polütehniline Instituut, arvutustehnika kateeder
20.
Tallinna Polütehniline Instituut, autokateeder
21.
Tallinna Polütehniline Instituut, automaatika kateeder
22.
Tallinna Polütehniline Instituut, automaatika kateeder, raadiotehnika kateeder, võõrkeelte kateeder
23.
Tallinna Polütehniline Instituut, automaatikateaduskond
24.
Tallinna Polütehniline Instituut, autoteede kateeder
25.
Tallinna Polütehniline Instituut, autotranspordi kateeder
26.
Tallinna Polütehniline Instituut, ehituse ökonoomika ja organiseerimise kateeder
27.
Tallinna Polütehniline Instituut, ehituskonstruktsioonide kateede
28.
Tallinna Polütehniline Instituut, ehituskonstruktsioonide kateeder
29.
Tallinna Polütehniline Instituut, ehitusmaterjalide kateeder
30.
Tallinna Polütehniline Instituut, ehitusmaterjalide kateeder, ehituskonstruktsioonide kateeder
31.
Tallinna Polütehniline Instituut, ehitusmehaanika kateeder
32.
Tallinna Polütehniline Instituut, ehitusteaduskond
33.
Tallinna Polütehniline Instituut, ehitustehnoloogia kateeder
34.
Tallinna Polütehniline Instituut, elektriajamite kateeder
35.
Tallinna Polütehniline Instituut, elektrisüsteemide kateeder
36.
Tallinna Polütehniline Instituut, elektronarvutite kateeder
37.
Tallinna Polütehniline Instituut, elektroonika kateeder
38.
Tallinna Polütehniline Instituut, elektrotehnika aluste kateeder
39.
Tallinna Polütehniline Instituut, elektrotehnikateaduskond
40.
Tallinna Polütehniline Instituut, elektrotehnikateaduskonna metoodikakomisjon
41.
Tallinna Polütehniline Instituut, energeetikateaduskond
42.
Tallinna Polütehniline Instituut, ettevalmistuskursused
43.
Tallinna Polütehniline Instituut, ettevalmistusosakond
44.
Tallinna Polütehniline Instituut, ettevalmistusosakond ja -kursused
45.
Tallinna Polütehniline Instituut, filosoofia kateeder
46.
Tallinna Polütehniline Instituut, füüsika kateeder
47.
Tallinna Polütehniline Instituut, füüsikalise keemia kateeder
48.
Tallinna Polütehniline Instituut, graafika kateeder
49.
Tallinna Polütehniline Instituut, informatsioonitehnika kateeder
50.
Tallinna Polütehniline Instituut, informatsioonitöötlemise kateeder
51.
Tallinna Polütehniline Instituut, informatsioonitöötllemise kateeder
52.
Tallinna Polütehniline Instituut, insener-tehniliste töötajate kvalifikatsiooni tõstmise kursused
53.
Tallinna Polütehniline Instituut, kaugõppeteaduskond
54.
Tallinna Polütehniline Instituut, keelte kateeder
55.
Tallinna Polütehniline Instituut, keemiatööstuse protsesside ja aparaatide kateeder
56.
Tallinna Polütehniline Instituut, kehalise kasvatuse kateeder
57.
Tallinna Polütehniline Instituut, kehalise kasvatuse kateeder ; [koostanud autorite kollektiiv]
58.
Tallinna Polütehniline Instituut, laevajõuseadmete kateeder
59.
Tallinna Polütehniline Instituut, majandusmatemaatika kateeder
60.
Tallinna Polütehniline Instituut, majandusteaduskond
61.
Tallinna Polütehniline Instituut, majandusteaduskond, statistika kateeder
62.
Tallinna Polütehniline Instituut, masinaehituse tehnoloogia kateede
63.
Tallinna Polütehniline Instituut, masinaehituse tehnoloogia kateeder
64.
Tallinna Polütehniline Instituut, masinaehitustehnoloogia kateeder
65.
Tallinna Polütehniline Instituut, masinaelementide kateeder
66.
Tallinna Polütehniline Instituut, masinatööstuse automatiseerimise kateeder
67.
Tallinna Polütehniline Instituut, matemaatika kateeder
68.
Tallinna Polütehniline Instituut, mehaanikateaduskond
69.
Tallinna Polütehniline Instituut, metallide tehnoloogia kateeder
70.
Tallinna Polütehniline Instituut, metoodikanõukogu
71.
Tallinna Polütehniline Instituut, mäekateeder
72.
Tallinna Polütehniline Instituut, NLKP ajaloo kateeder
73.
Tallinna Polütehniline Instituut, orgaanilise ja biokeemia kateeder
74.
Tallinna Polütehniline Instituut, orgaanilise keemia kateeder
75.
Tallinna Polütehniline Instituut, peenmehaanika kateeder
76.
Tallinna Polütehniline Instituut, poliitilise ökonoomia kateeder
77.
Tallinna Polütehniline Instituut, puidutöötlemise kateeder
78.
Tallinna Polütehniline Instituut, raadiotehnika kateeder
79.
Tallinna Polütehniline Instituut, raadiotehnika kateeder, elektroonika kateeder
80.
Tallinna Polütehniline Instituut, raadiotehnika kateeder, keelte kateeder
81.
Tallinna Polütehniline Instituut, raadiotehnika kateeder, televisiooni aluste laboratoorium
82.
Tallinna Polütehniline Instituut, raamatupidamise kateeder
83.
Tallinna Polütehniline Instituut, rahvamajanduse planeerimise kateeder
84.
Tallinna Polütehniline Instituut, sanitaartehnika ja hüdraulika kateeder
85.
Tallinna Polütehniline Instituut, sanitaartehnika kateeder
86.
Tallinna Polütehniline Instituut, soojusenergeetika kateeder
87.
Tallinna Polütehniline Instituut, statistika ja raamatupidamise kateeder
88.
Tallinna Polütehniline Instituut, statistika ja raamatupidamise kteeder
89.
Tallinna Polütehniline Instituut, statistika kateeder
90.
Tallinna Polütehniline Instituut, statistikakateeder
91.
Tallinna Polütehniline Instituut, teadusliku kommunismi kateeder
92.
Tallinna Polütehniline Instituut, teenindusökonoomika kateeder
93.
Tallinna Polütehniline Instituut, teoreetilise mehaanika kateeder
94.
Tallinna Polütehniline Instituut, toiduainekeemia ja tehnoloogis kateeder
95.
Tallinna Polütehniline Instituut, toiduainete tehnoloogia kateeder
96.
Tallinna Polütehniline Instituut, tootmise ökonoomia ja organiseerimise kateeder
97.
Tallinna Polütehniline Instituut, tootmise ökonoomika ja organiseerimise kateeder
98.
Tallinna Polütehniline Instituut, tootmise ökonoomika ja organiseerimise kateeder, tootmise organiseerimise laboratoorium
99.
Tallinna Polütehniline Instituut, töökaitse kateeder
100.
Tallinna Polütehniline Instituut, tööstuse juhtimise ja planeerimise kateeder
101.
Tallinna Polütehniline Instituut, vastuvõtukomisjon
102.
Tallinna Polütehniline Instituut, vastuvõtukomisjon, majandusmatemaatika kateeder
103.
Tallinna Polütehniline Instituut, vastuvõtukomisjon, matemaatika kateeder
104.
Tallinna Polütehniline Instituut, vene keele ja võõrkeelte kateeder
105.
Tallinna Polütehniline Instituut, vene keele ja võõrkeelte kateeder, saksa keele sektsioon
106.
Tallinna Polütehniline Instituut, üldtehniline kateeder
107.
Tallinna Polütehniline Instituut, üldteoreetiliste õppeainete metoodikakomisjon
108.
Tallinna Polütehniline Instituut, Üliõpilaste Teaduslik Ühing
109.
Tallinna Polütehniline Instituut. Automaatika kateeder
110.
Tallinna Polütehniline Instituut. Kehalise kasvatuse kateeder
111.
Tallinna Polütehniline Instituut. Metoodikanõukogu
112.
Tallinna Polütehniline Instituut. Peenmehaanika kateeder
113.
Tallinna Polütehniline Instituut. Töökaitse laboratoorium
114.
Tallinna Polütehnilne Instituut, masinaelementide kateeder
115.
Tallinna Poütehniline Instituut
116.
Tallinna Tehnikaülikool, energiatehnoloogia instituut
117.
Tallinna Tehnikaülikool, soojustehnika instituut
TTÜ department
67
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.
mehaanika ja tööstustehnika instituut
44.
meresüsteemide instituut
45.
polümeermaterjalide instituut
46.
põlevkivi instituut
47.
põlevkivi teadusliku uurimise instituut
48.
raadio- ja sidetehnika instituut
49.
Ragnar Nurkse innovatsiooni ja valitsemise instituut
50.
Ragnar Nurkse innovatsiooni ja valitsemise instituut
51.
rahanduse ja majandusteooria instituut
52.
rahvamajanduse instituut
53.
rahvusvaheliste suhete instituut
54.
soojustehnika instituut
55.
teoreetilise majandusteaduse ja -metodoloogia instituut
56.
Termofüüsika ja Elektrofüüsika Instituut (Eesti)
57.
territoriaalmajanduse instituut
58.
tervisetehnoloogiate instituut
59.
toiduainete instituut
60.
TTÜ Eesti Majanduse Instituut
61.
TTÜ Geoloogia Instituut
62.
TTÜ Keemia Instituut
63.
TTÜ Küberneetika Instituut
64.
TTÜ Meresüsteemide Instituut
65.
tööstuspsühholoogia instituut
66.
õiguse instituut
67.
ärikorralduse instituut
TTÜ subject term
2
1.
raadio- ja sidetehnika instituut
2.
Tallinna Polütehniline Instituut. Kohtla-Järve õppe-konsultatsioonipunkt
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT