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
2
Vaata veel..
(3/169)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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
2
artikkel kogumikus
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
artikkel kogumikus
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
165
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 logic programming
31.
constraint logic programming (LP) (CLP)
32.
constraint programming
33.
convex programming
34.
dataflow programming
35.
degenerate and infeasible linear programming problems
36.
dependently typed programming
37.
discrete-convex programming
38.
dynamic programming
39.
Extreme Programming
40.
functional programming
41.
functional reactive programming
42.
game programming
43.
generative programming
44.
genetic programming
45.
hardware close programming
46.
Inductive logic programming
47.
initial solution to the linear programming problem
48.
in-system programming
49.
integer linear programming
50.
integer linear programming (ILP)
51.
integrated programming system
52.
intelligent programming environment
53.
linear integer programming
54.
linear programming
55.
logarithmic fuzzy preference programming (LFPP)
56.
mathematical programming
57.
mathematical structures in functional programming
58.
mixed integer linear programming
59.
mixed integer linear programming (MILP)
60.
mixed integer nonlinear programming
61.
mixed-integer linear programming
62.
multi-objective nonlinear programming
63.
Nc-programming
64.
object-oriented programming
65.
pair-programming
66.
programming
67.
programming and vision
68.
programming basics
69.
programming education
70.
programming time
71.
quadratic programming
72.
robot programming
73.
skills assessment of programming and mathematics
74.
software tools for robot programming
75.
solving linear programming problems
76.
stochastic dynamic programming
77.
stochastic programming
78.
structured programming
79.
wireless programming
80.
computer
81.
computer aided design
82.
computer aided diagnosis
83.
computer aided diagnostics
84.
computer aided instruction
85.
computer aided language translation
86.
computer aided manufacturing
87.
computer aided methods
88.
computer aided software engineering
89.
computer aided testing
90.
computer algebra
91.
computer algebra system
92.
computer and education
93.
computer anxiety
94.
computer architecture
95.
computer assisted language learning
96.
computer based learning
97.
computer circuits
98.
computer control
99.
Computer crime
100.
computer education
101.
computer engineering
102.
computer engineerng
103.
computer game
104.
computer graphics
105.
computer hardware
106.
computer integrated manufacturing
107.
computer network management
108.
computer network operations
109.
computer networks
110.
computer pipelines
111.
computer programs
112.
computer science
113.
computer science basics
114.
computer science education
115.
computer security
116.
computer simulation
117.
computer simulation environments
118.
computer simulations
119.
computer software
120.
Computer software and hardware
121.
computer softwaregraph theory
122.
computer systems
123.
Computer systems organization
124.
computer terminals
125.
computer vision
126.
computer vision-based methods
127.
computer workers
128.
computer-aided anthropometry
129.
computer-aided architectural design (CAAD)
130.
computer‐aided assessment
131.
computer-aided design
132.
computer-aided design (CAD)
133.
computer-aided detection
134.
computer‐aided detection
135.
computer-aided diagnosis
136.
computer-aided drawing (CAD)
137.
computer-aided engineering
138.
computer-aided teaching
139.
Computer-Aided Tuning
140.
computer-aided tuning (CAT)
141.
computer-assisted language learning (CALL)
142.
computer-oriented technologies
143.
computer-supported decision-making
144.
computer-use
145.
computer-workers
146.
control engineering computer applications
147.
distributed computer systems
148.
education in computer engineering
149.
fifth generation computer
150.
gateways (computer networks)
151.
high-performance computer systems
152.
human computer interaction
153.
human computer interaction (HCI)
154.
human-computer interaction
155.
human–computer interaction
156.
Human-Computer Interaction (HCI)
157.
human-computer trust
158.
interactive computer graphics
159.
laptop computer
160.
logic in computer science
161.
single board computer
162.
single-board computer
163.
structure computer analysis
164.
ubiquitous computer technology
165.
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