Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
circuits and systems
(3)electronics and microelectronics, instrumentation
(3)logic synthesis
(3)logicsynthesis
(3)boolean algebra
(2)boolean logic
(2)boolean modeling
(2)booleanalgebra
(2)booleanlogic
(2)booleanmodeling
(2)combinatorial search
(2)combinatorialsearch
(2)electronic circuits and systems
(2)elektronik
(2)elektrotechnik
(2)logic design
(2)nachrichtentechnik
(2)schaltkreise und komponenten (bauteile)
(2)technik
(2)akustik
(1)angewandte physik
(1)applied and technical physics
(1)artificial intelligence
(1)artificialintelligence
(1)astronomie
(1)computer-aided engineering (cad, cae) and design
(1)edv
(1)elect
(1)electronic system level
(1)electronicsystemlevel
(1)formal specification level
(1)formal verification
(1)formalspecificationlevel
(1)formalverification
(1)informatik
(1)linear logic
(1)linearlogic
(1)mechanik
(1)natural language processing
(1)naturallanguageprocessing
(1)physik
(1)programming languages
(1)programminglanguages
(1)quantum circuit
(1)quantum computation
(1)quantum computers
(1)quantumcircuit
(1)quantumcomputation
(1)quantumcomputers
(1)rechnerarchitektur und log
(1)reversible circuits
(1)reversible computation
(1)reversiblecircuits
(1)reversiblecomputation
(1)semantics
(1)software abstraction
(1)softwareabstraction
(1)type theory
(1)typetheory
(1)verification of embedded systems
(1)verificationofembeddedsystems
(1)wireless telecommunication systems
(1)wirelesstelecommunicationsystems
(1)Ergebnis: 4 Artikel
Autor: soeken, mathias
