- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Dagstuhl Seminar ; Dagstuhl, Wadern ; 18.02. - 23.02.2018
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2024
- DOI
-
10.26083/tuprints-00026921
- URN
-
urn:nbn:de:tuda-tuprints-269214
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Benenson, Yaakov
- Dalchau, Neil
- Koeppl, Heinz W.
- Maler, Oded
- Universitäts- und Landesbibliothek
Time of origin
- 2024
Other Objects (12)
Interval Methods for Analog Circuits
Novel Advanced Sampling Methods to Study Biomolecular Association
Methods for the prediction of complex biomolecular structures
Methods for the prediction of complex biomolecular structures
Logic Synthesis Techniques for Optical Circuits
Layout synthesis of analog integrated circuits
Layout synthesis of analog integrated circuits
Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets
Formal verification methodologies for nonlinear analog circuits
Formal verification methodologies for nonlinear analog circuits
Highly Automated Formal Verification of Arithmetic Circuits
Formal abstraction and verification of analog circuits
Interval Methods for Analog Circuits
Novel Advanced Sampling Methods to Study Biomolecular Association
Methods for the prediction of complex biomolecular structures
Methods for the prediction of complex biomolecular structures
Logic Synthesis Techniques for Optical Circuits
Layout synthesis of analog integrated circuits
Layout synthesis of analog integrated circuits
Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets
Formal verification methodologies for nonlinear analog circuits
Formal verification methodologies for nonlinear analog circuits
Highly Automated Formal Verification of Arithmetic Circuits
Formal abstraction and verification of analog circuits
Interval Methods for Analog Circuits
Novel Advanced Sampling Methods to Study Biomolecular Association
Methods for the prediction of complex biomolecular structures
Methods for the prediction of complex biomolecular structures
Logic Synthesis Techniques for Optical Circuits
Layout synthesis of analog integrated circuits
Layout synthesis of analog integrated circuits
Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets
Formal verification methodologies for nonlinear analog circuits
Formal verification methodologies for nonlinear analog circuits
Highly Automated Formal Verification of Arithmetic Circuits