Skip to main content Skip to footer content

Mathematical Software - Icms 2020: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings

Anna Maria Bigatti Edited by Jacques Carette , James H. Davenport

Jul 08, 2020

$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

494

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030521998

Editorial reviews

jacques carette

Author

Algorithmic Aspects of Cloud Computing: 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers

Gianlorenzo D'angelo Paperback
$87.95
2 formats available
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Paperback
$94.95
2 formats available
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Georgiana Caltais Paperback
$87.95
2 formats available
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Tayssir Touili Paperback
$160.95
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

John Derrick Paperback
$80.50
Combinatorial Algorithms: 30th International Workshop, Iwoca 2019, Pisa, Italy, July 23-25, 2019, Proceedings

Charles J. Colbourn Paperback
$116.95
2 formats available
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Paperback
$80.50
2 formats available
Knowledge Engineering And Knowledge Management: 22nd International Conference, Ekaw 2020, Bolzano, Italy, September 16-20, 2020, Proceedings

C. Maria Keet Paperback
$80.50
2 formats available
Evolutionary Computation, Machine Learning And Data Mining In Bioinformatics: 8th European Conference, Evobio 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings

Clara Pizzuti Paperback
$80.50
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Simona Ronchi Della Rocca Paperback
$80.50
Applications of Evolutionary Computation: 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Antonio M. Mora Paperback
$160.95
2 formats available
Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings

George Metcalfe Paperback
$94.95
2 formats available
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

James H. Davenport Paperback
$80.50
Computer Algebra In Scientific Computing: 22nd International Workshop, Casc 2020, Linz, Austria, September 14-18, 2020, Proceedings

François Boulier Paperback
$160.95
2 formats available
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Gethin Norman Paperback
$80.50
Mathematical Software - Icms 2018: 6th International Conference, South Bend, In, Usa, July 24-27, 2018, Proceedings

James H. Davenport Paperback
$80.50
2 formats available
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Leonardo Vanneschi Paperback
$72.95
Computer Vision, Imaging and Computer Graphics - Theory and Applications: 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 - March 1, 2017, Revised Selected Papers

Ana Paula Cláudio Paperback
$80.50
Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings

Albert Llamosi Paperback
$80.50
Distributed Computing: 30th International Symposium, Disc 2016, Paris, France, September 27-29, 2016. Proceedings

Cyril Gavoille Paperback
$80.50
2 formats available