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 3
Look more.. (4/226)
Export

export all inquiry results (3)
Save TXT 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

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

journal article
3

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 3, displaying 1 - 3

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