Skip to main content Skip to footer content

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings

Edited by David Pichardie

Feb 13, 2021

$84.99 ~~Price reduced from $105.68 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Programming and Software Engineering

Publisher: Springer International Publishing

ISBN: 9783030654740

Progress in Cryptology - INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings

Karthikeyan Bhargavan Paperback
$160.95
2 formats available
Constructive Side-channel Analysis And Secure Design: 12th International Workshop, Cosade 2021, Lugano, Switzerland, October 25-27, 2021, Proceedings

Shivam Bhasin Paperback
$131.50
2 formats available
Swarm, Evolutionary, and Memetic Computing: 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Bijaya Ketan Panigrahi Paperback
$80.50
Scalable Information Systems: 5th International Conference, INFOSCALE 2014, Seoul, South Korea, September 25-26, 2014, Revised Selected Papers

Jason J. Jung Paperback
$65.95
2 formats available
Smart Grid and Innovative Frontiers in Telecommunications: 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings

Hongming Yang Paperback
$160.95
2 formats available
Secure It Systems: 25th Nordic Conference, Nordsec 2020, Virtual Event, November 23-24, 2020, Proceedings

Mikael Asplund Paperback
$116.95
2 formats available
Provable And Practical Security: 15th International Conference, Provsec 2021, Guangzhou, China, November 5-8, 2021, Proceedings

Qiong Huang Paperback
$124.50
2 formats available
Network And System Security: 15th International Conference, Nss 2021, Tianjin, China, October 23, 2021, Proceedings

Min Yang Paperback
$124.50
2 formats available
Computer Games: Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

Tristan Cazenave Paperback
$80.50
2 formats available
Artificial Intelligence in Music, Sound, Art and Design: 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings

Tiago Martins Paperback
$204.50
2 formats available
Sustainable Energy For Smart Cities: Third Eai International Conference, Sesc 2021, Virtual Event, November 24-26, 2021, Proceedings

Joao L. Afonso Paperback
$124.50
2 formats available
Benchmarking, Measuring, and Optimizing: Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15-16, 2020, Revised Selected Papers

Felix Wolf Paperback
$80.50
2 formats available
Bio-Inspired Computing: Theories and Applications: 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17-19, 2021, Revised Selected Papers, Part I

Linqiang Pan Paperback
$145.95
2 formats available
Hybrid Metaheuristics: 5th International Workshop, HM 2008, Malaga, Spain, October 8-9, 2008. Proceedings

Christian Blum Paperback
$80.50
Proceedings Of 6th International Conference On Big Data And Cloud Computing Challenges: Icbcc 2019, Umkc, Kansas City, U: Icbcc 2019, Umkc, Kansas City, Usa

V. Vijayakumar Paperback
$248.50
Deployable Machine Learning For Security Defense: First International Workshop, Mlhat 2020, San Diego, Ca, Usa, August 24, 2020, Proceedings

Gang Wang Paperback
$124.50
2 formats available
Machine Learning and Data Mining for Sports Analytics: 9th International Workshop, MLSA 2022, Grenoble, France, September 19, 2022, Revised Selected Papers

Ulf Brefeld Paperback
$102.50
2 formats available
Chatbot Research and Design: 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23-24, 2021, Revised Selected Papers

Asbjorn Folstad Paperback
$102.50
2 formats available
Computational Intelligence in Data Science: Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20-22, 2020, Revised Selected Papers

Aravindan Chandrabose Paperback
$160.95
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

Alessandro Abate Paperback
$145.95
2 formats available

Editorial reviews

david pichardie

Author

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav Paperback
$80.50
Static Analysis: 23rd International Symposium, Sas 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings

Xavier Rival Paperback
$80.50
2 formats available
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
Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Michael Luck Paperback
$80.50
Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Gl Paperback
$80.50
Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Istv Majzik Paperback
$65.95
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
Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Andy Gill Paperback
$80.50
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez Paperback
$80.50
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Antoine Mine Paperback
$80.50
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
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu Paperback
$80.50
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Ian P. Gent Paperback
$160.95
Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

Alfredo Cuzzocrea Paperback
$80.50
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt Paperback
$80.50
Computational Data And Social Networks: 10th International Conference, Csonet 2021, Virtual Event, November 15-17, 2021, Proceedings

David Mohaisen Paperback
$124.50
2 formats available
Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Andreas Podelski Paperback
$80.50
2 formats available
Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Andy Sch Paperback
$160.95
Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Myra B. Cohen Paperback
$102.50
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin Paperback
$80.50