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
semantics of 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..
(2/95)
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 ajakirjas
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
artikkel ajakirjas
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
94
1.
semantics of programming languages
2.
computer programming languages
3.
object-oriented programming languages
4.
problem-oriented programming languages
5.
programming languages
6.
bialgebraic semantics
7.
big-step semantics
8.
business semantics
9.
categorical semantics
10.
compositional semantics
11.
content semantics
12.
counterpart semantics
13.
denotational semantics
14.
emergent semantics
15.
formal semantics
16.
game-theoretic semantics
17.
neighborhood semantics
18.
Operational semantics
19.
question-answer semantics
20.
semantics
21.
semantics-driven recommendation
22.
structural operational semantics
23.
time semantics
24.
trace semantics
25.
atoms of regular languages
26.
Common European Framework of Reference for Languages
27.
context free languages
28.
context-free languages
29.
data flow languages
30.
domain specific languages
31.
formal languages
32.
Indigenous languages
33.
less-resourced languages
34.
low-resource languages
35.
modeling languages
36.
object constraint languages
37.
problem-oriented languages
38.
query languages
39.
regular languages
40.
textual domain specific languages
41.
under-resourced languages
42.
adaptive programming
43.
advanced programming and software
44.
API (Application Programming Interface)
45.
automatic programming
46.
C++ programming language
47.
chance-constrained programming
48.
computer programming
49.
constraint programming
50.
convex programming
51.
dataflow programming
52.
degenerate and infeasible linear programming problems
53.
dependently typed programming
54.
discrete-convex programming
55.
dynamic programming
56.
Extreme Programming
57.
functional reactive programming
58.
game programming
59.
generative programming
60.
genetic programming
61.
hardware close programming
62.
Inductive logic programming
63.
initial solution to the linear programming problem
64.
in-system programming
65.
integer linear programming
66.
integer linear programming (ILP)
67.
integrated programming system
68.
intelligent programming environment
69.
linear integer programming
70.
linear programming
71.
logarithmic fuzzy preference programming (LFPP)
72.
mathematical programming
73.
mathematical structures in functional programming
74.
mixed integer linear programming
75.
mixed integer linear programming (MILP)
76.
mixed integer nonlinear programming
77.
mixed-integer linear programming
78.
multi-objective nonlinear programming
79.
Nc-programming
80.
object-oriented programming
81.
pair-programming
82.
programming
83.
programming and vision
84.
programming basics
85.
programming education
86.
programming time
87.
quadratic programming
88.
robot programming
89.
skills assessment of programming and mathematics
90.
solving linear programming problems
91.
stochastic dynamic programming
92.
stochastic programming
93.
structured programming
94.
wireless programming
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