-
Cognition and intractability : a guide to classical and parameterized complexity analysis
Computational complexity;Decision making;Probabilities
Rooij, Iris van;Blokpoel, Mark;Kwisthout, Johan;Wareham, Todd - Cambridge University Press 2019
-
Finite-state techniques : automata, transducers and bimachines
Sequential machine theory
Mihov, Stoyan;Schulz, K. U - Cambridge University 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
-
Geometry and complexity theory
Computational complexity;Geometry, Algebraic
Landsberg, J. M - Cambridge University Press 2017
-
LDPC code designs, constructions, and unification
Coding theory;Error-correcting codes (Information theory)
Li, Juane - Cambridge University Press 2017
-
Complex systems : theory and applications
Computational complexity;System analysis;System theory
Martinez, Rebecca - Nova Science Publishers, Inc. 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
-
Complexity dichotomies for counting problems. Boolean domain / Volume 1
Algebra, Boolean;Combinatorial enumeration problems;Computational complexity;Homomorphisms (Mathematics)
Cai, Jin-yi;Chen, Xi - Cambridge University Press 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
-
Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Computer multitasking;Petri nets;Conference papers and proceedings
Kordon, Fabrice;Moldt, Daniel - Springer 2016
-
Developments in language theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Formal languages;Conference papers and proceedings
Brlek, Srečko;Reutenauer, Christophe - Springer 2016