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