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