Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Name: Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Shaoying Liu
ISBN: 9783030774738

Jinyun Xue Edited by Fumiko Nagoya , Shaoying Liu

Jun 04, 2021

$80.50

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

Overview

Language

English

No. of Pages

205

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030774738

Editorial reviews

fumiko nagoya

Author

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Huaikou Miao Paperback
$80.50
2 formats available
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Shaoying Liu Paperback
$65.95
2 formats available
Computational Geometry, Graphs and Applications: International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers

Jin Akiyama Paperback
$80.50
Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings

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

Paperback
$77.95
2 formats available
Evolutionary Multi-criterion Optimization: 11th International Conference, Emo 2021, Shenzhen, China, March 28-31, 2021, Proceedings

Hisao Ishibuchi Paperback
$160.95
2 formats available
Biomedical and Computational Biology: Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers

Shiping Wen Paperback
$160.95
2 formats available
Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

Thambipillai Srikanthan Paperback
$160.95
Process-Aware Systems: Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Pape: Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers

Jian Cao Paperback
$80.50
2 formats available
Wireless Algorithms, Systems, And Applications: 10th International Conference, Wasa 2015, Qufu, China, August 10-12, 2015, Proceedings

Kuai Xu Paperback
$80.50
2 formats available
Neural Information Processing: 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

Minho Lee Paperback
$80.50
Management of Information, Process and Cooperation: Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

Jian Cao Paperback
$80.50
2 formats available
Methods and Applications for Modeling and Simulation of Complex Systems: 20th Asian Simulation Conference, AsiaSim 2021, Virtual Event, November 17-20, 2021, Proceedings

Byeong-Yun Chang Paperback
$80.50
2 formats available
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Paperback
$80.50
2 formats available
Knowledge Graph And Semantic Computing. Knowledge Computing And Language Understanding: Third China Conference, Ccks 2018, Tianjin, China, August 14-17, 2018, Revised Selected Papers

Jun Zhao Paperback
$80.50
2 formats available
Machine Translation: 12th China Workshop, Cwmt 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers

Muyun Yang Paperback
$80.50
2 formats available
Network and Parallel Computing: 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers

Xin He Paperback
$189.95
2 formats available
Computational Intelligence and Intelligent Systems: 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

Kangshun Li Paperback
$80.50
2 formats available
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Zhiming Liu Paperback
$80.50
Recent Advances in Data Science: Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22-24, 2019, Revised Selected Papers

Henry Han Paperback
$80.50
2 formats available

Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Overview

You May Also Like

Approximation and Online Algorithms: 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Understanding Human Activities Through 3D Sensors: Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Machine Learning for Multimodal Interaction: 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers

Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation: First International Workshop, MOVE 2020, Virtual Event, October 17-18, 2020, Revised Selected Papers

Critical Infrastructure Protection XVI: 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers

Critical Infrastructure Protection XVI: 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers

Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

CCKS 2022 - Evaluation Track: 7th China Conference on Knowledge Graph and Semantic Computing Evaluations, CCKS 2022, Qinhuangdao, China, August 24-27, 2022, Revised Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

System Modeling and Optimization: Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France

Computational Intelligence in Communications and Business Analytics: 5th International Conference, CICBA 2023, Kalyani, India, January 27-28, 2023, Revised Selected Papers, Part II

Computational Intelligence in Communications and Business Analytics: 5th International Conference, CICBA 2023, Kalyani, India, January 27-28, 2023, Revised Selected Papers, Part II

Advances in Bias and Fairness in Information Retrieval: Second International Workshop on Algorithmic Bias in Search and Recommendation, BIAS 2021, Lucca, Italy, April 1, 2021, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Computational Geometry, Graphs and Applications: International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers

Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings

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

Evolutionary Multi-criterion Optimization: 11th International Conference, Emo 2021, Shenzhen, China, March 28-31, 2021, Proceedings

Biomedical and Computational Biology: Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers

Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

Process-Aware Systems: Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Pape: Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers

Wireless Algorithms, Systems, And Applications: 10th International Conference, Wasa 2015, Qufu, China, August 10-12, 2015, Proceedings

Neural Information Processing: 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

Management of Information, Process and Cooperation: Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

Methods and Applications for Modeling and Simulation of Complex Systems: 20th Asian Simulation Conference, AsiaSim 2021, Virtual Event, November 17-20, 2021, Proceedings

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

Knowledge Graph And Semantic Computing. Knowledge Computing And Language Understanding: Third China Conference, Ccks 2018, Tianjin, China, August 14-17, 2018, Revised Selected Papers

Machine Translation: 12th China Workshop, Cwmt 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers

Network and Parallel Computing: 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers

Computational Intelligence and Intelligent Systems: 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Recent Advances in Data Science: Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22-24, 2019, Revised Selected Papers