Skip to main content Skip to footer content

Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Proceedings

Majid Zamani Edited by Damien Zufferey

Aug 03, 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

145

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030284220

Functional And Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings

Keisuke Nakano Paperback
$80.50
2 formats available
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Paperback
$80.50
Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Jonathan P. Bowen Paperback
$80.50
2 formats available
Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

Rocco De Nicola Paperback
$80.50
Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Lea Kutvonen Paperback
$80.50
Ecoop 2011-object-oriented Programming: 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings

Mira Mezini Paperback
$80.50
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VI

Zahir Tari Paperback
$116.95
2 formats available
String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Franco Maria Nardini Paperback
$109.50
2 formats available
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

Michael Hanus Paperback
$102.50
2 formats available
Algorithms and Architectures for Parallel Processing: 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I

Yang Xiang Paperback
$80.50
Objects, Models, Components, Patterns: 48th International Conference, Tools 2010, Malaga, Spain, June 28 - July 2, 2010, Proceedings

Jan Vitek Paperback
$80.50
Algorithms and Architectures for Parallel Processing: 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II

Yang Xiang Paperback
$80.50
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Paperback
$72.95
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VII

Zahir Tari Paperback
$109.50
2 formats available
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Jonathan P. Bowen Paperback
$80.50
2 formats available
Job Scheduling Strategies For Parallel Processing: 24th International Workshop, Jsspp 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Dalibor Klus Paperback
$102.50
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part IV

Zahir Tari Paperback
$116.95
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V

Zahir Tari Paperback
$189.95
2 formats available
Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Gl Paperback
$80.50
Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I

Pasqua D'Ambra Paperback
$160.95

Editorial reviews

damien zufferey

Author

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Ofer Strichman Paperback
$80.50
Verification And Evaluation Of Computer And Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, Proceedings

Mohamed Faouzi Atig Paperback
$80.50
2 formats available
RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

Ari Juels Paperback
$80.50
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill Paperback
$105.50
Combinatorial Pattern Matching: 21st Annual Symposium, Cpm 2010, New York, Ny, Usa, June 21-23, 2010, Proceedings

Amihood Amir Paperback
$80.50
Reconfigurable Computing: Architectures, Tools and Applications: 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings

Phaophak Sirisuk Paperback
$80.50
Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Yoram Moses Paperback
$80.50
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Mohammed Taghi Hajiaghayi Paperback
$80.50
2 formats available
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Paperback
$80.50
2 formats available
Power-Aware Computer Systems: 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

Babak Falsafi Paperback
$80.50
Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings

Andréa W. Richa Paperback
$80.50
Unconventional Computation and Natural Computation: 11th International Conference, Ucnc 2012, Orleans, France, September 3-7, 2012, Proceedings

Jerome Durand-Lose Paperback
$72.95
Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Daniel Bienstock Paperback
$102.50
2 formats available
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Paperback
$80.50
2 formats available
Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers

Ittay Eyal Paperback
$175.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Krishnendu Chatterjee Paperback
$80.50
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

Supratik Chakraborty Paperback
$80.50
2 formats available
Dna Computing And Molecular Programming: 23rd International Conference, Dna 23, Austin, Tx, Usa, September 24-28, 2017, Proceedings

Robert Brijder Paperback
$80.50
2 formats available
Advances in Cryptology - EUROCRYPT 2003: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings

Eli Biham Paperback
$160.95
COTS-Based Software Systems: Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings

Rick Kazman Paperback
$80.50