Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
computer programming languages (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(3/167)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
163
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.
atoms of regular languages
8.
Common European Framework of Reference for Languages
9.
context free languages
10.
context-free languages
11.
data flow languages
12.
domain specific languages
13.
formal languages
14.
Indigenous languages
15.
less-resourced languages
16.
low-resource languages
17.
modeling languages
18.
object constraint languages
19.
problem-oriented languages
20.
query languages
21.
regular languages
22.
textual domain specific languages
23.
under-resourced languages
24.
adaptive programming
25.
advanced programming and software
26.
API (Application Programming Interface)
27.
automatic programming
28.
C++ programming language
29.
chance-constrained programming
30.
constraint programming
31.
convex programming
32.
dataflow programming
33.
degenerate and infeasible linear programming problems
34.
dependently typed programming
35.
discrete-convex programming
36.
dynamic programming
37.
Extreme Programming
38.
functional programming
39.
functional reactive programming
40.
game programming
41.
generative programming
42.
genetic programming
43.
hardware close programming
44.
Inductive logic programming
45.
initial solution to the linear programming problem
46.
in-system programming
47.
integer linear programming
48.
integer linear programming (ILP)
49.
integrated programming system
50.
intelligent programming environment
51.
linear integer programming
52.
linear programming
53.
logarithmic fuzzy preference programming (LFPP)
54.
mathematical programming
55.
mathematical structures in functional programming
56.
mixed integer linear programming
57.
mixed integer linear programming (MILP)
58.
mixed integer nonlinear programming
59.
mixed-integer linear programming
60.
multi-objective nonlinear programming
61.
Nc-programming
62.
object-oriented programming
63.
pair-programming
64.
programming
65.
programming and vision
66.
programming basics
67.
programming education
68.
programming time
69.
quadratic programming
70.
robot programming
71.
skills assessment of programming and mathematics
72.
software tools for robot programming
73.
solving linear programming problems
74.
stochastic dynamic programming
75.
stochastic programming
76.
structured programming
77.
wireless programming
78.
computer
79.
computer aided design
80.
computer aided diagnosis
81.
computer aided diagnostics
82.
computer aided instruction
83.
computer aided language translation
84.
computer aided manufacturing
85.
computer aided methods
86.
computer aided software engineering
87.
computer aided testing
88.
computer algebra
89.
computer algebra system
90.
computer and education
91.
computer anxiety
92.
computer architecture
93.
computer assisted language learning
94.
computer based learning
95.
computer circuits
96.
computer control
97.
Computer crime
98.
computer education
99.
computer engineering
100.
computer engineerng
101.
computer game
102.
computer graphics
103.
computer hardware
104.
computer integrated manufacturing
105.
computer network management
106.
computer network operations
107.
computer networks
108.
computer pipelines
109.
computer programs
110.
computer science
111.
computer science basics
112.
computer science education
113.
computer security
114.
computer simulation
115.
computer simulation environments
116.
computer simulations
117.
computer software
118.
Computer software and hardware
119.
computer softwaregraph theory
120.
computer systems
121.
Computer systems organization
122.
computer terminals
123.
computer vision
124.
computer vision-based methods
125.
computer workers
126.
computer-aided anthropometry
127.
computer-aided architectural design (CAAD)
128.
computer‐aided assessment
129.
computer-aided design
130.
computer-aided design (CAD)
131.
computer-aided detection
132.
computer‐aided detection
133.
computer-aided diagnosis
134.
computer-aided drawing (CAD)
135.
computer-aided engineering
136.
computer-aided teaching
137.
Computer-Aided Tuning
138.
computer-aided tuning (CAT)
139.
computer-assisted language learning (CALL)
140.
computer-oriented technologies
141.
computer-supported decision-making
142.
computer-use
143.
computer-workers
144.
control engineering computer applications
145.
distributed computer systems
146.
education in computer engineering
147.
fifth generation computer
148.
gateways (computer networks)
149.
high-performance computer systems
150.
human computer interaction
151.
human computer interaction (HCI)
152.
human-computer interaction
153.
human–computer interaction
154.
Human-Computer Interaction (HCI)
155.
human-computer trust
156.
interactive computer graphics
157.
laptop computer
158.
logic in computer science
159.
single board computer
160.
single-board computer
161.
structure computer analysis
162.
ubiquitous computer technology
163.
Web and computer-based learning
märksõna
3
1.
Baltic Computer Systems
2.
Estonian Summer School on Computer and Systems Science, 2023
3.
National Computer Security Incident Response Teams (N-CSIRTs)
autor
1
1.
Tallinn Polytechnic Institute, Chair of Foreign Languages
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT