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 3
Vaata veel.. (3/220)
Ekspordi

ekspordi kõik päringu tulemused (3)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
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
3

artikkel ajakirjas EST / artikkel ajakirjas ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius

Kirjeid leitud 3, kuvan 1 - 3

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