Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

Name: Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Corina Cîrstea
ISBN: 9783642229435

Andrea Corradini Édition : Bartek Klin , Corina Cîrstea

19 août 2011

80,50 $

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

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

420

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783642229435

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Yamine Ait-ameur Couverture souple
80,50 $
2 formats offerts
Advances in Neural Networks - ISNN 2024: 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Xinyi Le Couverture souple
145,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

Michael Wand Couverture souple
116,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

Michael Wand Couverture souple
116,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX

Michael Wand Couverture souple
116,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

Michael Wand Couverture souple
116,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part III

Igor Farka Couverture souple
160,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part I

Igor Farka Couverture souple
175,50 $
2 formats offerts
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Shaoying Liu Couverture souple
80,50 $
Advances in Neural Networks - ISNN 2024: 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Xinyi Le Couverture souple
72,95 $
Artificial Neural Networks and Machine Learning - ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part IV

Igor Farka Couverture souple
160,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part II

Igor Farka Couverture souple
160,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI

Michael Wand Couverture souple
109,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II

Michael Wand Couverture souple
116,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V

Michael Wand Couverture souple
116,95 $
2 formats offerts
Human-Computer Interaction - INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part I

Carmelo Ardito Couverture souple
233,95 $
2 formats offerts
Big Computer Games: Enhanced Edition

David H Ahl Couverture rigide
45,50 $
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin Couverture souple
80,50 $
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Zhe Hou Couverture souple
124,50 $
2 formats offerts

Évaluation éditoriale

bartek klin

Auteur

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

Alexander Kurz Couverture souple
80,50 $
Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Andreas Maletti Couverture souple
80,50 $
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen Couverture souple
80,50 $
Graph-Theoretic Concepts in Computer Science: 34th International Workshop, Wg 2008, Durham, Uk, June 30 - July 2, 2008, Revised Papers

Hajo Broersma Couverture souple
80,50 $
Experimental Algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings

Panos M. Pardalos Couverture souple
80,50 $
Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings

Martin Grohe Couverture rigide
80,50 $
String Processing and Information Retrieval: 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings

Costas Iliopoulos Couverture souple
80,50 $
Algorithms - ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Mark De Berg Couverture souple
80,50 $
Algorithms - Esa 2010, Part Ii: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Mark De Berg Couverture souple
80,50 $
Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Martin Middendorf Couverture souple
72,95 $
Algebraic Informatics: 5th International Conference, Cai 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Traian Muntean Couverture souple
105,50 $
Theory of Quantum Computation, Communication and Cryptography: 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

Wim van Dam Couverture souple
80,50 $
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Franz Winkler Couverture souple
80,50 $
Stochastic Algorithms: Foundations and Applications: 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007, Proceedings

Juraj Hromkovi Couverture souple
80,50 $
Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings

Paolo Boldi Couverture souple
80,50 $
Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings

Vladimir P. Gerdt Couverture souple
80,50 $
Integer Programming and Combinatorial Optimization: 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

Jon Lee Couverture souple
80,50 $
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Carla Gomes Couverture souple
80,50 $
Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Paul G. Spirakis Couverture souple
80,50 $
Adaptive and Natural Computing Algorithms: 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Marco Tomassini Couverture souple
80,50 $

Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

Description

Vous aimerez peut-être aussi

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Advances in Neural Networks - ISNN 2024: 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX

Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

Artificial Neural Networks and Machine Learning - ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part III

Artificial Neural Networks and Machine Learning - ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part I

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Advances in Neural Networks - ISNN 2024: 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Artificial Neural Networks and Machine Learning - ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part IV

Artificial Neural Networks and Machine Learning - ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part II

Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI

Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II

Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V

Human-Computer Interaction - INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part I

Big Computer Games: Enhanced Edition

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

Graph-Theoretic Concepts in Computer Science: 34th International Workshop, Wg 2008, Durham, Uk, June 30 - July 2, 2008, Revised Papers

Experimental Algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings

Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings

String Processing and Information Retrieval: 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings

Algorithms - ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Algorithms - Esa 2010, Part Ii: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Algebraic Informatics: 5th International Conference, Cai 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Theory of Quantum Computation, Communication and Cryptography: 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Stochastic Algorithms: Foundations and Applications: 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007, Proceedings

Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings

Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Adaptive and Natural Computing Algorithms: 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings