Manfred Droste – författare
Visar alla böcker från författaren Manfred Droste. Handla med fri frakt och snabb leverans.
11 produkter
Semantics of Programming Languages and Model Theory
Av Manfred Droste, Yuri Gurevich
Inbunden, 1993
3129 kr
Lägg i varukorg
A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB Dägstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject where the interaction …
Algebraic Informatics
8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings
Av Miroslav Ćirić, Manfred Droste m. fl.
Häftad, 2019
551 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions. The papers present research at the intersection of …
Algebraic Informatics
8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings
Av Jean-Eric Pin, Manfred Droste m. fl.
E-bok, 2019
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions. The papers present research at the intersection of …
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Av Andreas Blass, Patrick Cégielski m. fl.
Häftad, 2020
569 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus …
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Av Bernd Finkbeiner, Manfred Droste m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus …
Groups, Modules, and Model Theory - Surveys and Recent Developments
In Memory of Rüdiger Göbel
Av Manfred Droste, László Fuchs m. fl.
Inbunden, 2017
1098 kr
Lägg i varukorg
This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With …
Groups, Modules, and Model Theory - Surveys and Recent Developments
In Memory of Rüdiger Göbel
Av Lutz Strungmann, Brendan Goldsmith m. fl.
E-bok, 2017
1427 kr
Lägg i varukorg
This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With …
Groups, Modules, and Model Theory - Surveys and Recent Developments
In Memory of Rüdiger Göbel
Av Manfred Droste, László Fuchs m. fl.
Häftad, 2018
1098 kr
Lägg i varukorg
This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With …
Handbook of Weighted Automata
Av Manfred Droste, Werner Kuich m. fl.
Inbunden, 2009
2515 kr
Lägg i varukorg
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount …
Handbook of Weighted Automata
Av Heiko Vogler, Werner Kuich m. fl.
E-bok, 2009
3181 kr
Lägg i varukorg
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount …
Handbook of Weighted Automata
Av Manfred Droste, Werner Kuich m. fl.
Häftad, 2012
2296 kr
Lägg i varukorg
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount …
