- Location
-
Hannover TIB
- Extent
-
2268MB, 00:56:36:07 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
9th Workshop on Dependable and Secure Software Systems, 2022 ; (Jan. 2022)
- Event
-
Veröffentlichung
- (who)
-
Eidgenössische Technische Hochschule Zürich (ETH Zürich)
- (when)
-
2022-01-01
- Contributor
-
Peleg, Hila
Vechev, Martin (Moderation)
- DOI
-
10.5446/60326
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Peleg, Hila
- Vechev, Martin (Moderation)
- Eidgenössische Technische Hochschule Zürich (ETH Zürich)
Time of origin
- 2022-01-01
Other Objects (12)
Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
Program synthesis by learning and planning
Network Traffic Classification by Program Synthesis
Toward Trustworthy and Interpretable Program Synthesis
A relational approach to top down program synthesis
Biodiversity Offset Program Design and Implementation
Grün : Günther Grzimek : planning, design, program
Existence proofs by induction using methods of program synthesis
An algebraic foundation for automatic feature-based program synthesis
Logic program synthesis and transformation : 7th international workshop ; proceedings
Logic program synthesis and transformation : 6th international workshop ; proceedings
Logic program synthesis and transformation : 5th international workshop ; proceedings
Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
Program synthesis by learning and planning
Network Traffic Classification by Program Synthesis
Toward Trustworthy and Interpretable Program Synthesis
A relational approach to top down program synthesis
Biodiversity Offset Program Design and Implementation
Grün : Günther Grzimek : planning, design, program
Existence proofs by induction using methods of program synthesis
An algebraic foundation for automatic feature-based program synthesis
Logic program synthesis and transformation : 7th international workshop ; proceedings
Logic program synthesis and transformation : 6th international workshop ; proceedings
Logic program synthesis and transformation : 5th international workshop ; proceedings
Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
Program synthesis by learning and planning
Network Traffic Classification by Program Synthesis
Toward Trustworthy and Interpretable Program Synthesis
A relational approach to top down program synthesis
Biodiversity Offset Program Design and Implementation
Grün : Günther Grzimek : planning, design, program
Existence proofs by induction using methods of program synthesis
An algebraic foundation for automatic feature-based program synthesis
Logic program synthesis and transformation : 7th international workshop ; proceedings
Logic program synthesis and transformation : 6th international workshop ; proceedings