Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Name: Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Price: 60.99 CAD
Availability: InStock
Author: Shang-Wei Lin
ISBN: 9783030634063

Édition : Shang-Wei Lin

19 janvier 2021

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: 9783030634063

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges: Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

Oscar Camara Couverture souple
80,50 $
Algorithms and Models for the Web Graph: 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings

Megan Dewar Couverture souple
87,95 $
2 formats offerts
Machine Learning in Medical Imaging: 14th International Workshop, MLMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings, Part II

Xiaohuan Cao Couverture souple
116,95 $
2 formats offerts
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges: 4th International Workshop, STACOM 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013. Revised Selected Papers

Oscar Camara Couverture souple
72,95 $
Pattern Recognition: 36th German Conference, Gcpr 2014, Munster, Germany, September 2-5, 2014, Proceedings

Xiaoyi Jiang Couverture souple
80,50 $
2 formats offerts
Persuasive Technology: 19th International Conference, PERSUASIVE 2024, Wollongong, NSW, Australia, April 10-12, 2024, Proceedings

Nilufar Baghaei Couverture souple
189,95 $
2 formats offerts
Evolvable Systems: From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings

Kiyoshi Tanaka Couverture souple
80,50 $
Neural Information Processing. Theory and Algorithms: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part I

Kevin K.W. Wong Couverture souple
160,95 $
Forthcoming Networks And Sustainability In The Iot Era: First Eai International Conference, Fones - Iot 2020, Virtual Event, October 1-2, 2020, Proceedings

Enver Ever Couverture souple
80,50 $
2 formats offerts
Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings

Celso C. Ribeiro Couverture souple
80,50 $
Human Behavior Understanding: 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013, Proceedings

Albert Ali Salah Couverture souple
80,50 $
Head and Neck Tumor Segmentation: First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings

Vincent Andrearczyk Couverture souple
80,50 $
2 formats offerts
Advances in Swarm Intelligence: 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022, Proceedings, Part I

Ying Tan Couverture souple
58,50 $
Advances in Nonlinear Speech Processing: 5th International Conference on Nonlinear Speech Processing, NoLISP 2011, Las Palmas de Gran Canaria, Spain, November 7-9, 2011, Proceedings

Carlos M. Travieso-gonz Couverture souple
102,50 $
Knowledge Discovery, Knowledge Engineering and Knowledge Management: First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers

Ana Fred Couverture souple
160,95 $
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Yi Li Couverture souple
94,95 $
2 formats offerts
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: MTSAIL 2023, LEAF 2023, AI4Treat 2023, MMMI 2023, REMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Jonghye Woo Couverture souple
109,50 $
2 formats offerts
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: MTSAIL 2023, LEAF 2023, AI4Treat 2023, MMMI 2023, REMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Jonghye Woo Couverture souple
58,50 $
Swarm, Evolutionary, and Memetic Computing: 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Bijaya Ketan Panigrahi Couverture souple
80,50 $
2 formats offerts
Neural Information Processing: 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VI

Long Cheng Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

shang-wei lin

Auteur

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
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
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 $
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
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Couverture souple
77,95 $
2 formats offerts
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Couverture souple
80,50 $
2 formats offerts
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I

Lin Zhang Couverture souple
160,95 $
2 formats offerts
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II

Lin Zhang Couverture souple
160,95 $
2 formats offerts
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IV

Lin Zhang Couverture souple
80,50 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Couverture souple
80,50 $
2 formats offerts
Quality, Reliability, Security And Robustness In Heterogeneous Systems: 17th Eai International Conference, Qshine 2021, Virtual Event, November 29-30, 2021, Proceedings

Xingliang Yuan Couverture souple
145,95 $
2 formats offerts
Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Jonathan P. Bowen Couverture souple
80,50 $
2 formats offerts
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings

Lu Qin Couverture souple
80,50 $
2 formats offerts
Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Jonathan P. Bowen Couverture souple
94,95 $
2 formats offerts
Wireless Algorithms, Systems, And Applications: 11th International Conference, Wasa 2016, Bozeman, Mt, Usa, August 8-10, 2016. Proceedings

Qing Yang Couverture souple
80,50 $
2 formats offerts
Wireless Algorithms, Systems, And Applications: 9th International Conference, Wasa 2014, Harbin, China, June 23-25, 2014, Proceedings

Zhipeng Cai Couverture souple
160,95 $
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
Parallel Architectures, Algorithms And Programming: 11th International Symposium, Paap 2020, Shenzhen, China, December 28-30, 2020, Proceedings

Li Ning Couverture souple
80,50 $
2 formats offerts
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Jonathan P. Bowen Couverture souple
80,50 $
2 formats offerts
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Jonathan P. Bowen Couverture souple
80,50 $
2 formats offerts

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Description

Vous aimerez peut-être aussi

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges: Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

Algorithms and Models for the Web Graph: 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings

Machine Learning in Medical Imaging: 14th International Workshop, MLMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings, Part II

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges: 4th International Workshop, STACOM 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013. Revised Selected Papers

Pattern Recognition: 36th German Conference, Gcpr 2014, Munster, Germany, September 2-5, 2014, Proceedings

Persuasive Technology: 19th International Conference, PERSUASIVE 2024, Wollongong, NSW, Australia, April 10-12, 2024, Proceedings

Evolvable Systems: From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings

Neural Information Processing. Theory and Algorithms: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part I

Forthcoming Networks And Sustainability In The Iot Era: First Eai International Conference, Fones - Iot 2020, Virtual Event, October 1-2, 2020, Proceedings

Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings

Human Behavior Understanding: 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013, Proceedings

Head and Neck Tumor Segmentation: First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings

Advances in Swarm Intelligence: 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022, Proceedings, Part I

Advances in Nonlinear Speech Processing: 5th International Conference on Nonlinear Speech Processing, NoLISP 2011, Las Palmas de Gran Canaria, Spain, November 7-9, 2011, Proceedings

Knowledge Discovery, Knowledge Engineering and Knowledge Management: First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: MTSAIL 2023, LEAF 2023, AI4Treat 2023, MMMI 2023, REMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: MTSAIL 2023, LEAF 2023, AI4Treat 2023, MMMI 2023, REMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Swarm, Evolutionary, and Memetic Computing: 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Neural Information Processing: 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VI

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

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

Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

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

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

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

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IV

Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Quality, Reliability, Security And Robustness In Heterogeneous Systems: 17th Eai International Conference, Qshine 2021, Virtual Event, November 29-30, 2021, Proceedings

Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Wireless Algorithms, Systems, And Applications: 11th International Conference, Wasa 2016, Bozeman, Mt, Usa, August 8-10, 2016. Proceedings

Wireless Algorithms, Systems, And Applications: 9th International Conference, Wasa 2014, Harbin, China, June 23-25, 2014, Proceedings

Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Parallel Architectures, Algorithms And Programming: 11th International Symposium, Paap 2020, Shenzhen, China, December 28-30, 2020, Proceedings

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures