Вы здесь

Главная

теория автоматов

Связанные издания:

Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010
Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014
Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
Algebra and Coalgebra in Computer Science: Proc./4th International Conference, CALCO 2011, Winchester, UK, August/September 2011
Algebraic Informatics: Proc./4th International Conference, CAI 2011, Linz, Austria, June 2011
Algebraic Informatics: Proc./5th International Conference, CAI 2013, Porquerolles, France, September 2013
Algebraic Informatics: Proc./8th International Conference, CAI 2019, Nis, Serbia, June 2019
Algebraic Informatics: Proc./Third International Conference, CAI 2009, Thessaloniki, Grees, May 2009
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Applications and Theory of Petri Nets and Concurrency: Proc./42nd International Conference, PETRI NETS 2021, Virtual Event, June 2021
Artificial Intelligence in Health: Revised Selected Papers/1st International Workshop, AIH 2018, Stockholm, Sweden, July 2018
A theory of structural stationarity in the Pi-Calculus
Automata-based verification of programs with tree updates
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Automata, Languages, and Programming: Part II: Proc./33rd International Colloquium, ICALP 2006. Venice, Italy, July 2006
Automata, Languages and Programming: Proc./32nd International Colloquium, ICALP 2005. Lisbon, Portugal, July 2005
Automata-Theoretic Model Cheking Revisited
Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021
Automated Technology for Verification and Analysis: Proc./19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 2021
Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006
Beyond the Horizon of Computability: Proc./16th Conference on Computability in Europe, CIE 2020, Fisciano, Italy, July 2020
Bulletin of the Novosibirsk Computing Center
Cellular Automata and Discrete Complex Systems: Proc./25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 2019
Cellular Automata and Discrete Complex Systems: Proc./26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 2020
Church s Problem and a Tour through Automata Theory
Combinatorics on Words: Proc./13th International Conference, WORDS 2021, Rouen, France, September 2021
Complexity of Aperiodicity for Topological Properties of Regular w-Languages
Computation and Logic in the Real World: Proc./Third Conference on Computability in Europe, CiE 2007. Siena, Italy, June 2007
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008
Computer Science - Theory and Applications: Proc./13th International Computer Science Symposium i Russia, CSR 2018, Moscow, Russia, June 2018
Computer Science - Theory and Applications: Proc./4th International Computer Science Symposium in Russia, CSR 2009. Novosibirsk, Russia, August 2009
Computer Science - Theory and Applications: Proc./6th International Computer Science Symposium in Russia, CSR 2011, St.Petersburg, Russia, June 2011
Computer Science - Theory and Applications: Proc./7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 2012
Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
CONCUR 2008 - Concurrency Theory: Proc./19th International Conference, CONCUR 2008. Toronto, Canada, August 2008
Concurrency, Specification, and Programming - CS&P 2004: Vol. 1: Petri Nets and Automata: Proc./Workshop. Caputh, September 24-26, 2004
Connecting with Computability: Proc./17th Conference on Computability in Europe, CiE 2021, Virtual Event, July 2021
Descriptional Complexity of Formal Systems: Proc./13th International Workshop, DCFS 2011, Giessen/Limburg, Germany, July 2011
Descriptional Complexity of Formal Systems: Proc./17th International Workshop, DCFS 2015, Waterloo,ON,Canada, June 2015
Descriptional Complexity of Formal Systems: Proc./19th IFIP WG 1.02 International Conference. DCFS 2017, Milano. Italy, july 2017
Descriptional Complexity of Formal Systems: Proc./21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 2019
Descriptional Complexity of Formal Systems: Proc./22nd International Conference, DCFS 2020, Vienna, Austria, August 2020