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
logic models (keyword)
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
1
Look more..
(1/182)
Export
export all inquiry results
(1)
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
Logic simulation and fault collapsing with shared structurally synthesized BDDs
Mironov, Dmitri
;
Ubar, Raimund-Johannes
;
Raik, Jaan
2014 19th IEEE European Test Symposium (ETS) : May 26th-30th, 2014, Paderborn, Germany : proceedings
2014
/
[2] p. : ill
book article
Number of records 1, displaying
1 - 1
keyword
182
1.
logic models
2.
logic models and simulation
3.
logic and philosophy of logic
4.
algebra of logic
5.
binary logic controller
6.
Boolean logic
7.
default logic
8.
diagrammatic logic
9.
digital logic
10.
dynamic logic
11.
epistemic logic
12.
formal logic
13.
fuzzy logic
14.
fuzzy logic
15.
fuzzy logic control
16.
fuzzy logic controller
17.
fuzzy logic controller (FLC)
18.
fuzzy logic model
19.
graphical method of logic
20.
history of logic
21.
Hoare logic
22.
Husserl and Pierce on logic of probability
23.
independence-friendly logic
24.
intuitionistic logic
25.
linear logic
26.
logic
27.
logic built-in self-test
28.
logic cell library
29.
logic circuit
30.
logic design
31.
logic diagram
32.
logic diagrams
33.
logic education
34.
logic for pragmatics
35.
logic gates
36.
logic in computer science
37.
logic in society
38.
logic level
39.
logic level and high level BDDs
40.
logic locking
41.
logic notation
42.
logic obfuscation
43.
logic of bunched implications
44.
logic of relatives
45.
logic of speech acts
46.
logic simulation
47.
logic synthesis
48.
logic teaching
49.
logic-based distributed routing
50.
malicious logic
51.
mathematical logic
52.
modal logic
53.
Natural logic
54.
Peirce's existential graphs and transcendental logic
55.
philosophical logic
56.
philosophy of logic
57.
pragmatic logic
58.
programmable logic
59.
quantitative logic
60.
quantum logic
61.
race logic
62.
reconfigurable logic
63.
routing logic
64.
S4 modal logic
65.
S-D logic
66.
Service-Dominant logic
67.
stateful logic computation
68.
symbolic knowledge in Husserlian pure logic
69.
symbolic logic
70.
temporal logic
71.
adaptation models
72.
agent-based models
73.
aging models
74.
analytical models
75.
animal models
76.
atmosphere models
77.
bottom-up models
78.
business development models
79.
business models
80.
capability models
81.
channel models
82.
circular economy models
83.
climate models
84.
competence models
85.
computational models
86.
control fault models
87.
coupled wave-circulation-atmosphere models
88.
coupled models
89.
data models
90.
demonstration models
91.
didactical models
92.
disease models
93.
dq0 models
94.
DSL meta-models
95.
dynamic models
96.
econometric models
97.
EMT models
98.
energy models
99.
excellence models
100.
factor models
101.
factor-augmented vector autoregressive models
102.
fault models
103.
feature space for taxonomy of models of interactive computation
104.
FEM Hertz contact and wear models
105.
FEM Models
106.
fraud models
107.
functional models
108.
goal models
109.
governance and ownership models
110.
habitat suitability models
111.
hierarchical service models
112.
hydraulic models
113.
input-output models
114.
input–output models
115.
interactive models
116.
interoperability and evolution of healthcare models and software systems
117.
inventory replenishment models
118.
learner models
119.
learning models
120.
linear mixed models
121.
logistics competence models
122.
lower trophic level models
123.
machine learning models
124.
Markov models
125.
mathematical models
126.
mathematical models for economic problems
127.
maturity models
128.
mental models
129.
meta-models
130.
metapopulation models
131.
models
132.
models for risk assessment
133.
models in psychology
134.
multilingual models
135.
multiple regression models
136.
multivariate GARCH models
137.
new learning models
138.
non-linear models
139.
numerical models
140.
ocean models
141.
optimization models
142.
prediction models
143.
predictive models
144.
pre-trained models
145.
price models
146.
probabilistic graphical models
147.
process models and modelling
148.
radio propagation models
149.
regression models
150.
RMS models
151.
rock models
152.
role-models
153.
second generation of tribology models
154.
sectoral models
155.
service models
156.
shared mental models
157.
simulation models
158.
smooth transition VAR models
159.
sparse models
160.
Spatial statistical models
161.
stage and maturity models
162.
stage- and maturity models
163.
stage models
164.
state-space models
165.
static load models
166.
statistical prediction models
167.
structure models
168.
surface models
169.
surgery models
170.
sustainable business models
171.
synthesis on hierarchical service models
172.
synthetic gravity models
173.
teaching models
174.
theoretical models
175.
thermal models
176.
time-averaged models
177.
top-down models
178.
trajectory models
179.
turbulence models
180.
wavelet models
181.
wind park models
182.
3D models
×
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