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,07 $ à~~

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: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Dang Van Hung Couverture souple
80,50 $
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
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Couverture souple
145,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez Couverture souple
80,50 $
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Sungdeok Cha Couverture souple
80,50 $
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 $
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
Modelling Autonomic Communication Environments: 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings

Rob Brennan Couverture souple
80,50 $
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
Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Klaus Schmid Couverture souple
80,50 $
New Opportunities For Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Rafael Capilla Couverture souple
202,95 $
2 formats offerts
Security Protocols: 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings

Bruce Christianson Couverture souple
80,50 $
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
Future Access Enablers For Ubiquitous And Intelligent Infrastructures: 5th Eai International Conference, Fabulous 2021, Virtual Event, May 6-7, 2021, Proceedings

Dragan Perakovic Couverture souple
80,50 $
2 formats offerts
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling

Couverture souple
135,00 $
Security For Multihop Wireless Networks

Shafiullah Khan Couverture souple
96,50 $
2 formats offerts
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
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
Security Issues for Wireless Sensor Networks

Parag Verma Couverture souple
84,50 $
3 formats offerts
High Performance Computing: 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22-25, 2020, Proceedings

Ponnuswamy Sadayappan Couverture souple
131,50 $
2 formats offerts

Évaluation éditoriale

yu-fang chen

Auteur

Emerging Information Security and Applications: 5th International Conference, EISA 2024, Changzhou, China, October 18-19, 2024, Proceedings

Wenjuan Li Couverture souple
116,95 $
Wireless Algorithms, Systems, And Applications: 9th International Conference, Wasa 2014, Harbin, China, June 23-25, 2014, Proceedings

Zhipeng Cai Couverture souple
160,95 $
Security And Privacy In Social Networks And Big Data: 6th International Symposium, Socialsec 2020, Tianjin, China, September 26-27, 2020, Proceedings

Yang Xiang 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
Exploration of Novel Intelligent Optimization Algorithms: 12th International Symposium, ISICA 2021, Guangzhou, China, November 20-21, 2021, Revised Selected Papers

Kangshun Li Couverture souple
175,50 $
2 formats offerts
Data Science: 10th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2024, Macao, China, September 27-30, 2024, Proceedings, Part III

Chengzhong Xu Couverture souple
124,50 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, and Applications: 18th International Symposium, ARC 2022, Virtual Event, September 19-20, 2022, Proceedings

Lin Gan Couverture souple
87,95 $
2 formats offerts
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
Data Science: 10th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2024, Macao, China, September 27-30, 2024, Proceedings, Part II

Chengzhong Xu Couverture souple
124,50 $
2 formats offerts
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
Network and System Security: 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings

Xingliang Yuan 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
Data Science: 10th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2024, Macao, China, September 27-30, 2024, Proceedings, Part I

Chengzhong Xu Couverture souple
124,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
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
Green, Pervasive, and Cloud Computing: 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II

Hai Jin Couverture souple
109,50 $
2 formats offerts
Green, Pervasive, and Cloud Computing: 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II

Hai Jin Couverture souple
58,50 $
Green, Pervasive, and Cloud Computing: 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Hai Jin Couverture souple
58,50 $
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