語系
Soeken, Mathias.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
by:
(1998 :); Soeken, Mathias.; SpringerLink (Online service); Thomsen, Michael Kirkedal.
(書目-電子資源)
Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems /
by:
(1998 :); Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(書目-電子資源)
Formal specification levelconcepts, methods, and algorithms /
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(書目-電子資源)
Natural language processing for electronic design automation
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(書目-電子資源)
主題
Natural language processing (Computer science)
Electronic circuits.
Algebra, Boolean
Electronics and Microelectronics, Instrumentation.
Electronics.
Microelectronics.
Applied and Technical Physics.
Programming Techniques.
Processor Architectures.
Logic Design.
Computer-Aided Engineering (CAD, CAE) and Design.
Computer logic
Programming Languages, Compilers, Interpreters.
Circuits and Systems.
Embedded computer systems.
Computer science
Artificial Intelligence.
Engineering.
Reversible computing
Arithmetic and Logic Structures.
Computer System Implementation.
Computer-aided engineering.
Integrated circuits