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