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

Name: 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
Price: 80.50 CAD
Availability: InStock
Author: Marcello M. Bonsangue
ISBN: 9783662441237

Marcello M. Bonsangue

Sep 01, 2014

$80.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 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

245

Theoretical Computer Science and General Issues

Publisher: Springer/Sci-Tech/Trade

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

ISBN: 9783662441237

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

T.v. Gopal Paperback
$80.50
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
Logic, Language, Information, And Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Valeria de Paiva Paperback
$65.95
2 formats available
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Paperback
$58.50
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Paperback
$94.95
2 formats available
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Paperback
$94.95
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
Numerical Analysis: Proceedings of the Biennial Conference Held at Dundee, June 28 - July 1, 1977

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

Daniel Paulusma Paperback
$116.95
2 formats available
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Santiago Escobar Paperback
$80.50
Learning and Intelligent Optimization: 18th International Conference, LION 18, Ischia Island, Italy, June 9-13, 2024, Revised Selected Papers

Paola Festa Paperback
$116.95
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Xiangdong He Paperback
$80.50
Set Theory and its Applications: Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987

Paperback
$90.95
Graph Theory and Applications: Proceedings of the Conference at Western Michigan University, May 10 - 13, 1972

Paperback
$59.95
Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Nicholas Olenev Paperback
$80.50
2 formats available
Harnack Inequalities and Nonlinear Operators: Proceedings of the INdAM conference to celebrate the 70th birthday of Emmanuele DiBenedetto

Vincenzo Vespri Paperback
$291.95
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Leonid Libkin Paperback
$72.95
Harnack Inequalities And Nonlinear Operators: Proceedings Of The Indam Conference To Celebrate The 70th Birthday Of Emmanuele Dibenedetto

Vincenzo Vespri Hardcover
$291.95
2 formats available
Advanced Finite Element Methods With Applications: Selected Papers From The 30th Chemnitz Finite Element Symposium 2017

Thomas Apel Paperback
$189.95
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

Editorial reviews

Author

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
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
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Cezar C-mpeanu 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
$102.50
2 formats available
Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers

Evripidis Bampis Paperback
$94.95
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
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Paperback
$94.95
2 formats available
Graph-Theoretic Concepts in Computer Science: 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Daniel Paulusma Paperback
$116.95
2 formats available
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Paperback
$94.95
2 formats available
Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Uli Fahrenberg Paperback
$80.50
2 formats available
Graph-theoretic Concepts In Computer Science: 47th International Workshop, Wg 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers

Åukasz Kowalik Paperback
$145.95
2 formats available
Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Thierry Lecroq Paperback
$102.50
2 formats available
Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers

Paperback
$124.50
2 formats available
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Sheng Wen Paperback
$80.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: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Nicholas Olenev Paperback
$80.50
2 formats available
Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Marek Cygan Paperback
$80.50
2 formats available
Logic, Language, Information, And Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Jouko Vä Paperback
$80.50
2 formats available
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Paperback
$94.95
2 formats available
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Alexander Kurz Paperback
$80.50

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

Overview

You May Also Like

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

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

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

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

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

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

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

Numerical Analysis: Proceedings of the Biennial Conference Held at Dundee, June 28 - July 1, 1977

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

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

Learning and Intelligent Optimization: 18th International Conference, LION 18, Ischia Island, Italy, June 9-13, 2024, Revised Selected Papers

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Set Theory and its Applications: Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987

Graph Theory and Applications: Proceedings of the Conference at Western Michigan University, May 10 - 13, 1972

Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Harnack Inequalities and Nonlinear Operators: Proceedings of the INdAM conference to celebrate the 70th birthday of Emmanuele DiBenedetto

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Harnack Inequalities And Nonlinear Operators: Proceedings Of The Indam Conference To Celebrate The 70th Birthday Of Emmanuele Dibenedetto

Advanced Finite Element Methods With Applications: Selected Papers From The 30th Chemnitz Finite Element Symposium 2017

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

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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

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

Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. 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

Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, 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

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

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

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Graph-theoretic Concepts In Computer Science: 47th International Workshop, Wg 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers

Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers

Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

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

Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Logic, Language, Information, And Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings