Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Science of computer programming (source)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (4/214)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article EST / journal article 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

journal article EST / journal article ENG
2

journal article EST / journal article 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

journal article EST / journal article ENG

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

1. Department of Software Science, Tallinn University of Technology

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu