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 2
Vaata veel.. (3/210)
Ekspordi

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

Salvesta PDF 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 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 2, kuvan 1 - 2

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