Search alternatives:
"synthesizes" » "synthesized", "synthesize", "syntheses"
"synthesiss" » "synthesises", "synthesise", "synthesies"
Cover Image
Read Now

1
by Biundo, Susanne
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Semantische Grundbegriffe -- 3.3 Theoriespezifikationen -- 4. Beweis durch Synthese -- 4.1 Der Synthesekalkül...”
Cover Image
Read Now

2
by Elliott, John P.
Published 1999
Springer US
Table of Contents: “... -- 12.6 Summary -- 13. Coding For Behavioral Synthesis -- 13.1 Overview -- 13.2 Entities, Architectures...”
Cover Image
Read Now

3
by Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe
Published 2015
Springer Berlin Heidelberg
Table of Contents: “...Introduction -- Introduction to Elementary Net Synthesis -- Other Forms of the Synthesis Problem...”
Cover Image
Read Now

4
Published 2002
Springer US
Table of Contents: “... -- 7.5 Conclusion & Perspective -- 8 Logic Synthesis for Low Power -- 8.1 Introduction -- 8.2 Gate-Level...”
Cover Image
Read Now

5
Published 1999
Springer Netherlands
Table of Contents: “...Models for System-Level Synthesis -- 1. Embedded System Architectures -- 2. Models of Computation...”
Cover Image
Read Now

7
Published 2021
Springer International Publishing
Table of Contents: “...Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early...”
Cover Image
Read Now

9
Published 1993
Springer US
Table of Contents: “... design -- 5 Conclusion -- References -- 6 Regular array synthesis for image and video applications -- 1...”
Cover Image
Read Now

10
Published 1993
Springer London
Table of Contents: “...Logic Program Synthesis via Proof Planning -- Deductive Synthesis of Programs for Query Answering...”
Cover Image
Read Now

11
by Sharp, Richard
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

13
by Sasao, Tsutomu
Published 1999
Springer US
Table of Contents: “... for Sequential Networks -- 11 Multi-Level Logic Synthesis -- 11.1 Logic Synthesis System -- 11.2 Factoring using...”
Cover Image
Read Now

16
Published 1997
Springer Berlin Heidelberg
“... Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from...”
Cover Image
Read Now

17
Published 2023
Springer Nature Switzerland
Table of Contents: “... Clauses Analysis, Transformation and Synthesis -- Design Datalog Templates for Synthesizing Bidirectional...”
Cover Image
Read Now

18
Published 2020
Springer International Publishing
Table of Contents: “... -- Computing Abstract Distances in Logic Programs -- Synthesizing Imperative Code from Answer Set Programming...”
Cover Image
Read Now

19
Published 2015
Springer International Publishing
Table of Contents: “...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”
Cover Image
Read Now

20
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming -- Translating Datalog...”