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