1
0
0
(1 - 30 von 36
)
AbeBooks: ilse todt martin kuske dietrich bonhoeffer - AbeBooks
Nachfolge. von Bonhoeffer, Dietrich, Martin Kuske [Hrsg.] und Ilse Tödt [Hrsg.]: und eine große Auswahl ähnlicher Bücher, Kunst und Sammlerstücke erhältlich...
Bonhoeffer Dietrich Kuske Martin Todt Ilse - AbeBooks
www.abebooks.com
Nachfolge Kart. Ausgabe der Dietrich Bonhoeffer Werke, Band 4 by Bonhoeffer, Dietrich, Martin Kuske und Ilse Tödt: and a great selection of related books, art...
Distribcom research team - Irisa/INRIA Renneswww.irisa.fr › Author › Blaise.Genest-eng.html
www.irisa.fr
Blaise Genest,,Dietrich Kuske, Anca Muscholl. On Communicating Automata with Bounded Channels. Fundamenta Informaticae, IOS Press, 80:1-21,
CONCUR Concurrency Theory: 11th International ...books.google.com › books
books.google.lv
426 Dietrich Kuske and Rémi Morin Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs . .
Computer Science – Theory and Applications: 12th International...
books.google.de
This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June The
Fifth IFIP International Conference on Theoretical Computer ...books.google.com › books
books.google.lv
... with synchronously moving heads, which accepts the set of. Chap30.pdf Hamiltonicity of automatic graphs Dietrich Kuske and Markus Lohrey Introduction.
Dietrich Kuske - De Gruyterwww.degruyter.com › database › KDGO › entry › html
www.degruyter.com
Dietrich Kuske. GradAcademic Grade: Dr. rer. nat. habil., Prof. TU Ilmenau; TätigkeitFunction: Theoretische Informatik; InstitutionInstitution: Technische ...
Automata, Languages and Programming: 27th International Colloquium,...
books.google.de
This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva,...
Half a Century of Inspirational Research: Honoring the ...books.google.com › books
books.google.lv
... by symbolic calculation of relations (Jacques Carette and Ryszard Janicki), communicating automata with bounded channels (Blaise Genest, Dietrich Kuske, ...
CONCUR Concurrency Theory: 11th International Conference,...
books.google.de
... concurrency with partial orders. Int. J. of Parallel Programming 15 (1986) 33– M. O. Rabin: 440 Dietrich Kuske and Rémi Morin.
Algebraic Informatics: 3rd International Conference on Algebraic...
books.google.de
CAI was the Third International Conference on Algebraic Informatics. It was intended to cover the topics of algebraic semantics on graphs and trees,...
Logic for Programming and Automated Reasoning: 7th ...books.google.com › books
books.google.de
... Undecidable Fragments of the Fluent Calculus Steffen Hölldobler1 and Dietrich Kuske 2 ⋆ 1 Institut für Künstliche Intelligenz, TU Dresden, D Dresden, ...
CONCUR Concurrency Theory: 23rd International Conference,...
books.google.de
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne,...
Computer Science Logic: 9th International Workshop, CSl '95, Annual...
books.google.de
This book contains a carefully refereed selection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL...
STACS 2001: 18th Annual Symposium on Theoretical Aspects of Computer...
books.google.de
This book constitutes the refereed proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2001, held in Dresden, Germany in...
Developments in Language Theory: 12th International Conference, DLT...
books.google.de
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan,...
Computer Science – Theory and Applications: 12th International ...books.google.com › books
books.google.de
The Transformation Monoid of a Partially Lossy Queue Chris Köcher(B) and Dietrich Kuske Institut für Theoretische Informatik, Technische Universität Ilmenau ...
Half a Century of Inspirational Research: Honoring the Scientific...
books.google.de
... Dietrich Kuske , and Anca Muscholl ) , uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces ( Paul Gastin and Dietrich ...
Fifth IFIP International Conference on Theoretical Computer Science -...
books.google.de
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and...
Handbook of Weighted Automata - Google Books
books.google.de
... weight structure by two different multiplications. Nondeterminism of the system is modeled by a third 406 Ina Fichtner, Dietrich Kuske, and Ingmar Meinecke CXL.
Logic for Programming and Automated Reasoning: 7th International ...books.google.com › books
books.google.de
... Calculus Steffen Hölldobler1 and Dietrich Kuske 2 ⋆ 1 Institut für Künstliche Intelligenz, TU Dresden, D Dresden, Germany 2 Institut für Algebra, ...
Logic for Programming and Automated Reasoning: 7th International...
books.google.com.ua
This book constitutes the refereed proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000, held in Reunion...
Logic for Programming, Artificial Intelligence, and Reasoning: 10th...
books.google.de
Is Cantor's Theorem Automatic? Dietrich Kuske Institut f ̈ur Algebra, Technische NP-Completeness Results for Deductive Problems on Stratified Terms 331.
Mathematical Foundations of Computer Science 2014: 39th International...
books.google.de
This two volume set LNCS and LNCS constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of...
Language and Automata Theory and Applications: Second International...
books.google.de
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in...
Model Theoretic Methods in Finite Combinatorics: AMS-ASL Joint...
books.google.de
This volume contains the proceedings of the AMS-ASL Special Session on Model Theoretic Methods in Finite Combinatorics, held January 5-8, 2009, in Washington,...
STACS 2005: 22nd Annual Symposium on Theoretical Aspects of Computer...
books.google.de
... Nancy) Rolf Klein (Universit ̈at Bonn) Dietrich Kuske (Universit ̈at Dresden) Friedhelm Meyer auf der Heide (Universit ̈at Paderborn) Giuseppe Persiano ...
STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer...
books.google.de
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February The 54 revised...
sortiert nach Relevanz / Datum