Cover Image

QR Code

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /

This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016. This volume contains 3 invited talks in full-paper length and 12 regular papers, whi...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Cook, Matthew. (Editor, http://id.loc.gov/vocabulary/relators/edt), Neary, Turlough. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:	1st ed. 2016.
Series:	Theoretical Computer Science and General Issues ; 9664
Subjects:	Computers. Algorithms. Computer simulation. Computer communication systems. Computer science—Mathematics. Mathematical logic. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Simulation and Modeling. Computer Communication Networks. Discrete Mathematics in Computer Science. Mathematical Logic and Formal Languages.
Online Access:	https://doi.org/10.1007/978-3-319-39300-1

Similar Items

Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / edited by Jarkko Kari.
Published: (2015)

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings / edited by Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca.
Published: (2017)

Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / edited by Samira El Yacoubi, Jarosław Wąs, Stefania Bandini.
Published: (2016)

Cellular Automata 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki.
Published: (2008)

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings / edited by Jaroslaw Was, Georgios Sirakoulis, Stefania Bandini.
Published: (2014)

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira.
Published: (2019)

Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers / edited by Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo.
Published: (2015)

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / edited by Yo-Sub Han, Kai Salomaa.
Published: (2016)

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings / edited by Jan M. Baetens, Martin Kutrib.
Published: (2018)

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit.
Published: (2016)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Ždárek.
Published: (2007)

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe.
Published: (2014)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / edited by Jürgensen, Rogério Reis.
Published: (2013)

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / edited by Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero.
Published: (2019)

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude / by Peter Csaba Ölveczky.
by: Ölveczky, Peter Csaba., et al.
Published: (2017)

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings / edited by Arseny M. Shur, Mikhail V. Volkov.
Published: (2014)

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings / edited by Marie-Pierre Beal, Olivier Carton.
Published: (2013)

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / edited by Igor Potapov.
Published: (2015)

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity / by Michał Skrzypczak.
by: Skrzypczak, Michał., et al.
Published: (2016)

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan.
Published: (2016)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin.
Published: (2014)

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur.
Published: (2013)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.
Published: (2015)

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy.
Published: (2015)

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher.
Published: (2013)

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.
Published: (2015)

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.
Published: (2017)

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.
Published: (2017)

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings / edited by Cezar Câmpeanu.
Published: (2018)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.
Published: (2016)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Published: (2018)

Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / edited by Quentin Louveaux, Martin Skutella.
Published: (2016)

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
Published: (2017)

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe.
Published: (2016)

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings / edited by Oscar H. Ibarra, Bala Ravikumar.
Published: (2008)

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / edited by Adrian Kosowski, Igor Walukiewicz.
Published: (2015)

Communications and Networking 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings / edited by Xingang Liu, Dai Cheng, Lai Jinfeng.
Published: (2019)

Big-Data Analytics and Cloud Computing Theory, Algorithms and Applications / edited by Marcello Trovati, Richard Hill, Ashiq Anjum, Shao Ying Zhu, Lu Liu.
Published: (2015)

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Published: (2018)

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova.
Published: (2015)