Passer au contenu principal Passer au contenu du pied de page

Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Édition : Chih-hong Cheng , Javier Esparza

6 octobre 2019

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

552

Programming and Software Engineering

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030317836

Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Couverture souple
80,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Dang Van Hung Couverture souple
80,50 $
Security Protocols: 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings

Bruce Christianson Couverture souple
80,50 $
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Couverture souple
109,50 $
2 formats offerts
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling

Couverture souple
135,00 $
Future Access Enablers for Ubiquitous and Intelligent Infrastructures: 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings

Dragan Perakovic Couverture souple
94,95 $
2 formats offerts
Advances in Cyber Security: First International Conference, ACeS 2019, Penang, Malaysia, July 30 - August 1, 2019, Revised Selected Papers

Mohammed Anbar Couverture souple
80,50 $
2 formats offerts
Geo-informatics in Sustainable Ecosystem and Society: 6th International Conference, GSES 2018, Handan, China, September 25-26, 2018, Revised Selected Papers

Yichun Xie Couverture souple
80,50 $
2 formats offerts
Advances in Intelligent Data Analysis XI: 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings

Jaakko Hollmen Couverture souple
80,50 $
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez Couverture souple
80,50 $
Digital Forensics and Cyber Crime: 12th EAI International Conference, ICDF2C 2021, Virtual Event, Singapore, December 6-9, 2021, Proceedings

Pavel Gladyshev Couverture souple
145,95 $
2 formats offerts
Algorithms for Sensor Systems: 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers

Cristina M. Pinotti Couverture souple
80,50 $
2 formats offerts
Towards Open and Trustworthy Digital Societies: 23rd International Conference on Asia-Pacific Digital Libraries, ICADL 2021, Virtual Event, December 1-3, 2021, Proceedings

Hao-ren Ke Couverture souple
175,50 $
2 formats offerts
Security and Privacy in Social Networks and Big Data: 8th International Symposium, SocialSec 2022, Xi'an, China, October 16-18, 2022, Proceedings

Xiaofeng Chen Couverture souple
80,50 $
2 formats offerts
Reliable and Autonomous Computational Science: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 201: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010

Sung Y. Shin Couverture souple
160,95 $
Algorithms for Sensor Systems: 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers

Falko Dressler Couverture souple
80,50 $
2 formats offerts
Biomimetic And Biohybrid Systems: 9th International Conference, Living Machines 2020, Freiburg, Germany, July 28-30, 2020, Proceedings

Vasiliki Vouloutsi Couverture souple
80,50 $
2 formats offerts
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Couverture souple
80,50 $
2 formats offerts
Science of Cyber Security: Third International Conference, SciSec 2021, Virtual Event, August 13-15, 2021, Revised Selected Papers

Wenlian Lu Couverture souple
102,50 $
2 formats offerts

Évaluation éditoriale

chih-hong cheng

Auteur

Advances In Swarm Intelligence: 7th International Conference, Icsi 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part Ii

Ying Tan Couverture souple
80,50 $
2 formats offerts
Methods and Applications for Modeling and Simulation of Complex Systems: 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part I

Wenhui Fan Couverture souple
175,50 $
2 formats offerts
Methods and Applications for Modeling and Simulation of Complex Systems: 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part II

Wenhui Fan Couverture souple
175,50 $
2 formats offerts
Advances in Swarm Intelligence: 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Ying Tan Couverture souple
80,50 $
Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Couverture souple
124,50 $
2 formats offerts
Advances in Swarm Intelligence: 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part II

Ying Tan Couverture souple
116,95 $
2 formats offerts
Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Jianer Chen Couverture souple
80,50 $
2 formats offerts
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Xuandong Li Couverture souple
80,50 $
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part Ii

Yongxuan Lai Couverture souple
175,50 $
2 formats offerts
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I

Yongxuan Lai Couverture souple
175,50 $
2 formats offerts
Advances in Swarm Intelligence: Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012, Proceedings, Part II

Ying Tan Couverture souple
80,50 $
Wireless Algorithms, Systems, And Applications: 9th International Conference, Wasa 2014, Harbin, China, June 23-25, 2014, Proceedings

Zhipeng Cai Couverture souple
160,95 $
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part Iii

Yongxuan Lai Couverture souple
175,50 $
2 formats offerts
Cognitive Cities: Second International Conference, IC3 2019, Kyoto, Japan, September 3-6, 2019, Revised Selected Papers

Jian Shen Couverture souple
160,95 $
2 formats offerts
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Shang-wei Lin Couverture souple
80,50 $
2 formats offerts
Big Data - BigData 2024: 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Yong Zhang Couverture souple
80,50 $
2 formats offerts
Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Belgacem Ben Hedia Couverture souple
80,50 $
2 formats offerts
Internet of Things - ICIOT 2021: 6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings

Bedir Tekinerdogan Couverture souple
87,95 $
2 formats offerts
Evolutionary Multi-criterion Optimization: 11th International Conference, Emo 2021, Shenzhen, China, March 28-31, 2021, Proceedings

Hisao Ishibuchi Couverture souple
160,95 $
2 formats offerts
Big Data - BigData 2024: 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Yong Zhang Couverture souple
80,50 $
2 formats offerts