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 programming languages (keyword)
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
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..
(4/174)
Export
export all inquiry results
(2)
Save TXT 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
Coinductive big-step semantics for concurrency
Uustalu, Tarmo
Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013
2013
/
p. 63-78
https://doi.org/10.4204/EPTCS.137.6
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
2
book article
Towards practical synthesis of programs
Tõugu, Enn
Information processing 80 : proceedings of IFIP Congress 80, Tokyo, Melbourne
1980
/
p. 207–219
https://dblp.org/rec/conf/ifip/Tyugu80.html
Article at Scopus
book article
Number of records 2, displaying
1 - 2
keyword
169
1.
computer programming languages
2.
object-oriented programming languages
3.
problem-oriented programming languages
4.
programming languages
5.
semantics of programming languages
6.
computer programming
7.
computer systems programming
8.
atoms of regular languages
9.
Common European Framework of Reference for Languages
10.
context free languages
11.
context-free languages
12.
data flow languages
13.
domain specific languages
14.
formal languages
15.
Indigenous languages
16.
less-resourced languages
17.
low-resource languages
18.
modeling languages
19.
object constraint languages
20.
problem-oriented languages
21.
query languages
22.
regular languages
23.
textual domain specific languages
24.
under-resourced languages
25.
adaptive programming
26.
advanced programming and software
27.
API (Application Programming Interface)
28.
automatic programming
29.
C++ programming language
30.
chance-constrained programming
31.
constraint logic programming
32.
constraint logic programming (LP) (CLP)
33.
constraint programming
34.
convex programming
35.
dataflow programming
36.
degenerate and infeasible linear programming problems
37.
dependently typed programming
38.
discrete-convex programming
39.
dynamic programming
40.
Extreme Programming
41.
functional programming
42.
functional reactive programming
43.
game programming
44.
generative programming
45.
genetic programming
46.
hardware close programming
47.
Inductive logic programming
48.
initial solution to the linear programming problem
49.
in-system programming
50.
integer linear programming
51.
integer linear programming (ILP)
52.
integrated programming system
53.
intelligent programming environment
54.
linear integer programming
55.
linear programming
56.
logarithmic fuzzy preference programming (LFPP)
57.
mathematical programming
58.
mathematical structures in functional programming
59.
mixed integer linear programming
60.
mixed integer linear programming (MILP)
61.
mixed integer nonlinear programming
62.
mixed-integer linear programming
63.
multi-objective nonlinear programming
64.
Nc-programming
65.
object-oriented programming
66.
pair-programming
67.
programming
68.
programming and vision
69.
programming basics
70.
programming education
71.
programming time
72.
quadratic programming
73.
R programming
74.
robot programming
75.
skills assessment of programming and mathematics
76.
software tools for robot programming
77.
solving linear programming problems
78.
stochastic dynamic programming
79.
stochastic programming
80.
structured programming
81.
wireless programming
82.
computer
83.
computer aided design
84.
computer aided diagnosis
85.
computer aided diagnostics
86.
computer aided instruction
87.
computer aided language translation
88.
computer aided manufacturing
89.
computer aided methods
90.
computer aided software engineering
91.
computer aided testing
92.
computer algebra
93.
computer algebra system
94.
computer and education
95.
computer anxiety
96.
computer architecture
97.
computer assisted language learning
98.
computer based learning
99.
computer circuits
100.
computer control
101.
Computer crime
102.
computer education
103.
computer engineering
104.
computer engineerng
105.
computer game
106.
computer graphics
107.
computer hardware
108.
computer integrated manufacturing
109.
computer network management
110.
computer network operations
111.
computer networks
112.
computer pipelines
113.
computer programs
114.
computer science
115.
computer science basics
116.
computer science education
117.
computer security
118.
computer simulation
119.
computer simulation environments
120.
computer simulations
121.
computer software
122.
Computer software and hardware
123.
computer softwaregraph theory
124.
computer systems
125.
Computer systems organization
126.
computer terminals
127.
computer vision
128.
computer vision-based methods
129.
computer workers
130.
computer-aided anthropometry
131.
computer-aided architectural design (CAAD)
132.
computer‐aided assessment
133.
computer-aided design
134.
computer-aided design (CAD)
135.
computer-aided detection
136.
computer‐aided detection
137.
computer-aided diagnosis
138.
computer-aided drawing (CAD)
139.
computer-aided engineering
140.
computer-aided teaching
141.
Computer-Aided Tuning
142.
computer-aided tuning (CAT)
143.
computer-assisted language learning (CALL)
144.
computer-oriented technologies
145.
computer-supported decision-making
146.
computer-use
147.
computer-workers
148.
control engineering computer applications
149.
distributed computer systems
150.
education in computer engineering
151.
fault tolerant computer systems
152.
fifth generation computer
153.
gateways (computer networks)
154.
high-performance computer systems
155.
human computer interaction
156.
human computer interaction (HCI)
157.
human-computer interaction
158.
human–computer interaction
159.
Human-Computer Interaction (HCI)
160.
human-computer interface
161.
human-computer trust
162.
interactive computer graphics
163.
laptop computer
164.
logic in computer science
165.
single board computer
166.
single-board computer
167.
structure computer analysis
168.
ubiquitous computer technology
169.
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)
author
1
1.
Tallinn Polytechnic Institute, Chair of Foreign Languages
TalTech department
1
1.
Department of Computer Systems
×
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