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
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..
(4/172)
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
167
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.
robot programming
74.
skills assessment of programming and mathematics
75.
software tools for robot programming
76.
solving linear programming problems
77.
stochastic dynamic programming
78.
stochastic programming
79.
structured programming
80.
wireless programming
81.
computer
82.
computer aided design
83.
computer aided diagnosis
84.
computer aided diagnostics
85.
computer aided instruction
86.
computer aided language translation
87.
computer aided manufacturing
88.
computer aided methods
89.
computer aided software engineering
90.
computer aided testing
91.
computer algebra
92.
computer algebra system
93.
computer and education
94.
computer anxiety
95.
computer architecture
96.
computer assisted language learning
97.
computer based learning
98.
computer circuits
99.
computer control
100.
Computer crime
101.
computer education
102.
computer engineering
103.
computer engineerng
104.
computer game
105.
computer graphics
106.
computer hardware
107.
computer integrated manufacturing
108.
computer network management
109.
computer network operations
110.
computer networks
111.
computer pipelines
112.
computer programs
113.
computer science
114.
computer science basics
115.
computer science education
116.
computer security
117.
computer simulation
118.
computer simulation environments
119.
computer simulations
120.
computer software
121.
Computer software and hardware
122.
computer softwaregraph theory
123.
computer systems
124.
Computer systems organization
125.
computer terminals
126.
computer vision
127.
computer vision-based methods
128.
computer workers
129.
computer-aided anthropometry
130.
computer-aided architectural design (CAAD)
131.
computer‐aided assessment
132.
computer-aided design
133.
computer-aided design (CAD)
134.
computer-aided detection
135.
computer‐aided detection
136.
computer-aided diagnosis
137.
computer-aided drawing (CAD)
138.
computer-aided engineering
139.
computer-aided teaching
140.
Computer-Aided Tuning
141.
computer-aided tuning (CAT)
142.
computer-assisted language learning (CALL)
143.
computer-oriented technologies
144.
computer-supported decision-making
145.
computer-use
146.
computer-workers
147.
control engineering computer applications
148.
distributed computer systems
149.
education in computer engineering
150.
fifth generation computer
151.
gateways (computer networks)
152.
high-performance computer systems
153.
human computer interaction
154.
human computer interaction (HCI)
155.
human-computer interaction
156.
human–computer interaction
157.
Human-Computer Interaction (HCI)
158.
human-computer interface
159.
human-computer trust
160.
interactive computer graphics
161.
laptop computer
162.
logic in computer science
163.
single board computer
164.
single-board computer
165.
structure computer analysis
166.
ubiquitous computer technology
167.
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