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

Édition : Daniela Petrişan

20 septembre 2020

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Theoretical Computer Science and General Issues

Publié par: Springer International Publishing

ISBN: 9783030572013

Logic, Language, Information, And Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Valeria de Paiva Couverture souple
65,95 $
2 formats offerts
Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.v. Gopal Couverture souple
80,50 $
2 formats offerts
Mathematical Modeling in Physical Sciences: 12th IC-MSQUARE, Belgrade, Serbia, August 28-31, 2023

Dimitrios Vlachos Couverture rigide
364,95 $
2 formats offerts
Geometric and Harmonic Analysis on Homogeneous Spaces and Applications: TJC 2019, Djerba, Tunisia, December 15-19

Ali Baklouti Couverture souple
248,50 $
Causal Inference: 6th Pacific Causal Inference Conference, PCIC 2024, Shanghai, China, July 5-6, 2024, Revised Selected Papers

Xiao-Hua Zhou Couverture souple
94,95 $
2 formats offerts
Geometric And Harmonic Analysis On Homogeneous Spaces And Applications: Tjc 2019, Djerba, Tunisia, December 15-19

Ali Baklouti Couverture rigide
248,50 $
2 formats offerts
Mathematical Modeling in Physical Sciences: 12th IC-MSQUARE, Belgrade, Serbia, August 28-31, 2023

Dimitrios Vlachos Couverture souple
58,50 $
Graph-Theoretic Concepts in Computer Science: 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Daniel Paulusma Couverture souple
116,95 $
2 formats offerts
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Couverture souple
94,95 $
2 formats offerts
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Toshiyasu Arai Couverture souple
262,95 $
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Santiago Escobar Couverture souple
80,50 $
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Toshiyasu Arai Couverture rigide
262,95 $
2 formats offerts
ICGG 2024 - Proceedings of the 21st International Conference on Geometry and Graphics: Volume 1

Kazuki Takenouchi Couverture souple
321,50 $
2 formats offerts
Learning And Intelligent Optimization: 15th International Conference, Lion 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers

Dimitris E. Simos Couverture souple
131,50 $
2 formats offerts
Cultures Of Mathematics And Logic: Selected Papers From The Conference In Guangzhou, China, November 9-12, 2012

Shier Ju Couverture souple
160,95 $
3 formats offerts
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 Couverture rigide
364,95 $
2 formats offerts
Algebraic Geometry: Proceedings of the International Conference held in Bucharest, Romania, August 2-7, 1982

L. Badescu Couverture souple
67,50 $
2 formats offerts
Recent Advances in Numerical Methods for Hyperbolic PDE Systems: NumHyp 2019

María Luz Muñoz-Ruiz Couverture rigide
248,50 $
2 formats offerts
Machine Learning and Big Data Analytics: 2nd International Conference on Machine Learning and Big Data Analytics-ICMLBDA, IIT Patna, India, March 2022

Rajiv Misra Couverture souple
291,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 Couverture souple
364,95 $

Évaluation éditoriale

daniela petrisan

Auteur

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 Couverture souple
80,50 $
2 formats offerts
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 Couverture souple
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 Couverture souple
102,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Couverture souple
80,50 $
Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

Lars M. Kristensen Couverture souple
80,50 $
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

Johan Lilius Couverture souple
80,50 $
Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

Helmut Simonis Couverture souple
80,50 $
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 Couverture souple
175,50 $
2 formats offerts
Application And Theory Of Petri Nets And Concurrency: 40th International Conference, Petri Nets 2019, Aachen, Germany, June 23-28, 2019, Proceedings

Susanna Donatelli Couverture souple
80,50 $
2 formats offerts
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Markus Holzer Couverture souple
80,50 $
Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings

Fabio Gadducci Couverture souple
80,50 $
2 formats offerts
Graph Transformation: 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings

Fabio Gadducci Couverture souple
80,50 $
2 formats offerts
Cellular Automata and Discrete Complex Systems: 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020, Proceedings

HECTOR Zenil Couverture souple
80,50 $
2 formats offerts
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen Couverture souple
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 Couverture souple
80,50 $
Current Trends in Web Engineering: ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers

Cesare Pautasso Couverture souple
94,95 $
Integer Programming and Combinatorial Optimization: 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

Jon Lee Couverture souple
80,50 $
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Couverture souple
80,50 $
2 formats offerts
Structural Information and Communication Complexity: 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings

Christian Scheideler Couverture souple
80,50 $
Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Daniel Bienstock Couverture souple
102,50 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

Logic, Language, Information, And Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Mathematical Modeling in Physical Sciences: 12th IC-MSQUARE, Belgrade, Serbia, August 28-31, 2023

Geometric and Harmonic Analysis on Homogeneous Spaces and Applications: TJC 2019, Djerba, Tunisia, December 15-19

Causal Inference: 6th Pacific Causal Inference Conference, PCIC 2024, Shanghai, China, July 5-6, 2024, Revised Selected Papers

Geometric And Harmonic Analysis On Homogeneous Spaces And Applications: Tjc 2019, Djerba, Tunisia, December 15-19

Mathematical Modeling in Physical Sciences: 12th IC-MSQUARE, Belgrade, Serbia, August 28-31, 2023

Graph-Theoretic Concepts in Computer Science: 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

ICGG 2024 - Proceedings of the 21st International Conference on Geometry and Graphics: Volume 1

Learning And Intelligent Optimization: 15th International Conference, Lion 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers

Cultures Of Mathematics And Logic: Selected Papers From The Conference In Guangzhou, China, November 9-12, 2012

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

Algebraic Geometry: Proceedings of the International Conference held in Bucharest, Romania, August 2-7, 1982

Recent Advances in Numerical Methods for Hyperbolic PDE Systems: NumHyp 2019

Machine Learning and Big Data Analytics: 2nd International Conference on Machine Learning and Big Data Analytics-ICMLBDA, IIT Patna, India, March 2022

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

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

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

Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, 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

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

Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, 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

Cellular Automata and Discrete Complex Systems: 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020, Proceedings

Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

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

Current Trends in Web Engineering: ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers

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

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

Structural Information and Communication Complexity: 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings

Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings