Search alternatives:
"synthese" » "synthesis"
"synthesizes" » "synthesized", "synthesize", "synthesis"

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...

3
by Teich, Jürgen, Haubelt, Christian
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... -- Spezifikation und Modellierung -- Synthese -- Ablaufplanung -- Bindung -- Architektursynthese...

4
by Teich, Jürgen, Haubelt, Christian
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...1. Einleitung -- 2. Spezifikation und Modellierung -- 3. Synthese -- 4. Ablaufplanung -- 5. Bindung...

5
Published 1962
Springer Netherlands
...Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science...

6
by Ackermann, Philipp
Published 1991
Springer Vienna
Table of Contents: ... Synthese -- 2.3. Additive Synthese -- 3. Digitale Computertechnik -- 3.1. Funktionsweise des Computers...

7
by Drymonitis, Alexandros
Published 2015
Apress
Table of Contents: ... synthesizer using a MIDI keyboard and Arduino -- Chapter 6: An interactive bow for bowed string instruments...

8
by Wendt, S.
Published 1974
Springer Berlin Heidelberg
Table of Contents: ... Realisierung -- 2. Grundzerlegung komplexer Schaltwerke -- 3. Operationsblöcke -- 4. Synthese des Steuerwerks...

9
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... from Mask Layout Data -- Sitzung 2 -- Synthese von Komplexgatter-Schaltnetzen unter Berücksichtigung...

10
by Mitrevski, Martin
Published 2018
Apress
Table of Contents: ...: Creating Lists with SiriKit -- Chapter 4: Speech, Synthesizers and Dialog Flow -- Chapter 5: Getting...

11
by Oxer, Jonathan, Blemings, Hugh
Published 2010
Apress
Table of Contents: ... Synthesizer -- Water Flow Gauge -- Oscilloscope/Logic Analyzer -- Water Tank Depth Sensor -- Weather Station...

12
by Schiffmann, Wolfram, Schmitz, Robert
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... Schaltalgebra -- 4.2 Darstellung und Analyse -- 4.3 Synthese -- 4.4 Beispiele -- 4.5 Realisierungsformen -- 4.6...

13
Published 2023
Springer International Publishing
Table of Contents: ... proof is automatable -- Shellac: a compiler synthesizer for concurrent programs -- A sequentialization...

14
by Steimle, Toni
Published 2022
dpunkt.verlag
Table of Contents: ...Literatur -- Workshop: Synthese -- Überblick -- Personas -- Persona Marie Beraterin -- Validierte...

15
Published 2021
Springer International Publishing
Table of Contents: ...: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov...

16
by Schiffmann, Wolfram, Schmitz, Robert
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- 4.1 Schaltalgebra -- 4.2 Schaltfunktionen -- 4.3 Analyse von Schaltnetzen -- 4.4 Synthese von...

17
by Schiffmann, Wolfram, Schmitz, Robert
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- 4.1 Schaltalgebra -- 4.2 Schaltfunktionen -- 4.3 Analyse von Schaltnetzen -- 4.4 Synthese von...

18
Published 2021
Springer Berlin Heidelberg
Table of Contents: ..., and Beyond -- The Complexity of Synthesizing nop-Equipped Boolean Petri Nets from g-Bounded Inputs -- A Two...

19
by Wegener, Ingo
Published 1996
Vieweg+Teubner Verlag
Table of Contents: ... endliche Automaten -- 4.5 Die Synthese großer endlicher Automaten -- 4.6 Effiziente Algorithmen, um...

20
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...A Review of Glottal Waveform Analysis -- Rahmonic Analysis of Signal Regularity in Synthesized...