MPG.eBooks - Search Results - "Synthesis"

Cover Image

1

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023

by Nadel, Alexander
Published 2023

TU Wien Academic Press

Subjects: “..., Specification, Synthesis, and Testing; Automated and Formal Reasoning...”

Cover Image

2

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

by Griggio, Alberto
Published 2022

TU Wien Academic Press

Subjects: “..., Specification, Synthesis, and Testing; Automated and Formal Reasoning...”

Cover Image

3

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

by Piskac, Ruzica
Published 2021

TU Wien Academic Press

Subjects: “..., Specification, Synthesis, and Testing; Automated and Formal Reasoning...”

Cover Image

4

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

by Ivrii, Alexander
Published 2020

TU Wien Academic Press

Subjects: “...Formal Verification, Specification, Synthesis, and Testing...”

Cover Image

5

Noise as a Constructive Element in Music : Theoretical and Music-Analytical Perspectives

by Delaere, Mark
Published 2022

Taylor & Francis

Subjects: “...;Instrumental Synthesis;Rhythmic Loop;Pop Punk;Sound Poetry...”