Skip to main content Skip to footer content

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

David Pichardie Edited by Mihaela Sighireanu

Jan 13, 2021

$116.95

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

Overview

Language

English

No. of Pages

381

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783030654733

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
Similarity Search and Applications: 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings

Nora Reyes Paperback
$124.50
2 formats available
Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II

Ji Miky Paperback
$175.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
Hybrid Artificial Intelligent Systems: 16th International Conference, Hais 2021, Bilbao, Spain, September 22-24, 2021, Proceedings

Hugo Sanjurjo Gonz Paperback
$189.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
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
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
17th International Conference On Information Technology-new Generations (itng 2020)

Shahram Latifi Paperback
$246.95
3 formats available
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

Alessandro Abate Paperback
$145.95
2 formats available
Intelligent Robotics And Applications: 14th International Conference, Icira 2021, Yantai, China, October 22-25, 2021, Proceedings, Part Iv

Xin-Jun Liu Paperback
$204.50
2 formats available
Digital Libraries at Times of Massive Societal Transition: 22nd International Conference on Asia-Pacific Digital Libraries, ICADL 2020, Kyoto, Japan, November 30 - December 1, 2020, Proceedings

Emi Ishita Paperback
$145.95
2 formats available
AIxIA 2020 - Advances in Artificial Intelligence: XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers

Matteo Baldoni Paperback
$145.95
2 formats available
Computer-Aided Architectural Design. "Hello, Culture: 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26-28, 2019, Selected Papers

Ji-hyun Lee Paperback
$189.95
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
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
Secure It Systems: 25th Nordic Conference, Nordsec 2020, Virtual Event, November 23-24, 2020, Proceedings

Mikael Asplund Paperback
$116.95
2 formats available
Advances In Practical Applications Of Agents, Multi-agent Systems, And Social Good. The Paams Collection: 19th International Conference, Paams 2021, Salamanca, Spain, October 6-8, 2021, Proceedings

Frank Dignum Paperback
$124.50
2 formats available

Editorial reviews

mihaela sighireanu

Author

Software Architecture: 15th European Conference, Ecsa 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

Stefan Biffl Paperback
$145.95
2 formats available
Optimization And Learning: 4th International Conference, Ola 2021, Catania, Italy, June 21-23, 2021, Proceedings

Bernab Dorronsoro Paperback
$145.95
2 formats available
Advances in Mobile Computing and Multimedia Intelligence: 20th International Conference, MoMM 2022, Virtual Event, November 28-30, 2022, Proceedings

Pari Delir Haghighi Paperback
$87.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
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

Alessandro Abate Paperback
$145.95
2 formats available
Reachability Problems: 12th International Conference, Rp 2018, Marseille, France, September 24-26, 2018, Proceedings

Igor Potapov Paperback
$80.50
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
Tenth International Conference on Applications and Techniques in Cyber Intelligence (ICATCI 2022): Volume 2

Paperback
$324.95
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
Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II

Ji Miky Paperback
$175.50
2 formats available
Similarity Search and Applications: 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings

Nora Reyes Paperback
$124.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
Network And System Security: 15th International Conference, Nss 2021, Tianjin, China, October 23, 2021, Proceedings

Min Yang Paperback
$124.50
2 formats available
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
Embedded Computer Systems: Architectures, Modeling, and Simulation: 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings

Alex Orailoglu Paperback
$131.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
Computer-Aided Architectural Design. "Hello, Culture: 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26-28, 2019, Selected Papers

Ji-hyun Lee Paperback
$189.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
Social, Cultural, And Behavioral Modeling: 12th International Conference, Sbp-brims 2019, Washington, Dc, Usa, July 9-12, 2019, Proceedings

Robert Thomson Paperback
$94.95
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