Analytical and Stochastic Modelling Techniques and Applications: 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings

Name: Analytical and Stochastic Modelling Techniques and Applications: 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings
Price: 132.99 CAD
Availability: InStock
Author: Arnaud Devos
ISBN: 9783031707537

Edited by Arnaud Devos

Oct 19, 2024

$132.99 ~~Price reduced from $166.07 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Lecture Notes In Computer Science

Publisher: Springer Nature Switzerland

ISBN: 9783031707537

Analytical and Stochastic Modelling Techniques and Applications: 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings

Arnaud Devos Paperback
$80.50
2 formats available
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 Paperback
$160.95
2 formats available
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 Paperback
$80.50
2 formats available
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 Paperback
$160.95
2 formats available
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Jim Davies Paperback
$160.95
Mathematics of Program Construction: 10th International Conference, Mpc 2010, Quebec City, Canada, June 21-23, 2010, Proceedings

Claude Bolduc Paperback
$80.50
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part III

Yinjun Zhang Paperback
$72.95
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part III

Yinjun Zhang Paperback
$145.95
2 formats available
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part II

Yinjun Zhang Paperback
$72.95
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part II

Yinjun Zhang Paperback
$145.95
2 formats available
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part IV

Yinjun Zhang Paperback
$160.95
2 formats available
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part IV

Yinjun Zhang Paperback
$72.95
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part I

Yinjun Zhang Paperback
$72.95
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part V

Yinjun Zhang Paperback
$145.95
2 formats available
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part I

Yinjun Zhang Paperback
$175.50
2 formats available
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part V

Yinjun Zhang Paperback
$72.95
Building Innovation Pipelines through Computer-Aided Innovation: 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011, Proceedings

Denis Cavallucci Paperback
$80.50
2 formats available
Computational Science and Its Applications - ICCSA 2022: 22nd International Conference, Malaga, Spain, July 4-7, 2022, Proceedings, Part I

Osvaldo Gervasi Paperback
$145.95
2 formats available
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Silvia Bonfanti Paperback
$72.95
Computational Science and Its Applications - ICCSA 2022: 22nd International Conference, Malaga, Spain, July 4-7, 2022, Proceedings, Part II

Osvaldo Gervasi Paperback
$204.50
2 formats available

Editorial reviews

arnaud devos

Author

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Paperback
$102.50
2 formats available
Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings

Mauro Iacono Paperback
$109.50
2 formats available
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Paperback
$94.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Tiziana Margaria Paperback
$145.95
2 formats available
Analytical and Stochastic Modelling Techniques and Applications: 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings

Arnaud Devos Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Paperback
$94.95
2 formats available
Discrete Geometry and Mathematical Morphology: Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings

Sara Brunetti Paperback
$116.95
2 formats available
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Paperback
$58.50
Cellular Automata: 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings

Franco Bagnoli Paperback
$94.95
2 formats available
Applied Reconfigurable Computing. Architectures, Tools, and Applications: 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Iouliia Skliarova Paperback
$189.95
2 formats available
Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5-7, 2022, Proceedings

Tomá Skopal Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Paperback
$109.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Paperback
$94.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Tiziana Margaria Paperback
$109.50
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Paperback
$109.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Paperback
$80.50
2 formats available
Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Szilárd Zsolt Fazekas Paperback
$109.50
2 formats available
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Paperback
$94.95
2 formats available

Analytical and Stochastic Modelling Techniques and Applications: 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings

Overview

You May Also Like

Analytical and Stochastic Modelling Techniques and Applications: 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, 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 IV

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

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Mathematics of Program Construction: 10th International Conference, Mpc 2010, Quebec City, Canada, June 21-23, 2010, Proceedings

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part III

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part III

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part II

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part II

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part IV

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part IV

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part I

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part V

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part I

Application of Big Data, Blockchain, and Internet of Things for Education Informatization: Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part V

Building Innovation Pipelines through Computer-Aided Innovation: 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011, Proceedings

Computational Science and Its Applications - ICCSA 2022: 22nd International Conference, Malaga, Spain, July 4-7, 2022, Proceedings, Part I

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Computational Science and Its Applications - ICCSA 2022: 22nd International Conference, Malaga, Spain, July 4-7, 2022, Proceedings, Part II

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Analytical and Stochastic Modelling Techniques and Applications: 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Discrete Geometry and Mathematical Morphology: Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Cellular Automata: 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, and Applications: 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5-7, 2022, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings