-
Descriptional complexity of formal systems : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual event, September 5, 2021, Proceedings
Machine theory
Ko, Sang-Ki;Han, Yo-Sub - Springer 2021
-
Arithmetic geometry : computation and applications : 16th International Conference on Arithmetic, Geometry, Cryptography, and Coding Theory, June 19-23, 2017, Centre International de Rencontres Mathem
Coding theory;Geometry, Algebraic;Cryptography;Number theory
Aubry, Yves;Howe, Everett W;Ritzenthaler, Christophe - American Mathematical Society 2019
-
Rhetorical code studies : discovering arguments in and around code
Coding theory;Rhetoric;Software engineering;Computer algorithms;Online social networks
Brock, Kevin - University of Michigan Press 2019
-
Unicode cookbook for linguists : managing writing systems using orthography profiles, The
Language and languages;Unicode (Computer character set)
Moran, Steven;Cysouw, Michael - Language Science Press 2018
-
Universal Coding and Order Identification by Model Selection Methods
Coding theory;Mathematical statistics;Coding and Information Theory;Statistical Theory and Methods
Gassiat, Élisabeth - Imprint: Springer 2018 1st ed. 2018.
-
Optimisation de la Commande Robuste Par les Métaheuristiques
Error-correcting codes (Information theory);Robust control;Mathematical optimization
Feyel, Philippe - ISTE Editions Ltd. 2017
-
Complex systems : theory and applications
Computational complexity;System analysis;System theory
Martinez, Rebecca - Nova Science Publishers, Inc. 2017
-
Space information networks : Second International Conference, SINC 2017, Yinchuan, China, August 10-11, 2017, revised selected papers
Coding theory
Yu, Quan - Springer 2017 1st ed. 2017.
-
Small dynamic complexity classes : an investigation into dynamic descriptive complexity
Computational complexity
Zeume, Thomas - Springer 2017
-
Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Formal languages;Machine theory;Mathematical linguistics;Conference papers and proceedings
Drewes, Frank;Martín Vide, Carlos;Truthe, Bianca - Springer 2017
-
Process algebras for Petri nets : the alphabetization of distributed systems
Computer algorithms;Electronic data processing;Parallel processing (Electronic computers);Petri nets
Gorrieri, Roberto - Springer 2017
-
Cellular automata and discrete complex systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Cellular automata;Computer science;Conference papers and proceedings
Dennunzio, Alberto;Formenti, Enrico;Manzoni, Luca;Porreca, Antonio E - Springer 2017
-
Implementation and application of automata : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Machine theory;Robotics;Conference papers and proceedings
Carayol, Arnaud;Nicaud, Cyril - Springer 2017
-
Developments in language theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Formal languages;Conference papers and proceedings
Charlier, Émilie;Leroy, Julien;Rigo, Michel - Springer 2017
-
High-speed decoders for polar codes
Coding theory;Decoders (Electronics);Error-correcting codes (Information theory)
Giard, Pascal;Gross, Warren J;Thibeault, Claude - Springer 2017
-
Transactions on petri nets and other models of concurrency XII
Petri nets
Kleijn, Jetty;Koutny, Maciej;Penczek, Wojciech - Springer 2017
-
Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
Coding theory;Computer networks;Computer science;Mathematical statistics;Numerical analysis;Software engineering;Conference papers and proceedings
Barbero, Ángela;Skachek, Vitaly;Ytrehus, Øyvind - Springer International Publishing 2017
-
CCC 2017 : 32nd Computational Complexity Conference : July 6-9, 2017, Riga, Latvia
Computational complexity
O'Donnell, Ryan - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 2017
-
Polynomial translation of mobile ambients into safe petri nets : understanding a calculus of hierarchical protection domains, A
Computer science;Petri nets
Göbel, Susanne - Springer Vieweg 2016
-
Cellular automata and discrete complex systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Cellular automata;Computer science;Conference papers and proceedings
Cook, Matthew;Neary, Turlough - Springer 2016