Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

computer circuits (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (2/105)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article 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

book article EST / book article ENG
2

book article EST / book article 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

book article EST / book article ENG

Number of records 2, displaying 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)

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu