Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ("synthese" or "synthesizes")
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"004 - Data processing & computer science"
Search alternatives
:
"synthese" »
"synthesis"
"synthesizes" »
"synthesized"
,
"synthesize"
,
"synthesis"
Showing
1
-
20
of
130
Search:
'("synthese" or "synthesizes")'
,
query time: 0.13s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Automatische
Synthese
rekursiver Programme als Beweisverfahren
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...
”
Read Now
2
Synthesizing
Synchronous Systems by Static Scheduling in Space-Time
by
Lisper, Björn
Published 1989
Springer
Read Now
3
Digitale Hardware/Software-Systeme : Synthese und Optimierung
by
Teich, Jürgen
,
Haubelt, Christian
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... -- Spezifikation und Modellierung --
Synthese
-- Ablaufplanung -- Bindung -- Architektursynthese...
”
Read Now
4
Digitale Hardware/Software-Systeme : Synthese und Optimierung
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...
”
Read Now
5
Logic and Language : Studies dedicated to Professor Rudolf Carnap on the Occasion of his Seventieth Birthday
Published 1962
Springer Netherlands
“
...
Synthese
Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science...
”
Read Now
6
Computer und Musik : Eine Einführung in die digitale Klang- und Musikverarbeitung
by
Ackermann, Philipp
Published 1991
Springer Vienna
Table of Contents:
“
...
Synthese
-- 2.3. Additive
Synthese
-- 3. Digitale Computertechnik -- 3.1. Funktionsweise des Computers...
”
Read Now
7
Digital Electronics for Musicians
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...
”
Read Now
8
Entwurf komplexer Schaltwerke
by
Wendt, S.
Published 1974
Springer Berlin Heidelberg
Table of Contents:
“
... Realisierung -- 2. Grundzerlegung komplexer Schaltwerke -- 3. Operationsblöcke -- 4.
Synthese
des Steuerwerks...
”
Read Now
9
Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme : GME/GI/ITG-Fachtagung Dortmund, 1./2. Oktober 1990
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... from Mask Layout Data -- Sitzung 2 --
Synthese
von Komplexgatter-Schaltnetzen unter Berücksichtigung...
”
Read Now
10
Developing Conversational Interfaces for iOS : Add Responsive Voice Control to Your Apps
by
Mitrevski, Martin
Published 2018
Apress
Table of Contents:
“
...: Creating Lists with SiriKit -- Chapter 4: Speech,
Synthesizers
and Dialog Flow -- Chapter 5: Getting...
”
Read Now
11
Practical Arduino : Cool Projects for Open Source Hardware
by
Oxer, Jonathan
,
Blemings, Hugh
Published 2010
Apress
Table of Contents:
“
...
Synthesizer
-- Water Flow Gauge -- Oscilloscope/Logic Analyzer -- Water Tank Depth Sensor -- Weather Station...
”
Read Now
12
Technische Informatik 1 : Grundlagen der digitalen Elektronik
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...
”
Read Now
13
Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
Published 2023
Springer International Publishing
Table of Contents:
“
... proof is automatable -- Shellac: a compiler
synthesizer
for concurrent programs -- A sequentialization...
”
Read Now
14
Collaborative UX Design : Lean UX und Design Thinking: Teambasierte Entwicklung menschzentrierter Produkte
by
Steimle, Toni
Published 2022
dpunkt.verlag
Table of Contents:
“
...Literatur -- Workshop:
Synthese
-- Überblick -- Personas -- Persona Marie Beraterin -- Validierte...
”
Call Number:
QA76.9.H85
Read Now
15
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2021
Springer International Publishing
Table of Contents:
“
...: An Interactive Multi-tree
Synthesizer
for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov...
”
Read Now
16
Technische Informatik 1 : Grundlagen der digitalen Elektronik
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...
”
Read Now
17
Technische Informatik 1 : Grundlagen der digitalen Elektronik
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...
”
Read Now
18
Transactions on Petri Nets and Other Models of Concurrency XV
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...
”
Read Now
19
Kompendium Theoretische Informatik — eine Ideensammlung
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...
”
Read Now
20
Progress in Nonlinear Speech Processing
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...A Review of Glottal Waveform Analysis -- Rahmonic Analysis of Signal Regularity in
Synthesized
...
”
1
2
3
4
5
6
7
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
621 - Applied physics
8
005 - Computer programming, programs & data
7
500 - Natural sciences & mathematics
4
745 - Decorative arts
3
331 - Labor economics
2
more ...
658 - General management
2
see all ...
less ...
Language
English
105
German
25
Collection
Springer eBooks 2005-
62
Springer Book Archives -2004
57
O'Reilly
8
MIT Press eBook Archive
1
Oxford University Press
1
Springer Lecture Notes Archiv 1964-1996
1
Author
Reed, Rick
3
Schiffmann, Wolfram
3
Schmitz, Robert
3
Haubelt, Christian
2
Martins, Tiago
2
Reed, Jeanne
2
more ...
Romero, Juan
2
Sagar, Gaurav
2
Syrovatskyi, Vitalii
2
Teich, Jürgen
2
Woods, Roger
2
Abraham, Erika
1
Ackermann, Philipp
1
Ait-Ameur, Yamine
1
Alves-Foss, James
1
Amos, Martyn
1
Aramaki, Mitsuko
1
Atig, Mohamed Faouzi
1
Baier, Christel
1
Banatre, Jean Pierre
1
Beiersdörfer, Kurt
1
Benjamins, V. Richard
1
Beun, Robbert-Jan
1
Beyer, Dirk
1
Biere, Armin
1
Biundo, Susanne
1
Blemings, Hugh
1
Bloem, Roderick
1
Borghuis, Tijn
1
Bouajjani, Ahmed
1
Bourganis, Christos
1
Boy, Guy
1
Brebner, Gordon
1
Breuker, Joost
1
Brown, Geoffrey
1
Bullinger, Hans-Jörg
1
Bunt, Harry
1
Busby, Geoffrey
1
Bäck, Thomas
1
Caillaud, Benoît
1
Campbell, Roy Harold
1
Camposano, Raul
1
Cardoso, Pedro J. S.
1
Carvalho, Marina
1
Casanovas, Pompeu
1
Cerone, Antonio
1
Cetto, Juan A.
1
Cha, Sungdeok
1
Chechik, Marsha
1
Chinneck, John W.
1
Choi, Jin-Young
1
Christakis, Maria
1
Ciancarini, Paolo
1
Compton, Katherine
1
Cook, Byron
1
Cook, Mike
1
Cordes, Paul
1
Correia, João
1
Daiberl, Christofer F.
1
Damm, Werner
1
Darondeau, Philippe
1
Davenport, James H.
1
De Giusti, Armando Eduardo
1
Dimitrova, Rayna
1
Diniz, Pedro C.
1
Dongarra, Jack J.
1
Dragoi, Cezara
1
Drymonitis, Alexandros
1
Duggirala, Parasara Sridhar
1
Dukish, Bob
1
Ehrig, Hartmut
1
Eiben, A.E.
1
Eiben, Agoston E.
1
Ekárt, Anikó
1
Elliott, Ian D.
1
Elliott, John P.
1
Emmi, Michael
1
Engels, Gregor
1
Eposito, Anna
1
Eriksson, Lars-Henrik
1
Ershov, A.
1
Fakhfakh, Mourad
1
Faundez-Zanuy, Marcos
1
Ferrier, Jean-Louis
1
Filipe, Joaquim
1
Fisman, Dana
1
Floyd, Christiane
1
Fortino, Giancarlo
1
Gabbrielli, Maurizio
1
Gangemi, Aldo
1
García Bringas, Pablo
1
Gaudin, Emmanuel
1
Gilreath, William F.
1
Glück, Robert
1
Goller, M.
1
Grimson, Eric
1
Groote, Jan Friso
1
Hajek, Petr
1
Hameurlain, Abdelkader
1
Hamlet, Dick
1
see all ...
less ...
Recently Uploaded
Last Month
2
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%28%22synthese%22+or+%22synthesizes%22%29&type=AllFields
Send by Email
×
Loading...