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

Édition : Yu-Fang Chen

19 novembre 2019

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Programming and Software Engineering

Publié par: Springer International Publishing

ISBN: 9783030317843

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

yu-fang chen

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