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/172)
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
168
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.
fault tolerant computer systems
151.
fifth generation computer
152.
gateways (computer networks)
153.
high-performance computer systems
154.
human computer interaction
155.
human computer interaction (HCI)
156.
human-computer interaction
157.
human–computer interaction
158.
Human-Computer Interaction (HCI)
159.
human-computer interface
160.
human-computer trust
161.
interactive computer graphics
162.
laptop computer
163.
logic in computer science
164.
single board computer
165.
single-board computer
166.
structure computer analysis
167.
ubiquitous computer technology
168.
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