Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

computer programming languages (keyword)

—

—

Add criteria Simple search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (4/170)
Export

export all inquiry results (2)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / 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 programsTõugu, EnnInformation processing 80 : proceedings of IFIP Congress 80, Tokyo, Melbourne1980 / p. 207–219 https://dblp.org/rec/conf/ifip/Tyugu80.html Article at Scopus

book article

Number of records 2, displaying 1 - 2

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

1. Baltic Computer Systems
2. Estonian Summer School on Computer and Systems Science, 2023
3. National Computer Security Incident Response Teams (N-CSIRTs)

1. Tallinn Polytechnic Institute, Chair of Foreign Languages

1. Department of Computer Systems

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu