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
automaadid (seadmed) (subject term)
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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 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
36
Look more..
(2/11)
Export
export all inquiry results
(36)
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
1
book article
Abstraktse automaadi sünteesi programmid algoritmi graafskeemi alusel
Pops, M.
;
Salum, Kaja
;
Plaks, Toomas
XXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 1980
1981
/
lk. 91
https://www.ester.ee/record=b1322611*est
book article
2
book article
Algoritmi loogikaskeemi sisestamine arvutisse
Tammemäe, Kalle
;
Plaks, Toomas
XXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 1980
1981
/
lk. 92
https://www.ester.ee/record=b1322611*est
book article
3
book article
Application of bidding automata for measuring the informativeness of hand motion characteristic features
Parm, Kenno
;
Nõmm, Sven
;
Vain, Jüri
BEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia
2010
/
p. 205-208 : ill
book article
4
book article
Attributed automata model of computing
Penjam, Jaan
;
Meriste, Merik
Abstracts of NWPT'96, Oslo 1996
1996
/
p. 21
book article
5
book article
Categories, automata and splicing systems
Kaljulaid, U.
;
Penjam, Jaan
Proceedings of 9th Nordic Workshop on Programming Theory
1997
book article
6
newspaper article
Coca-colat müüakse mobiili teel : [Tehnikaülikooli joogiautomaadist saavad EMT kliendid katsetamise korras osta mobiiltelefoni vahendusel Coca-Colat : lühisõnum]
Eesti Päevaleht
2003
/
18. veebr., Tallinn, lk. 2
newspaper article
7
book article EST
/
book article ENG
Completeness for categories of generalized automata
Boccali, Guido
;
Laretto, Andrea
;
Loregian, Fosco
;
Luneia, Stefano
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 2023
2023
/
art. 20, 14 p. : ill
https://doi.org/10.4230/LIPIcs.CALCO.2023.20
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
8
book
Fehler in Automaten
1989
http://www.ester.ee/record=b2015320*est
book
9
book article
Human-robot interaction learning using timed automata
Vain, Jüri
;
Miyawaki, Fujio
;
Nõmm, Sven
;
Totskaya, Tatiana
;
Anier, Aivo
ICCAS-SICE 2009 : ICROS-SICE International Joint Conference 2009 : Fukuoka City, Japan, August 18-21, 2009 : final program and papers
2009
/
p. 2037-2043
https://ieeexplore.ieee.org/document/5334368
book article
10
book article
Hybrid approach to detection of the surgeon's hand motions during endoscope surgery
Nõmm, Sven
;
Vain, Jüri
;
Petlenkov, Eduard
;
Miyawaki, Fujio
;
Yoshimitsu, Kitaro
ICIEA : 4th IEEE Conference on Industrial Electronics and Applications : Xi'an, 25-27 May 2009
2009
/
p. 3488-3492
https://ieeexplore.ieee.org/abstract/document/5138854
book article
11
book article
Informatiivne keerukushinnang automaatide dekompositsooniülesande lahendamiseks
Kruus, M.
;
Keevallik, Andres
XXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 1980
1981
/
lk. 93
https://www.ester.ee/record=b1322611*est
book article
12
journal article
Informational operators of finite automata
Keevallik, Andres
;
Lausmaa, Toomas
Tallinna Tehnikaülikooli Toimetised
1990
/
lk. 20-26
journal article
13
book
Inimesed ja automaadid
Agur, Ustus
1966
https://www.ester.ee/record=b1352413*est
book
14
journal article
Keevitamine poolautomaadiga
Laansoo, Andres
Ehitaja
2003
/
10, lk. 60-61 : ill
https://artiklid.elnet.ee/record=b1013730*est
journal article
15
journal article
Keevituse poolautomaadi häälestamine
Laansoo, Andres
Ehitaja
2003
/
9, lk. 54-56 : ill
https://artiklid.elnet.ee/record=b1013482*est
journal article
16
book article
Kontrollautomaadi "Ekzamenator K-54" eksamil kasutamise kogemusi
Kõnnusaar, Kalju
;
Võhandu, E.
Õppemetoodika küsimusi ; 3
1968
/
lk. 117-129 : ill
https://www.ester.ee/record=b1346720*est
book article
17
book article
Kontrollautomaadi "Ekzamenator K-54" kasutamise kogemusi metallide tehnoloogia kateedris
Ritso, Aadu
Õppemetoodika küsimusi ; 3
1968
/
lk. 130-136 : ill
https://www.ester.ee/record=b1346720*est
book article
18
newspaper article
Kui pea paks, siis aitab... : [joogiautomaat III õppehoone esimesel korrusel]
Mente et Manu
2000
/
7. nov., lk. 1 : fot
https://www.ester.ee/record=b1242496*est
newspaper article
19
book article
Refinement-based development of timed systems
Berthing, Jesper
;
Boström, Pontus
;
Sere, Kaisa
;
Tsiopoulos, Leonidas
;
Vain, Jüri
Integrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings
2012
/
p. 69-83 : ill
https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6
book article
20
book article
Software environment for synthesis of testable FSM through decomposition
Devadze, Sergei
;
Sudnitsõn, Aleksander
2008 26th International Conference on Microelectronics (MIEL 2008) : proceedings
2008
/
p. 433-436
https://ieeexplore.ieee.org/document/4559314
book article
21
book article
Timed automata based provably correct robot control
Anier, Aivo
;
Vain, Jüri
BEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia
2010
/
p. 201-204 : ill
book article
22
book article
Wreath products of generalized automata
Penjam, Jaan
;
Vene, Varmo
2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings
2004
/
p. 217-218
https://cdc.ioc.ee/appsem04/webproc/short/penjam-vene.pdf
book article
23
book article
Влияние систематической погрешности преобразования на точность и результаты поверки контрольно-сортировочного автомата
Izrailev, V.
;
Laaneots, Rein
;
Saar, Bernhard
Сборник статей по машиностроению. 9
1972
/
с. 37-42
https://www.ester.ee/record=b2190570*est
https://digikogu.taltech.ee/et/Item/3aab34ef-a920-43ae-9a14-2c99ba3caad2
book article
24
book article
Выбор режима резания и расчет точности обработки на токарном гидрокопировальном полуавтомате с системами автоматического регулирования (САР) размера
Štšeglov, Nikolai
;
Jaanson, Arvo
Сборник статей по машиностроению. 8
1971
/
с. 31-42 : илл
https://www.ester.ee/record=b2190317*est
https://digikogu.taltech.ee/et/Item/9e5336a6-6d17-4555-8a2c-a8b547231bbb/
book article
25
book article
Генерирование тестов по функциональной модели микропрограммного автомата
Viilup, Agu
Проектирование и диагностика вычислительных средств
1987
/
с. 64-75 : илл
https://www.ester.ee/record=b1273275*est
book article
Number of records 36, displaying
1 - 25
previous
1
2
next
subject term
10
1.
automaadid (seadmed)
2.
abstraktsed automaadid
3.
automaadid (relvad)
4.
A. Tõnisson & Ko, vesivarustuse ja keskküttetööstuse seadmed
5.
akustilised seadmed
6.
kantavad seadmed
7.
kontaktivabad seadmed
8.
mobiilsed seadmed
9.
seadmed
10.
südametööd toetavad seadmed
keyword
1
1.
seadmed
×
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