語系
Soeken, Mathias.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Natural Language Processing for Electronic Design Automation
by:
Drechsler, Rolf.; SpringerLink (Online service); Soeken, Mathias.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
Soeken, Mathias.; SpringerLink (Online service); Thomsen, Michael Kirkedal.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal specification level = concepts, methods, and algorithms /
by:
Drechsler, Rolf.; SpringerLink (Online service); Soeken, Mathias.
(書目-語言資料,印刷品)
Formal Specification Level = Concepts, Methods, and Algorithms /
by:
Soeken, Mathias.; SpringerLink (Online service); Drechsler, Rolf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Advanced Boolean Techniques = Selected Papers from the 13th International Workshop on Boolean Problems /
by:
Soeken, Mathias.; SpringerLink (Online service); Drechsler, Rolf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Electronics and Microelectronics, Instrumentation.
Microelectronics.
Computer System Implementation.
Circuits and Systems.
Microprocessors.
Artificial intelligence.
Electronic circuits.
Applied and Technical Physics.
Electronics.
Natural language processing (Computer science)
Logic Design.
Architecture, Computer.
Computer programming.
Programming Techniques.
Artificial Intelligence.
Arithmetic and logic units, Computer.
Embedded computer systems.
Engineering.
Logic design.
Computer-Aided Engineering (CAD, CAE) and Design.
Physics.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Arithmetic and Logic Structures.
Computer-aided engineering.