Languages
Soeken, Mathias.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
by:
(1998 :); Soeken, Mathias.; SpringerLink (Online service); Thomsen, Michael Kirkedal.
(Electronic resources)
Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems /
by:
(1998 :); Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(Electronic resources)
Formal specification levelconcepts, methods, and algorithms /
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(Electronic resources)
Natural language processing for electronic design automation
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(Electronic resources)
Subjects
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