Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Science of computer programming (allikas)

—

—

Lisa tingimus Lihtotsing 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/222)
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. robot programming
60. semantics of programming languages
61. skills assessment of programming and mathematics
62. software tools for robot programming
63. solving linear programming problems
64. stochastic dynamic programming
65. stochastic programming
66. structured programming
67. wireless programming
68. computer
69. computer aided design
70. computer aided diagnosis
71. computer aided diagnostics
72. computer aided instruction
73. computer aided language translation
74. computer aided manufacturing
75. computer aided methods
76. computer aided software engineering
77. computer aided testing
78. computer algebra
79. computer algebra system
80. computer and education
81. computer anxiety
82. computer architecture
83. computer assisted language learning
84. computer based learning
85. computer circuits
86. computer control
87. Computer crime
88. computer education
89. computer engineering
90. computer engineerng
91. computer game
92. computer graphics
93. computer hardware
94. computer integrated manufacturing
95. computer network management
96. computer network operations
97. computer networks
98. computer pipelines
99. computer programs
100. computer security
101. computer simulation
102. computer simulation environments
103. computer simulations
104. computer software
105. Computer software and hardware
106. computer softwaregraph theory
107. computer systems
108. Computer systems organization
109. computer terminals
110. computer vision
111. computer vision-based methods
112. computer workers
113. computer-aided anthropometry
114. computer-aided architectural design (CAAD)
115. computer‐aided assessment
116. computer-aided design
117. computer-aided design (CAD)
118. computer-aided detection
119. computer‐aided detection
120. computer-aided diagnosis
121. computer-aided drawing (CAD)
122. computer-aided engineering
123. computer-aided teaching
124. Computer-Aided Tuning
125. computer-aided tuning (CAT)
126. computer-assisted language learning (CALL)
127. computer-oriented technologies
128. computer-supported decision-making
129. computer-use
130. computer-workers
131. control engineering computer applications
132. distributed computer systems
133. education in computer engineering
134. fault tolerant computer systems
135. fifth generation computer
136. gateways (computer networks)
137. high-performance computer systems
138. human computer interaction
139. human computer interaction (HCI)
140. human-computer interaction
141. human–computer interaction
142. Human-Computer Interaction (HCI)
143. human-computer interface
144. human-computer trust
145. interactive computer graphics
146. laptop computer
147. single board computer
148. single-board computer
149. structure computer analysis
150. ubiquitous computer technology
151. Web and computer-based learning
152. applied science
153. big data science
154. chemistry and philosophy of science
155. citizen science
156. citizen science hub
157. classical exact science
158. cognitive science
159. computational social science
160. data science
161. data-science
162. decision science
163. design science
164. design science research
165. design-science
166. energy science and technology
167. engineering pedagogy science
168. environmental science
169. ethics of science
170. exact science
171. food science
172. forensic science
173. logic of science
174. materials science
175. NATO. Science for Peace and Security Program
176. non-classical exact science
177. philosophy of science
178. physics and philosophy of science
179. planetary science
180. political science
181. popular science literature
182. post normal science
183. post-normal science
184. Q science
185. science
186. science advisors
187. science and arts
188. science and technology libraries
189. science and technology parks
190. Science Education
191. science fiction
192. science gateway
193. science integration
194. science mapping
195. science policy
196. science technology and innovation
197. science technology innovation
198. Science, Technology and Innovation Policy
199. science-based industries
200. science-driven models
201. science-policy-society interface
202. Security and political science
203. security science and technology
204. Social Science
205. social science methodology
206. sustainability science
207. Thomson Reuters Web of Science
208. transdisciplinary science
209. values in science
210. Web of Science
211. wood science and technology
212. World Academy of Art and Science (WAAS)
213. ȹ-science
214. φ-science
215. ϕ-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