Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

logic in computer science (võtmesõna)

—

—

—

—

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/191)
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

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://lmcs.episciences.org/ http://doi.org/10.46298/LMCS-19(1:7)2023

artikkel ajakirjas
2

artikkel ajakirjas

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

artikkel ajakirjas

Kirjeid leitud 2, kuvan 1 - 2

1. logic in computer science
2. computer science
3. computer science basics
4. computer science education
5. logic and philosophy of logic
6. algebra of logic
7. binary logic controller
8. Boolean logic
9. default logic
10. diagrammatic logic
11. digital logic
12. dynamic logic
13. epistemic logic
14. formal logic
15. fuzzy logic
16. fuzzy logic
17. fuzzy logic control
18. fuzzy logic controller
19. fuzzy logic controller (FLC)
20. fuzzy logic model
21. graphical method of logic
22. history of logic
23. Hoare logic
24. Husserl and Pierce on logic of probability
25. independence-friendly logic
26. intuitionistic logic
27. linear logic
28. logic
29. logic built-in self-test
30. logic circuit
31. logic design
32. logic diagram
33. logic diagrams
34. logic education
35. logic for pragmatics
36. logic gates
37. logic in society
38. logic level
39. logic level and high level BDDs
40. logic locking
41. logic models
42. logic models and simulation
43. logic notation
44. logic obfuscation
45. logic of bunched implications
46. logic of relatives
47. logic of speech acts
48. logic simulation
49. logic synthesis
50. logic teaching
51. logic-based distributed routing
52. malicious logic
53. mathematical logic
54. modal logic
55. Natural logic
56. Peirce's existential graphs and transcendental logic
57. philosophical logic
58. philosophy of logic
59. pragmatic logic
60. programmable logic
61. quantitative logic
62. quantum logic
63. race logic
64. reconfigurable logic
65. routing logic
66. S4 modal logic
67. S-D logic
68. Service-Dominant logic
69. stateful logic computation
70. symbolic knowledge in Husserlian pure logic
71. symbolic logic
72. temporal logic
73. computer
74. computer aided design
75. computer aided diagnosis
76. computer aided diagnostics
77. computer aided instruction
78. computer aided manufacturing
79. computer aided testing
80. computer algebra
81. computer algebra system
82. computer and education
83. computer anxiety
84. computer architecture
85. computer assisted language learning
86. computer based learning
87. computer control
88. computer education
89. computer engineering
90. computer engineerng
91. computer game
92. computer graphics
93. computer hardware
94. computer integrated manufacturing
95. computer network management
96. computer network operations
97. computer networks
98. computer pipelines
99. computer programming
100. computer programs
101. computer security
102. computer simulation
103. computer simulation environments
104. computer simulations
105. computer softwaregraph theory
106. computer systems
107. computer terminals
108. computer vision
109. computer workers
110. computer-aided anthropometry
111. computer-aided architectural design (CAAD)
112. computer‐aided assessment
113. computer-aided design
114. computer-aided detection
115. computer‐aided detection
116. computer-aided diagnosis
117. computer-aided drawing (CAD)
118. computer-aided engineering
119. computer-aided teaching
120. computer-assisted language learning (CALL)
121. computer-supported decision-making
122. computer-use
123. control engineering computer applications
124. distributed computer systems
125. education in computer engineering
126. fifth generation computer
127. gateways (computer networks)
128. high-performance computer systems
129. human computer interaction
130. human computer interaction (HCI)
131. human-computer interaction
132. Human-Computer Interaction (HCI)
133. interactive computer graphics
134. laptop computer
135. single board computer
136. structure computer analysis
137. ubiquitous computer technology
138. Web and computer-based learning
139. applied science
140. chemistry and philosophy of science
141. citizen science
142. classical exact science
143. computational social science
144. data science
145. data-science
146. design science
147. design science research
148. design-science
149. energy science and technology
150. engineering pedagogy science
151. environmental science
152. ethics of science
153. exact science
154. materials science
155. NATO. Science for Peace and Security Program
156. non-classical exact science
157. philosophy of science
158. physics and philosophy of science
159. planetary science
160. political science
161. popular science literature
162. post normal science
163. post-normal science
164. Q science
165. science
166. science and arts
167. science and technology libraries
168. science fiction
169. science gateway
170. science integration
171. science mapping
172. science policy
173. science technology innovation
174. Science, Technology and Innovation Policy
175. science-based industries
176. science-policy-society interface
177. Social Science
178. social science methodology
179. sustainability science
180. transdisciplinary science
181. Web of Science
182. ȹ-science
183. φ-science
184. ϕ-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