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 publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (3/111)
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. Multi-valued Simulation for Hazard Detection in Digital Circuits
18. parallel circuits
19. printed circuits
20. Resonant circuits
21. sequential circuits
22. Structural Decision Diagrams for Modeling Digital Circuits
23. switching circuits
24. timing circuits
25. VLSI circuits
26. computer
27. computer aided design
28. computer aided diagnosis
29. computer aided diagnostics
30. computer aided instruction
31. computer aided language translation
32. computer aided manufacturing
33. computer aided software engineering
34. computer aided testing
35. computer algebra
36. computer algebra system
37. computer and education
38. computer anxiety
39. computer architecture
40. computer assisted language learning
41. computer based learning
42. computer control
43. Computer crime
44. computer education
45. computer engineering
46. computer engineerng
47. computer game
48. computer graphics
49. computer hardware
50. computer integrated manufacturing
51. computer network management
52. computer network operations
53. computer networks
54. computer pipelines
55. computer programming
56. computer programming languages
57. computer programs
58. computer science
59. computer science basics
60. computer science education
61. computer security
62. computer simulation
63. computer simulation environments
64. computer simulations
65. computer software
66. computer softwaregraph theory
67. computer systems
68. Computer systems organization
69. computer terminals
70. computer vision
71. computer workers
72. computer-aided anthropometry
73. computer-aided architectural design (CAAD)
74. computer‐aided assessment
75. computer-aided design
76. computer-aided design (CAD)
77. computer-aided detection
78. computer‐aided detection
79. computer-aided diagnosis
80. computer-aided drawing (CAD)
81. computer-aided engineering
82. computer-aided teaching
83. Computer-Aided Tuning
84. computer-aided tuning (CAT)
85. computer-assisted language learning (CALL)
86. computer-oriented technologies
87. computer-supported decision-making
88. computer-use
89. control engineering computer applications
90. distributed computer systems
91. education in computer engineering
92. fifth generation computer
93. gateways (computer networks)
94. high-performance computer systems
95. human computer interaction
96. human computer interaction (HCI)
97. human-computer interaction
98. Human-Computer Interaction (HCI)
99. human-computer trust
100. interactive computer graphics
101. laptop computer
102. logic in computer science
103. single board computer
104. single-board computer
105. structure computer analysis
106. ubiquitous computer technology
107. 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)

1. Department of Computer Systems

match

sort

Otsing
Valikud 0

year of publication

author

TalTech 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