Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

computer circuits (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.. (2/126)
Ekspordi

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

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

Experiments with LLMs for converting language to logicTammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkNeural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II2024 / p. 305 - 314 https://doi.org/10.1007/978-3-031-71170-1_24 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
2

artikkel kogumikus EST / artikkel kogumikus ENG

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolo; Voorneveld, Niels Frits WillemProceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Kirjeid leitud 2, kuvan 1 - 2

1. computer circuits
2. analogue electronic circuits
3. application specific integrated circuits
4. arithmetic circuits
5. circuits and systems
6. circuits design
7. CMOS integrated circuits
8. combinational and sequential circuits
9. combinational circuits
10. communication-time circuits
11. digital circuits
12. digital circuits and systems
13. driver circuits
14. electronic circuits
15. equivalent circuits
16. fractional-order circuits
17. integrated circuits
18. integrated circuits (ICs)
19. low-power circuits and systems
20. magnetic circuits
21. microwave circuits
22. Multi-valued Simulation for Hazard Detection in Digital Circuits
23. parallel circuits
24. printed circuits
25. rectifier circuits
26. Resonant circuits
27. sequential circuits
28. short-circuits
29. Structural Decision Diagrams for Modeling Digital Circuits
30. switching circuits
31. Symmetrical circuits
32. timing circuits
33. VLSI circuits
34. computer
35. computer aided design
36. computer aided diagnosis
37. computer aided diagnostics
38. computer aided instruction
39. computer aided language translation
40. computer aided manufacturing
41. computer aided methods
42. computer aided software engineering
43. computer aided testing
44. computer algebra
45. computer algebra system
46. computer and education
47. computer anxiety
48. computer architecture
49. computer assisted language learning
50. computer based learning
51. computer control
52. Computer crime
53. computer education
54. computer engineering
55. computer engineerng
56. computer game
57. computer graphics
58. computer hardware
59. computer integrated manufacturing
60. computer network management
61. computer network operations
62. computer networks
63. computer pipelines
64. computer programming
65. computer programming languages
66. computer programs
67. computer science
68. computer science basics
69. computer science education
70. computer security
71. computer simulation
72. computer simulation environments
73. computer simulations
74. computer software
75. Computer software and hardware
76. computer softwaregraph theory
77. computer systems
78. Computer systems organization
79. computer systems programming
80. computer terminals
81. computer vision
82. computer vision-based methods
83. computer workers
84. computer-aided anthropometry
85. computer-aided architectural design (CAAD)
86. computer‐aided assessment
87. computer-aided design
88. computer-aided design (CAD)
89. computer-aided detection
90. computer‐aided detection
91. computer-aided diagnosis
92. computer-aided drawing (CAD)
93. computer-aided engineering
94. computer-aided teaching
95. Computer-Aided Tuning
96. computer-aided tuning (CAT)
97. computer-assisted language learning (CALL)
98. computer-oriented technologies
99. computer-supported decision-making
100. computer-use
101. computer-workers
102. control engineering computer applications
103. distributed computer systems
104. education in computer engineering
105. fault tolerant computer systems
106. fifth generation computer
107. gateways (computer networks)
108. high-performance computer systems
109. human computer interaction
110. human computer interaction (HCI)
111. human-computer interaction
112. human–computer interaction
113. Human-Computer Interaction (HCI)
114. human-computer interface
115. human-computer trust
116. interactive computer graphics
117. laptop computer
118. logic in computer science
119. single board computer
120. single-board computer
121. structure computer analysis
122. ubiquitous computer technology
123. Web and computer-based learning

1. Baltic Computer Systems
2. Estonian Summer School on Computer and Systems Science, 2023
3. National Computer Security Incident Response Teams (N-CSIRTs)

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