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/105)
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 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, Niccolò; Voorneveld, Niels F.W.Proceedings 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. arithmetic circuits
4. circuits design
5. combinational and sequential circuits
6. combinational circuits
7. communication-time circuits
8. digital circuits
9. digital circuits and systems
10. driver circuits
11. electronic circuits
12. equivalent circuits
13. fractional-order circuits
14. integrated circuits
15. magnetic circuits
16. microwave circuits
17. parallel circuits
18. printed circuits
19. Resonant circuits
20. sequential circuits
21. switching circuits
22. timing circuits
23. VLSI circuits
24. computer
25. computer aided design
26. computer aided diagnosis
27. computer aided diagnostics
28. computer aided instruction
29. computer aided language translation
30. computer aided manufacturing
31. computer aided testing
32. computer algebra
33. computer algebra system
34. computer and education
35. computer anxiety
36. computer architecture
37. computer assisted language learning
38. computer based learning
39. computer control
40. Computer crime
41. computer education
42. computer engineering
43. computer engineerng
44. computer game
45. computer graphics
46. computer hardware
47. computer integrated manufacturing
48. computer network management
49. computer network operations
50. computer networks
51. computer pipelines
52. computer programming
53. computer programs
54. computer science
55. computer science basics
56. computer science education
57. computer security
58. computer simulation
59. computer simulation environments
60. computer simulations
61. computer software
62. computer softwaregraph theory
63. computer systems
64. Computer systems organization
65. computer terminals
66. computer vision
67. computer workers
68. computer-aided anthropometry
69. computer-aided architectural design (CAAD)
70. computer‐aided assessment
71. computer-aided design
72. computer-aided detection
73. computer‐aided detection
74. computer-aided diagnosis
75. computer-aided drawing (CAD)
76. computer-aided engineering
77. computer-aided teaching
78. Computer-Aided Tuning
79. computer-aided tuning (CAT)
80. computer-assisted language learning (CALL)
81. computer-oriented technologies
82. computer-supported decision-making
83. computer-use
84. control engineering computer applications
85. distributed computer systems
86. education in computer engineering
87. fifth generation computer
88. gateways (computer networks)
89. high-performance computer systems
90. human computer interaction
91. human computer interaction (HCI)
92. human-computer interaction
93. Human-Computer Interaction (HCI)
94. human-computer trust
95. interactive computer graphics
96. laptop computer
97. logic in computer science
98. single board computer
99. single-board computer
100. structure computer analysis
101. ubiquitous computer technology
102. 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