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
computer circuits (keyword)
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
1
Look more..
(2/96)
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 EST
/
book article ENG
Inductive and coinductive predicate liftings for effectful programs
Veltri, Niccolò
;
Voorneveld, Niels F.W.
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
2021
/
p. 260-277
https://doi.org/10.4204/EPTCS.351.16
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
93
1.
computer circuits
2.
combinational and sequential circuits
3.
combinational circuits
4.
communication-time circuits
5.
digital circuits
6.
digital circuits and systems
7.
driver circuits
8.
electronic circuits
9.
equivalent circuits
10.
fractional-order circuits
11.
integrated circuits
12.
magnetic circuits
13.
microwave circuits
14.
parallel circuits
15.
printed circuits
16.
Resonant circuits
17.
sequential circuits
18.
switching circuits
19.
timing circuits
20.
computer
21.
computer aided design
22.
computer aided diagnosis
23.
computer aided diagnostics
24.
computer aided instruction
25.
computer aided manufacturing
26.
computer aided testing
27.
computer algebra
28.
computer algebra system
29.
computer and education
30.
computer anxiety
31.
computer architecture
32.
computer assisted language learning
33.
computer based learning
34.
computer control
35.
computer education
36.
computer engineering
37.
computer engineerng
38.
computer game
39.
computer graphics
40.
computer hardware
41.
computer integrated manufacturing
42.
computer network management
43.
computer network operations
44.
computer networks
45.
computer pipelines
46.
computer programming
47.
computer programs
48.
computer science
49.
computer science basics
50.
computer science education
51.
computer security
52.
computer simulation
53.
computer simulation environments
54.
computer simulations
55.
computer software
56.
computer softwaregraph theory
57.
computer systems
58.
computer terminals
59.
computer vision
60.
computer workers
61.
computer-aided anthropometry
62.
computer-aided architectural design (CAAD)
63.
computer‐aided assessment
64.
computer-aided design
65.
computer-aided detection
66.
computer‐aided detection
67.
computer-aided diagnosis
68.
computer-aided drawing (CAD)
69.
computer-aided engineering
70.
computer-aided teaching
71.
Computer-Aided Tuning
72.
computer-aided tuning (CAT)
73.
computer-assisted language learning (CALL)
74.
computer-oriented technologies
75.
computer-supported decision-making
76.
computer-use
77.
control engineering computer applications
78.
distributed computer systems
79.
education in computer engineering
80.
fifth generation computer
81.
gateways (computer networks)
82.
high-performance computer systems
83.
human computer interaction
84.
human computer interaction (HCI)
85.
human-computer interaction
86.
Human-Computer Interaction (HCI)
87.
interactive computer graphics
88.
laptop computer
89.
logic in computer science
90.
single board computer
91.
structure computer analysis
92.
ubiquitous computer technology
93.
Web and computer-based learning
subject term
3
1.
Baltic Computer Systems
2.
Estonian Summer School on Computer and Systems Science, 2023
3.
National Computer Security Incident Response Teams (N-CSIRTs)
×
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