Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings

Name: Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings
Price: 124.50 CAD
Availability: InStock
Author: György Vaszil
ISBN: 9783031132568

Yo-sub Han Edited by György Vaszil

Aug 01, 2022

$124.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 623 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

213

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031132568

Machines, Computations, and Universality: 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings

J Durand-Lose Paperback
$262.95
2 formats available
Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Scott Hissam Hardcover
$160.95
Advances in Computational Science and Engineering: Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Laurence Tianruo Yang Paperback
$80.50
Intelligent Human Computer Interaction: 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

Hakimjon Zaynidinov Paperback
$160.95
2 formats available
Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Yo-sub Han Paperback
$94.95
2 formats available
Conceptual Modeling: 39th International Conference, Er 2020, Vienna, Austria, November 3-6, 2020, Proceedings

Gillian Dobbie Paperback
$80.50
2 formats available
Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

Christos Kaklamanis Paperback
$80.50
Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Antonio Cerone Paperback
$124.50
2 formats available
Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

Nata Jonoska Paperback
$80.50
2 formats available
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Gary T. Leavens Paperback
$80.50
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Paperback
$80.50
2 formats available
Human-computer Interaction - Interact 2019: 17th Ifip Tc 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part Ii

David Lamas Paperback
$160.95
2 formats available
Cloud Computing and Services Science: 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers

Donald Ferguson Paperback
$80.50
2 formats available
Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

João Paulo A. Almeida Paperback
$116.95
2 formats available
Unconventional Computation And Natural Computation: 16th International Conference, Ucnc 2017, Fayetteville, Ar, Usa, June 5-9, 2017, Proceedings

Matthew J. Patitz Paperback
$80.50
2 formats available
Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Dirk Beyer Paperback
$131.50
2 formats available
Human-computer Interaction - Interact 2019: 17th Ifip Tc 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part I

David Lamas Paperback
$249.95
2 formats available
Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments: 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Margherita Antona Paperback
$80.50
2 formats available
HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intelligence: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Constantine Stephanidis Paperback
$160.95
2 formats available
Unconventional Computation And Natural Computation: 19th International Conference, Ucnc 2021, Espoo, Finland, October 18-22, 2021, Proceedings

Irina Kostitsyna Paperback
$87.95
2 formats available

Editorial reviews

gyorgy vaszil

Author

Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Yo-sub Han Paperback
$94.95
2 formats available
Structural Information and Communication Complexity: 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings

Merav Parter Paperback
$124.50
2 formats available
Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Henning Bordihn Paperback
$94.95
2 formats available
Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Andreas Maletti Paperback
$80.50
Integer Programming and Combinatorial Optimization: 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022, Proceedings

Karen Aardal Paperback
$145.95
2 formats available
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Maurice H. ter Beek Paperback
$189.95
2 formats available
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings

Daniela Petri Paperback
$80.50
2 formats available
Advanced Information Systems Engineering Workshops: Caise 2012 International Workshops, Gdaask, Poland, June 25-26, 2012, Proceedings

Marko Bajec Paperback
$80.50
Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Szilárd Zsolt Fazekas Paperback
$109.50
2 formats available
Coordination Models and Languages: 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Sung-shik Jongmans Paperback
$116.95
2 formats available
Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Benedek Nagy Paperback
$94.95
2 formats available
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Paperback
$204.50
2 formats available
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Paperback
$204.50
2 formats available
Perspectives in Business Informatics Research: 9th International Conference, Bir 2010, Rostock, Germany, September 29-october 1, 2010, Proceedings

Peter Forbrig Paperback
$80.50
Advances in Cryptology - EUROCRYPT '98: International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings

Kaisa Nyberg Paperback
$80.50
Enterprise, Business-Process and Information Systems Modeling: 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings

Adriano Augusto Paperback
$124.50
2 formats available
Distributed Computing: 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings

Paperback
$71.50
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Paperback
$116.95
2 formats available
System Modelling and Optimization: Proceedings of the 11th Ifip Conference Copenhagen, Denmark, July 25-29, 1983

Paperback
$71.50
Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings

Idit Keidar Paperback
$160.95

Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings

Overview

You May Also Like

Machines, Computations, and Universality: 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings

Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Advances in Computational Science and Engineering: Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Intelligent Human Computer Interaction: 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Conceptual Modeling: 39th International Conference, Er 2020, Vienna, Austria, November 3-6, 2020, Proceedings

Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Human-computer Interaction - Interact 2019: 17th Ifip Tc 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part Ii

Cloud Computing and Services Science: 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers

Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

Unconventional Computation And Natural Computation: 16th International Conference, Ucnc 2017, Fayetteville, Ar, Usa, June 5-9, 2017, Proceedings

Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Human-computer Interaction - Interact 2019: 17th Ifip Tc 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part I

Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments: 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intelligence: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Unconventional Computation And Natural Computation: 19th International Conference, Ucnc 2021, Espoo, Finland, October 18-22, 2021, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Structural Information and Communication Complexity: 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings

Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Integer Programming and Combinatorial Optimization: 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022, Proceedings

Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings

Advanced Information Systems Engineering Workshops: Caise 2012 International Workshops, Gdaask, Poland, June 25-26, 2012, Proceedings

Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Coordination Models and Languages: 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Perspectives in Business Informatics Research: 9th International Conference, Bir 2010, Rostock, Germany, September 29-october 1, 2010, Proceedings

Advances in Cryptology - EUROCRYPT '98: International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings

Enterprise, Business-Process and Information Systems Modeling: 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings

Distributed Computing: 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings

Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

System Modelling and Optimization: Proceedings of the 11th Ifip Conference Copenhagen, Denmark, July 25-29, 1983

Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings