-
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
-
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
-
Transactions on petri nets and other models of concurrency XI
Computer multitasking;Petri nets;Conference papers and proceedings
Desel, Jörg;Kleijn, Jetty;Koutny, Maciej - Springer 2016
-
Cellular automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016. Fez, Morocco, September 5-8, 2016, proceedings
Cellular automata;Conference papers and proceedings
Bandini, S;El Yacoubi, Samira;Wąs, Jarosław - Springer 2016
-
Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Formal languages;Machine theory;Mathematical linguistics;Conference papers and proceedings
Horia Dediu, Adrian;Janoušek, Jan;Martín Vide, Carlos;Truthe, Bianca - Springer 2016
-
Bridging constraint satisfaction and Boolean satisfiability
Algebra, Boolean;Constraints (Artificial intelligence);sähkökirjat
Petke, Justyna - Springer 2015
-
Application and theory of petri nets and concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Computer multitasking;Petri nets;Computer Science;Logics and Meanings of Programs;Programming Languages, Compilers, Interpreters;Software Engineering;sähkökirjat
Devillers, Raymond;Valmari, Antti - Springer 2015
-
Cellular automata and discrete complex systems : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Cellular automata;Computer science;sähkökirjat
Kari, Jarkko - Springer 2015
Select
BookNavigator
BookNavigator
Mathematics and StatisticsAutomata theory