Skip to main content Skip to footer content

Computing And Combinatorics: 25th International Conference, Cocoon 2019, Xi'an, China, July 29-31, 2019, Proceedings

Ding-Zhu Du Edited by Zhenhua Duan , Cong Tian

Jul 21, 2019

$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

678

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030261757

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Natasha Sharygina Paperback
$160.95
Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Jianer Chen Paperback
$80.50
2 formats available
Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

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

Zhenhua Duan Paperback
$80.50
2 formats available
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Shaoying Liu Paperback
$80.50
Theory and Applications of Models of Computation: 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings

Ding-Zhu Du Paperback
$131.50
2 formats available
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi Paperback
$80.50
2 formats available
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

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

Yamine Ait-ameur Paperback
$80.50
2 formats available
Distributed Applications and Interoperable Systems: 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Miguel Matos Paperback
$80.50
2 formats available
Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

David Eyers Paperback
$80.50
2 formats available
Advances in Computing: 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers

Marta Tabares Paperback
$58.50
Advances in Computing: 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers

Marta Tabares Paperback
$145.95
2 formats available
Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings

Wei-Ngan Chin Paperback
$116.95
2 formats available
Tools for High Performance Computing: Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

Rainer Keller Hardcover
$80.50
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Dirk Beyer Paperback
$72.95
2 formats available
Distributed Applications and Interoperable Systems: 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Marta Patiño-Mart Paperback
$94.95
2 formats available
Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings

Wei-Ngan Chin Paperback
$72.95
Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings

Vladimir P. Gerdt Paperback
$80.50
Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Proceedings

Majid Zamani Paperback
$80.50
2 formats available

Editorial reviews

zhenhua duan

Author

Combinatorial Optimization And Applications: 13th International Conference, Cocoa 2019, Xiamen, China, December 13-15, 2019, Proceedings

Yingshu Li Paperback
$80.50
2 formats available
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
WALCOM: Algorithms and Computation: 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings

Sheung-hung Poon Paperback
$80.50
2 formats available
Algorithms and Architectures for Parallel Processing: 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Jaideep Vaidya Paperback
$80.50
2 formats available
Evolutionary Multi-criterion Optimization: 11th International Conference, Emo 2021, Shenzhen, China, March 28-31, 2021, Proceedings

Hisao Ishibuchi Paperback
$160.95
2 formats available
Wireless Algorithms, Systems, And Applications: 16th International Conference, Wasa 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part I

Zhe Liu Paperback
$80.50
2 formats available
Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Jianer Chen Paperback
$80.50
2 formats available
WALCOM: Algorithms and Computation: 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings

Petra Mutzel Paperback
$124.50
2 formats available
Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Anna Lubiw Paperback
$160.95
2 formats available
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi Paperback
$80.50
2 formats available
Combinatorial Optimization And Applications: 15th International Conference, Cocoa 2021, Tianjin, China, December 17-19, 2021, Proceedings

Ding-Zhu Du Paperback
$175.50
2 formats available
Parallel Computing Technologies: 16th International Conference, Pact 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings

Victor Malyshkin Paperback
$145.95
2 formats available
Wireless Algorithms, Systems, And Applications: 16th International Conference, Wasa 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part Ii

Zhe Liu Paperback
$160.95
2 formats available
Wireless Algorithms, Systems, And Applications: 16th International Conference, Wasa 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part Iii

Zhe Liu Paperback
$160.95
2 formats available
WALCOM: Algorithms and Computation: 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings

Ryuhei Uehara Paperback
$80.50
2 formats available
Distributed Computing: 30th International Symposium, Disc 2016, Paris, France, September 27-29, 2016. Proceedings

Cyril Gavoille Paperback
$80.50
2 formats available
Algorithms And Complexity: 12th International Conference, Ciac 2021, Virtual Event, May 10-12, 2021, Proceedings

Tiziana Calamoneri Paperback
$124.50
2 formats available
Architecture Of Computing Systems: 34th International Conference, Arcs 2021, Virtual Event, June 7-8, 2021, Proceedings

Christian Hochberger Paperback
$80.50
2 formats available
Theoretical Aspects Of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings

Violet Ka I Pun Paperback
$80.50
2 formats available
Wireless Algorithms, Systems, And Applications: 10th International Conference, Wasa 2015, Qufu, China, August 10-12, 2015, Proceedings

Kuai Xu Paperback
$80.50
2 formats available