Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Science of computer programming (allikas)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 3
Vaata veel.. (3/223)
Ekspordi

ekspordi kõik päringu tulemused (3)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas EST / artikkel ajakirjas ENG

High-level axioms for graphical linear algebraPaixao, Joao; Rufino, Lucas; Sobocinski, Pawel MariaScience of computer programming2022 / art. 102791 ; 26 p https://doi.org/10.1016/j.scico.2022.102791 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
2

artikkel ajakirjas

Justification of the structural synthesis of programsMints, Grigori; Tõugu, EnnScience of computer programming1982 / p. 215-240 https://doi.org/10.1016/0167-6423(83)90016-3

artikkel ajakirjas
3

artikkel ajakirjas EST / artikkel ajakirjas ENG

Structured development of implementations for divide-and-conquer specificationsBortin, MaksymScience of computer programming2024 / art. 103011, 15 p. : ill https://doi.org/10.1016/j.scico.2023.103011 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 3, kuvan 1 - 3

1. computer programming
2. computer programming languages
3. computer systems programming
4. computer science
5. computer science basics
6. computer science education
7. logic in computer science
8. adaptive programming
9. advanced programming and software
10. API (Application Programming Interface)
11. automatic programming
12. C++ programming language
13. chance-constrained programming
14. constraint logic programming
15. constraint logic programming (LP) (CLP)
16. constraint programming
17. convex programming
18. dataflow programming
19. degenerate and infeasible linear programming problems
20. dependently typed programming
21. discrete-convex programming
22. dynamic programming
23. Extreme Programming
24. functional programming
25. functional reactive programming
26. game programming
27. generative programming
28. genetic programming
29. hardware close programming
30. Inductive logic programming
31. initial solution to the linear programming problem
32. in-system programming
33. integer linear programming
34. integer linear programming (ILP)
35. integrated programming system
36. intelligent programming environment
37. linear integer programming
38. linear programming
39. logarithmic fuzzy preference programming (LFPP)
40. mathematical programming
41. mathematical structures in functional programming
42. mixed integer linear programming
43. mixed integer linear programming (MILP)
44. mixed integer nonlinear programming
45. mixed-integer linear programming
46. multi-objective nonlinear programming
47. Nc-programming
48. object-oriented programming
49. object-oriented programming languages
50. pair-programming
51. problem-oriented programming languages
52. programming
53. programming and vision
54. programming basics
55. programming education
56. programming languages
57. programming time
58. quadratic programming
59. R programming
60. robot programming
61. semantics of programming languages
62. skills assessment of programming and mathematics
63. software tools for robot programming
64. solving linear programming problems
65. stochastic dynamic programming
66. stochastic programming
67. structured programming
68. wireless programming
69. computer
70. computer aided design
71. computer aided diagnosis
72. computer aided diagnostics
73. computer aided instruction
74. computer aided language translation
75. computer aided manufacturing
76. computer aided methods
77. computer aided software engineering
78. computer aided testing
79. computer algebra
80. computer algebra system
81. computer and education
82. computer anxiety
83. computer architecture
84. computer assisted language learning
85. computer based learning
86. computer circuits
87. computer control
88. Computer crime
89. computer education
90. computer engineering
91. computer engineerng
92. computer game
93. computer graphics
94. computer hardware
95. computer integrated manufacturing
96. computer network management
97. computer network operations
98. computer networks
99. computer pipelines
100. computer programs
101. computer security
102. computer simulation
103. computer simulation environments
104. computer simulations
105. computer software
106. Computer software and hardware
107. computer softwaregraph theory
108. computer systems
109. Computer systems organization
110. computer terminals
111. computer vision
112. computer vision-based methods
113. computer workers
114. computer-aided anthropometry
115. computer-aided architectural design (CAAD)
116. computer‐aided assessment
117. computer-aided design
118. computer-aided design (CAD)
119. computer-aided detection
120. computer‐aided detection
121. computer-aided diagnosis
122. computer-aided drawing (CAD)
123. computer-aided engineering
124. computer-aided teaching
125. Computer-Aided Tuning
126. computer-aided tuning (CAT)
127. computer-assisted language learning (CALL)
128. computer-oriented technologies
129. computer-supported decision-making
130. computer-use
131. computer-workers
132. control engineering computer applications
133. distributed computer systems
134. education in computer engineering
135. fault tolerant computer systems
136. fifth generation computer
137. gateways (computer networks)
138. high-performance computer systems
139. human computer interaction
140. human computer interaction (HCI)
141. human-computer interaction
142. human–computer interaction
143. Human-Computer Interaction (HCI)
144. human-computer interface
145. human-computer trust
146. interactive computer graphics
147. laptop computer
148. single board computer
149. single-board computer
150. structure computer analysis
151. ubiquitous computer technology
152. Web and computer-based learning
153. applied science
154. big data science
155. chemistry and philosophy of science
156. citizen science
157. citizen science hub
158. classical exact science
159. cognitive science
160. computational social science
161. data science
162. data-science
163. decision science
164. design science
165. design science research
166. design-science
167. energy science and technology
168. engineering pedagogy science
169. environmental science
170. ethics of science
171. exact science
172. food science
173. forensic science
174. logic of science
175. materials science
176. NATO. Science for Peace and Security Program
177. non-classical exact science
178. philosophy of science
179. physics and philosophy of science
180. planetary science
181. political science
182. popular science literature
183. post normal science
184. post-normal science
185. Q science
186. science
187. science advisors
188. science and arts
189. science and technology libraries
190. science and technology parks
191. Science Education
192. science fiction
193. science gateway
194. science integration
195. science mapping
196. science policy
197. science technology and innovation
198. science technology innovation
199. Science, Technology and Innovation Policy
200. science-based industries
201. science-driven models
202. science-policy-society interface
203. Security and political science
204. security science and technology
205. Social Science
206. social science methodology
207. sustainability science
208. Thomson Reuters Web of Science
209. transdisciplinary science
210. values in science
211. Web of Science
212. wood science and technology
213. World Academy of Art and Science (WAAS)
214. ȹ-science
215. φ-science
216. ϕ-science

1. Estonian Summer School on Computer and Systems Science, 2023
2. Baltic Computer Systems
3. National Computer Security Incident Response Teams (N-CSIRTs)
4. Norwegian University of Science and Technology
5. The European Federation of Food Science and Technology (EFFoST)
6. Web of Science

1. Department of Software Science, Tallinn University of Technology

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu