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
Technical University, Faculty of Electrical Engineering and Computer Science (publisher)
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 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
2
Look more..
(5/25)
Export
export all inquiry results
(2)
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
Test generation with structurally synthesized BDD models
Raik, Jaan
;
Ubar, Raimund-Johannes
Proceedings of the 5th Electronic Devices and Systems Conference, Brno, June 11-12, 1998
1998
/
p. 66-68
book article
2
book article
VHDL based test generation system
Jervan, Gert
;
Markus, Antti
;
Raik, Jaan
;
Ubar, Raimund-Johannes
Proceedings of the 5th Electronic Devices and Systems Conference, Brno, June 11-12, 1998
1998
/
p. 145-148
book article
Number of records 2, displaying
1 - 2
keyword
18
1.
engineering faculty pedagogical education
2.
computer science
3.
computer science basics
4.
computer science education
5.
logic in computer science
6.
computer aided software engineering
7.
computer engineering
8.
computer-aided engineering
9.
control engineering computer applications
10.
education in computer engineering
11.
electrical and electronic engineering
12.
electrical engineering
13.
electrical engineering computing
14.
electrical engineering education
15.
model of non-technical engineering competences
16.
non-technical engineering competences
17.
technical university academics
18.
engineering pedagogy science
author
3
1.
Tallinn University of Technology, Department of Electrical Engineering
2.
Tallinn Technical University
3.
Department of Software Science, Tallinn University of Technology
subject term
2
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Norwegian University of Science and Technology
TalTech department
1
1.
Department of Electrical Power Engineering and Mechatronics
TalTech subject term
1
1.
EuroTeQ Engineering University
×
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