Skip to main content Skip to footer content

Search-based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings

Aldeida Aleti Edited by Annibale Panichella

Sep 30, 2020

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

Overview

Language

English

No. of Pages

263

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783030597610

Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Sridutt Bhalachandra Paperback
$87.95
2 formats available
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings

Yamine Aït-Ameur Paperback
$145.95
2 formats available
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Paperback
$116.95
2 formats available
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Zhe Hou Paperback
$124.50
2 formats available
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Paperback
$109.50
2 formats available
Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

Gordon Fraser Paperback
$80.50
Distributed Computing: 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings

Fabian Kuhn Paperback
$80.50
Advances in Swarm Intelligence: 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part II

Ying Tan Paperback
$116.95
2 formats available
Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Erik M. Fredericks Paperback
$80.50
2 formats available
Accelerator Programming Using Directives: 7th International Workshop, Waccpd 2020, Virtual Event, November 20, 2020, Proceedings

Sridutt Bhalachandra Paperback
$80.50
2 formats available
Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Paolo Arcaini Paperback
$58.50
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Paperback
$102.50
2 formats available
Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Klaus Schmid Paperback
$80.50
Cooperative Design, Visualization, And Engineering: 17th International Conference, Cdve 2020, Bangkok, Thailand, October 25-28, 2020, Proceedings

Yuhua Luo Paperback
$80.50
2 formats available
Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Anik Ek Paperback
$94.95
2 formats available
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Paperback
$80.50
2 formats available
Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Anatoliy Gorbenko Paperback
$72.95
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Paperback
$160.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
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Paperback
$145.95
2 formats available

Editorial reviews

annibale panichella

Author

Computer Safety, Reliability, And Security: 40th International Conference, Safecomp 2021, York, Uk, September 8-10, 2021, Proceedings

Ibrahim Habli Paperback
$80.50
2 formats available
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Paperback
$80.50
2 formats available
Software Engineering For Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Alexander Romanovsky Paperback
$80.50
2 formats available
Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Ivan Lanese Paperback
$80.50
2 formats available
Runtime Verification: 18th International Conference, Rv 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Christian Colombo Paperback
$124.50
2 formats available
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Paperback
$80.50
2 formats available
Mathematics Of Program Construction: 13th International Conference, Mpc 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Graham Hutton Paperback
$80.50
2 formats available
Model-based Safety And Assessment: 7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

Marc Zeller Paperback
$102.50
2 formats available
Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Christian Attiogb Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. ter Beek Paperback
$80.50
2 formats available
Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Myra B. Cohen Paperback
$102.50
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Valentina Casola Paperback
$80.50
2 formats available
Reversible Computation: 8th International Conference, Rc 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Simon Devitt Paperback
$80.50
2 formats available
Model And Data Engineering: 9th International Conference, Medi 2019, Toulouse, France, October 28-31, 2019, Proceedings

Klaus-Dieter Schewe Paperback
$80.50
2 formats available
Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Paperback
$80.50
2 formats available
Runtime Verification: 21st International Conference, Rv 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng Paperback
$124.50
2 formats available
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Paperback
$80.50
2 formats available
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Paperback
$80.50
2 formats available
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Ezio Bartocci Paperback
$80.50
2 formats available
New Opportunities For Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Rafael Capilla Paperback
$202.95
2 formats available