Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (33 Treffer)
Filter schließen (33 Treffer)
Stichwort auswählen
Alle Stichworte
Regularlanguages (33)
Finiteautomata (13)
Formallanguages (12)
Automatatheory (11)
Transducers (9)
Contextfreelanguages (8)
Computationallinguistics (6)
Linguistics (6)
Querylanguages (6)
Artificialintelligence (5)
Cellularautomata (5)
Computersystems (5)
Context-Freelanguages (5)
Databases (5)
Datastructures (5)
Modelchecking (5)
Regularexpressions (5)
Theoryofcomputation (5)
Translation(languages) (5)
Treelanguages (5)
Automata (4)
Automataextensions (4)
Automation (4)
Descriptionalcomplexity (4)
Grammars (4)
Modelsofcomputation (4)
Naturallanguages (4)
Statecomplexity (4)
Algebraiclanguagetheory (3)
Complexityclasses (3)
Computerscience (3)
Engineering (3)
Formalmethods (3)
Graphtheory (3)
Logic (3)
Logicandverification (3)
Mathematics (3)
Quantitativeautomata (3)
Semantics (3)
Turingmachines (3)
Algorithms (2)
Combinatoricsonwords (2)
Computernetworks (2)
Context-Freelanguage (2)
Distributedsystems (2)
Dnacomputing (2)
Dynamicanalysis (2)
Graph-Controlledsystems (2)
Informationtheory (2)
Language (2)
Monitoringalgorithms (2)
Orderedrewriting (2)
Probability (2)
Pushdownautomata (2)
Quantitativesemantics (2)
Quantumcomputing (2)
Simulation (2)
Softwareverification (2)
Syntacticcomplexity (2)
Turingpatterns (2)
Upperbounds (2)
Verification (2)
Abstraction (1)
Algorithmics (1)
Alphabet (1)
Automataincontrol (1)
Automatedtheoremproving (1)
Bio-Inspiredcomputing (1)
Bioinformatics (1)
Boundedlanguages (1)
Cellularautomation (1)
Classicalcomputation (1)
Combinatorics (1)
Communicationnetworks (1)
Communicationsystems (1)
Complexity (1)
Complexityanalysis (1)
Complexitytheory (1)
Complexitytheoryandlogic (1)
Computationalcomplexity (1)
Computationalscience (1)
Concurrency (1)
Context-Freegrammars (1)
Controlarchitecture (1)
Coq (1)
Cryptography (1)
Datastructuredesign (1)
Decidability (1)
Decisionproblem (1)
Descriptivecomplexity (1)
Discrete-Eventsystems (1)
Distancemeasures (1)
Distributedcontrol (1)
Dnaproperties (1)
Dynamiccomplexitytheory (1)
Error-Correctingcodes (1)
Exactrealalgorithms (1)
Finite-Stateautomata (1)
Finite-Statecontrollers (1)
Finitelanguages (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik für Informatiker (15)
Algorithmen und Datenstrukturen (4)
Dv-Gestützte Biologie/bioinformatik (4)
Natürliche Sprachen und Maschinelle Übersetzung (3)
Theoretische Informatik (3)
Data Warehousing (1)
Expertensysteme (1)
Kybernetik und Systemtheorie (1)
Netzwerk-Hardware (1)
Wissensbasierte Systeme (1)
Sprache auswählen
Sprachen
Englisch (33)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (33)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Kai Cai
oder
Micha¿ Skrzypczak
oder
W. Murray Wonham
oder
Thomas Zeume
eng
Implementation and Application of Automata
27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19¿22, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
316 Seiten
62,05
€
in Kürze
eng
Implementation and Application of Automata
26th International Conference, CIAA 2022, Rouen, France, June 28 ¿ July 1, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
264 Seiten
69,54
€
in Kürze
eng
Developments in Language Theory
26th International Conference, DLT 2022, Tampa, FL, USA, May 9¿13, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
344 Seiten
80,24
€
in Kürze
eng
Descriptional Complexity of Formal Systems
23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings
Springer International Publishing
2021
Taschenbuch
212 Seiten
64,19
€
in Kürze
This book constitutes the proceedings of the 23rd International Conference on Descriptional Complexity of Format Systems, DCFS 2021, which was suppos…
eng
Implementation and Application of Automata
25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings
Springer International Publishing
2021
Taschenbuch
208 Seiten
53,49
€
in Kürze
eng
Descriptional Complexity of Formal Systems
22nd International Conference, DCFS 2020, Vienna, Austria, August 24¿26, 2020, Proceedings
Springer International Publishing
2020
Taschenbuch
256 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 22nd International Conference on Descriptional Complexity of Format Systems, DCFS 2020, which was suppos…
eng
Developments in Language Theory
24th International Conference, DLT 2020, Tampa, FL, USA, May 11¿15, 2020, Proceedings
Springer International Publishing
2020
Taschenbuch
344 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 24th International Conference on Developments in Language Theory, DLT 2020, which was due to be held in …
eng
Implementation and Application of Automata
23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 ¿ August 2, 2018, Proceedings
Springer International Publishing
2018
Taschenbuch
352 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, held in Charlott…
eng
Developments in Language Theory
21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
404 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liège, Belgium, in A…
eng
Descriptional Complexity of Formal Systems
19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
324 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, …
eng
Implementation and Application of Automata
22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
236 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in …
eng
Unveiling Dynamics and Complexity
13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
420 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The…
eng
Thomas Zeume
Small Dynamic Complexity Classes
An Investigation into Dynamic Descriptive Complexity
Springer Berlin Heidelberg
2017
Taschenbuch
160 Seiten
53,49
€
in Kürze
"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, …
eng
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
264 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16t…
eng
Micha¿ Skrzypczak
Descriptive Set Theoretic Methods in Automata Theory
Decidability and Topological Complexity
Springer Berlin Heidelberg
2016
Taschenbuch
228 Seiten
53,49
€
in Kürze
The book is based on the PhD thesis ¿Descriptive Set Theoretic Methods in Automata Theory,¿ awarded the E.W. Beth Prize in 2015 for outstanding disse…
eng
Developments in Language Theory
20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Springer Berlin Heidelberg
2016
Taschenbuch
428 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada…
eng
Implementation and Application of Automata
21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
352 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 21st International Conference on Implementation and Application of Automata, CIAA 2016, held in…
eng
Descriptional Complexity of Formal Systems
18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Springer International Publishing
2016
Taschenbuch
236 Seiten
53,49
€
in Kürze
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in …
eng
Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Springer International Publishing
2015
Taschenbuch
452 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in Sept…
eng
Developments in Language Theory
19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Springer International Publishing
2015
Taschenbuch
464 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 19th International Conference on Developments in Language Theory, DLT 2015, held in Liverpool, UK. The 3…
eng
W. Murray Wonham / Kai Cai
Supervisor Localization
A Top-Down Approach to Distributed Control of Discrete-Event Systems
Springer International Publishing
2015
Taschenbuch
216 Seiten
53,49
€
in Kürze
This monograph presents a systematic top-down approach to distributed control synthesis of discrete-event systems (DES). The approach is called super…
eng
Descriptional Complexity of Formal Systems
17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Springer International Publishing
2015
Taschenbuch
308 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in…
eng
Developments in Language Theory
18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Springer International Publishing
2014
Taschenbuch
368 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia…
eng
Implementation and Application of Automata
19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Springer International Publishing
2014
Taschenbuch
360 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 19th International Conference on Implementation and Application of Automata, CIAA 2014, held in…
eng
Descriptional Complexity of Formal Systems
16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Springer International Publishing
2014
Taschenbuch
380 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in…
eng
Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Springer International Publishing
2013
Taschenbuch
324 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS…
eng
Implementation and Application of Automata
18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Springer Berlin Heidelberg
2013
Taschenbuch
372 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, h…
eng
Unconventional Computation and Natural Computation
12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings
Springer Berlin Heidelberg
2013
Taschenbuch
280 Seiten
49,22
€
in Kürze
eng
Developments in Language Theory
17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings
Springer Berlin Heidelberg
2013
Taschenbuch
476 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT 2013, held in Marne-la-Vallée, Fra…
eng
Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
384 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, h…
eng
Developments in Language Theory
16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
492 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Tai…
eng
Tools and Algorithms for the Construction and Analysis of Systems
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
Springer Berlin Heidelberg
2008
Taschenbuch
540 Seiten
53,49
€
in Kürze
ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was establish…
eng
Implementation and Application of Automata
8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
332 Seiten
53,49
€
in Kürze
Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other discipline…