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
Computer science. General computer science (category)
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
451
Look more..
(3/133)
Export
export all inquiry results
(451)
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
451
book article EST
/
book article ENG
Yet another canonical nondeterministic automaton
Maarand, Hendrik
;
Tamm, Hellis
Descriptional Complexity of Formal Systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings
2022
/
p. 184-196 : ill
https://doi.org/10.1007/978-3-031-13257-5_14
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 451, displaying
451 - 451
previous
10
11
12
13
14
15
16
17
18
19
next
keyword
126
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
computer
6.
computer aided design
7.
computer aided diagnosis
8.
computer aided diagnostics
9.
computer aided instruction
10.
computer aided manufacturing
11.
computer aided testing
12.
computer algebra
13.
computer algebra system
14.
computer and education
15.
computer anxiety
16.
computer architecture
17.
computer assisted language learning
18.
computer based learning
19.
computer circuits
20.
computer control
21.
computer education
22.
computer engineering
23.
computer engineerng
24.
computer game
25.
computer graphics
26.
computer hardware
27.
computer integrated manufacturing
28.
computer network management
29.
computer network operations
30.
computer networks
31.
computer pipelines
32.
computer programming
33.
computer programs
34.
computer security
35.
computer simulation
36.
computer simulation environments
37.
computer simulations
38.
computer software
39.
computer softwaregraph theory
40.
computer systems
41.
computer terminals
42.
computer vision
43.
computer workers
44.
computer-aided anthropometry
45.
computer-aided architectural design (CAAD)
46.
computer‐aided assessment
47.
computer-aided design
48.
computer-aided detection
49.
computer‐aided detection
50.
computer-aided diagnosis
51.
computer-aided drawing (CAD)
52.
computer-aided engineering
53.
computer-aided teaching
54.
Computer-Aided Tuning
55.
computer-aided tuning (CAT)
56.
computer-assisted language learning (CALL)
57.
computer-oriented technologies
58.
computer-supported decision-making
59.
computer-use
60.
control engineering computer applications
61.
distributed computer systems
62.
education in computer engineering
63.
fifth generation computer
64.
gateways (computer networks)
65.
high-performance computer systems
66.
human computer interaction
67.
human computer interaction (HCI)
68.
human-computer interaction
69.
Human-Computer Interaction (HCI)
70.
interactive computer graphics
71.
laptop computer
72.
single board computer
73.
single-board computer
74.
structure computer analysis
75.
ubiquitous computer technology
76.
Web and computer-based learning
77.
applied science
78.
chemistry and philosophy of science
79.
citizen science
80.
classical exact science
81.
computational social science
82.
data science
83.
data-science
84.
design science
85.
design science research
86.
design-science
87.
energy science and technology
88.
engineering pedagogy science
89.
environmental science
90.
ethics of science
91.
exact science
92.
food science
93.
materials science
94.
NATO. Science for Peace and Security Program
95.
non-classical exact science
96.
philosophy of science
97.
physics and philosophy of science
98.
planetary science
99.
political science
100.
popular science literature
101.
post normal science
102.
post-normal science
103.
Q science
104.
science
105.
science advisors
106.
science and arts
107.
science and technology libraries
108.
science and technology parks
109.
science fiction
110.
science gateway
111.
science integration
112.
science mapping
113.
science policy
114.
science technology innovation
115.
Science, Technology and Innovation Policy
116.
science-based industries
117.
science-policy-society interface
118.
Social Science
119.
social science methodology
120.
sustainability science
121.
transdisciplinary science
122.
Web of Science
123.
World Academy of Art and Science (WAAS)
124.
ȹ-science
125.
φ-science
126.
ϕ-science
subject term
6
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Baltic Computer Systems
3.
National Computer Security Incident Response Teams (N-CSIRTs)
4.
Norwegian University of Science and Technology
5.
The European Federation of Food Science and Technology (EFFoST)
6.
Web of Science
author
1
1.
Department of Software Science, Tallinn University of Technology
×
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