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