語系
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]
主題
Electronic circuits.
Embedded computer systems.
Physics.
Arithmetic and Logic Structures.
Electronics.
Natural language processing (Computer science)
Computer programming.
Programming Techniques.
Engineering.
Circuits and Systems.
Microprocessors.
Arithmetic and logic units, Computer.
Logic design.
Programming languages (Electronic computers).
Computer System Implementation.
Artificial intelligence.
Logic Design.
Computer-aided engineering.
Microelectronics.
Architecture, Computer.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronics and Microelectronics, Instrumentation.
Applied and Technical Physics.
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Processor Architectures.