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

Name: 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
Price: 60.99 CAD
Availability: InStock
Author: Daniela Petrişan
ISBN: 9783030572013

Edited by Daniela Petrişan

Sep 20, 2020

$60.99 ~~Price reduced from $75.48 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Theoretical Computer Science and General Issues

Publisher: Springer International Publishing

ISBN: 9783030572013

Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Helle Hvid Hansen Paperback
$175.50
2 formats available
Advanced Computational Applications of Geometric Algebra: First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

David W. Silva Paperback
$94.95
2 formats available
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part III

Meikang Qiu Paperback
$160.95
2 formats available
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II

Meikang Qiu Paperback
$160.95
2 formats available
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong Paperback
$80.50
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I

Meikang Qiu Paperback
$160.95
2 formats available
Mathematical Modelling And Computational Intelligence Techniques: Icmmcit-2021, Gandhigram, India February 10-12

P. Balasubramaniam Hardcover
$321.50
2 formats available
Mathematical Modelling and Computational Intelligence Techniques: ICMMCIT-2021, Gandhigram, India February 10-12

P. Balasubramaniam Paperback
$321.50
Recent Trends in Mathematical Modeling and High Performance Computing: M3HPCST-2020, Ghaziabad, India, January 9-11, 202: M3HPCST-2020, Ghaziabad, India, January 9-11, 2020

Vinai K. Singh Paperback
$364.95
Recent Trends in Mathematical Modeling and High Performance Computing: M3HPCST-2020, Ghaziabad, India, January 9-11, 202: M3HPCST-2020, Ghaziabad, India, January 9-11, 2020

Vinai K. Singh Hardcover
$364.95
2 formats available
Nonlinear Analysis, Geometry and Applications: Proceedings of the Second NLAGA-BIRS Symposium, Cap Skirring, Senegal, January 25-30, 2022

Diaraf Seck Hardcover
$248.50
2 formats available
Nonlinear Analysis, Geometry and Applications: Proceedings of the Second NLAGA-BIRS Symposium, Cap Skirring, Senegal, January 25-30, 2022

Diaraf Seck Paperback
$248.50
Advances in Pure and Applied Algebra: Proceedings of the CONIAPS XXVII International Conference 2021

Hardcover
$254.99
Encrypt, Sign, Attack: A compact introduction to cryptography

Olaf Manz Paperback
$55.50
2 formats available
Advances in Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Paperback
$116.95
2 formats available
Advances in Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Paperback
$58.50
IUTAM Symposium on Smart Structures and Structronic Systems: Proceedings of the IUTAM Symposium held in Magdeburg, Germany, 26-29 September 2000

Ulrich Gabbert Paperback
$248.50
2 formats available
Analytical And Stochastic Modelling Techniques And Applications: 25th International Conference, Asmta 2019, Moscow, Russia, October 21-25, 2019, Proceedings

Marco Gribaudo Paperback
$80.50
2 formats available
ICM-90 Satellite Conference Proceedings: Harmonic Analysis Proceedings of a Conference Held in Sendai, Japan August 14-18, 1990

Paperback
$71.50
The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings

Makoto Kanazawa Paperback
$102.50

Editorial reviews

daniela petrisan

Author

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Marcello M. Bonsangue Paperback
$80.50
2 formats available
Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Barbara König Paperback
$72.95
Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Barbara König Paperback
$102.50
2 formats available
Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings

Fabio Gadducci Paperback
$80.50
2 formats available
Graph Transformation: 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings

Fabio Gadducci Paperback
$80.50
2 formats available
Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

Helmut Simonis Paperback
$80.50
Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

Lars M. Kristensen Paperback
$80.50
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Paperback
$80.50
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Paperback
$80.50
2 formats available
Integer Programming and Combinatorial Optimization: 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

Jon Lee 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
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Leen Lambers Paperback
$72.95
2 formats available
Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Helle Hvid Hansen Paperback
$175.50
2 formats available
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Paperback
$72.95
Application And Theory Of Petri Nets And Concurrency: 40th International Conference, Petri Nets 2019, Aachen, Germany, June 23-28, 2019, Proceedings

Susanna Donatelli Paperback
$80.50
2 formats available
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

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

Yo-sub Han Paperback
$124.50
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
Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011, Proceedings

Dimitra Giannakopoulou Paperback
$80.50
Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Andreas Maletti Paperback
$80.50

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

Overview

You May Also Like

Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Advanced Computational Applications of Geometric Algebra: First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part III

Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I

Mathematical Modelling And Computational Intelligence Techniques: Icmmcit-2021, Gandhigram, India February 10-12

Mathematical Modelling and Computational Intelligence Techniques: ICMMCIT-2021, Gandhigram, India February 10-12

Recent Trends in Mathematical Modeling and High Performance Computing: M3HPCST-2020, Ghaziabad, India, January 9-11, 202: M3HPCST-2020, Ghaziabad, India, January 9-11, 2020

Recent Trends in Mathematical Modeling and High Performance Computing: M3HPCST-2020, Ghaziabad, India, January 9-11, 202: M3HPCST-2020, Ghaziabad, India, January 9-11, 2020

Nonlinear Analysis, Geometry and Applications: Proceedings of the Second NLAGA-BIRS Symposium, Cap Skirring, Senegal, January 25-30, 2022

Nonlinear Analysis, Geometry and Applications: Proceedings of the Second NLAGA-BIRS Symposium, Cap Skirring, Senegal, January 25-30, 2022

Advances in Pure and Applied Algebra: Proceedings of the CONIAPS XXVII International Conference 2021

Encrypt, Sign, Attack: A compact introduction to cryptography

Advances in Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Advances in Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

IUTAM Symposium on Smart Structures and Structronic Systems: Proceedings of the IUTAM Symposium held in Magdeburg, Germany, 26-29 September 2000

Analytical And Stochastic Modelling Techniques And Applications: 25th International Conference, Asmta 2019, Moscow, Russia, October 21-25, 2019, Proceedings

ICM-90 Satellite Conference Proceedings: Harmonic Analysis Proceedings of a Conference Held in Sendai, Japan August 14-18, 1990

The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings

Graph Transformation: 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings

Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Integer Programming and Combinatorial Optimization: 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

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

Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Application And Theory Of Petri Nets And Concurrency: 40th International Conference, Petri Nets 2019, Aachen, Germany, June 23-28, 2019, Proceedings

Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

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

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

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011, Proceedings

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