Languages
Soeken, Mathias.
Overview
| Works: | 5 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Formal specification level = concepts, methods, and algorithms /
by:
Soeken, Mathias.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Natural language processing for electronic design automation
by:
Soeken, Mathias.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Reversible computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
by:
RC (Workshop : Reversible Computation) (2019 :); Thomsen, Michael Kirkedal.; Soeken, Mathias.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.