Languages
Soeken, Mathias.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Natural Language Processing for Electronic Design Automation
by:
Drechsler, Rolf.; SpringerLink (Online service); Soeken, Mathias.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal specification level = concepts, methods, and algorithms /
by:
Drechsler, Rolf.; SpringerLink (Online service); Soeken, Mathias.
(Language materials, printed)
Formal Specification Level = Concepts, Methods, and Algorithms /
by:
Soeken, Mathias.; SpringerLink (Online service); Drechsler, Rolf.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.