Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings

Name: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
Price: 169.99 CAD
Availability: InStock
Author: Jane Hillston
ISBN: 9783031684166

Édition : Jane Hillston

28 août 2024

169,99 $ ~~Réduction sur le prix courant 211,37 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031684166

Adaptive Resource Management and Scheduling for Cloud Computing: First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Florin Pop Couverture souple
80,50 $
2 formats offerts
Information Networking. Networking Technologies for Broadband and Mobile Networks: International Conference ICOIN 2004, Busan, Korea, February 18-20, 2004, Revised Selected Papers

Hyun-Kook Kahng Couverture souple
160,95 $
Learning and Intelligent Optimization: Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

Vittorio Maniezzo Couverture souple
80,50 $
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts
Social Computing, Behavioral-Cultural Modeling and Prediction: 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings

John Salerno Couverture souple
80,50 $
Advances in Communication Networking: 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers

Yvon Kermarrec Couverture souple
80,50 $
2 formats offerts
Autonomous Driving: Technical, Legal and Social Aspects

Couverture souple
78,33 $
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Couverture souple
80,50 $
Human Mental Workload: Models and Applications: Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14-15, 2019, Proceedings

Luca Longo Couverture souple
58,50 $
e-Technologies and Networks for Development: First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011, Proceedings

Jim James Yonazi Couverture souple
80,50 $
Interpretability of Machine Intelligence in Medical Image Computing, and Topological Data Analysis and Its Applications for Medical Data: 4th International Workshop, iMIMIC 2021, and 1st International Workshop, TDA4MedicalData 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings

Mauricio Reyes Couverture souple
87,95 $
2 formats offerts
Autonomous Driving: Technical, Legal and Social Aspects

Couverture rigide
92,33 $
Algorithms and Data Structures: 10th International Workshop, Wads 2007, Halifax, Canada, August 15-17, 2007, Proceedings

Frank Dehne Couverture souple
160,95 $
Mining Biomedical Text, Images and Visual Features for Information Retrieval

Sujata Dash Couverture souple
244,50 $
Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings

Albert Llamosi Couverture souple
80,50 $
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Alexander Dudin Couverture souple
72,95 $
Smart Solutions in Today's Transport: 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - UstroA, Poland, April 5-8, 2017, Selected Papers

Jerzy Mikulski Couverture souple
80,50 $
2 formats offerts
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Anatoly Nazarov Couverture souple
124,50 $
2 formats offerts
Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings

Muhammad Ali Babar Couverture souple
80,50 $
Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I

Rabindra Nath Shaw Couverture souple
116,95 $
2 formats offerts

Évaluation éditoriale

jane hillston

Auteur

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

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Birgit Milius Couverture souple
94,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Couverture souple
87,95 $
2 formats offerts
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 Couverture souple
116,95 $
2 formats offerts
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Simon Collart-dutilleul Couverture souple
102,50 $
2 formats offerts
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 Couverture souple
102,50 $
2 formats offerts
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 Couverture souple
116,95 $
2 formats offerts
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 Couverture souple
145,95 $
2 formats offerts
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Christel Seguin Couverture souple
80,50 $
2 formats offerts
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts
Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Michael Emmerich Couverture souple
145,95 $
2 formats offerts
Modeling, Simulation and Optimization of Complex Processes - HPSC 2012: Proceedings of the Fifth International Conference on High Performance Scientific Computing, March 5-9, 2012, Hanoi, Vietnam

Hans Georg Bock Couverture rigide
160,95 $
2 formats offerts
The Transdisciplinary Reach of Design Science Research: 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022, Proceedings

Andreas Drechsler Couverture souple
131,50 $
2 formats offerts
Diagrammatic Representation And Inference: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings

Peter Chapman Couverture souple
160,95 $
2 formats offerts
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Couverture souple
142,95 $
Dynamic Data Driven Applications Systems: 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings

Erik Blasch Couverture souple
109,50 $
2 formats offerts
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Naoki Kobayashi Couverture souple
72,95 $
2 formats offerts
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Naoki Kobayashi Couverture rigide
72,95 $
2 formats offerts
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Orna Kupferman Couverture souple
72,95 $
2 formats offerts
Cellular Automata: 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12-15, 2022, Proceedings

Bastien Chopard Couverture souple
131,50 $
2 formats offerts

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings

Description

Vous aimerez peut-être aussi

Adaptive Resource Management and Scheduling for Cloud Computing: First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Information Networking. Networking Technologies for Broadband and Mobile Networks: International Conference ICOIN 2004, Busan, Korea, February 18-20, 2004, Revised Selected Papers

Learning and Intelligent Optimization: Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Social Computing, Behavioral-Cultural Modeling and Prediction: 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings

Advances in Communication Networking: 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers

Autonomous Driving: Technical, Legal and Social Aspects

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Human Mental Workload: Models and Applications: Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14-15, 2019, Proceedings

e-Technologies and Networks for Development: First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011, Proceedings

Autonomous Driving: Technical, Legal and Social Aspects

Algorithms and Data Structures: 10th International Workshop, Wads 2007, Halifax, Canada, August 15-17, 2007, Proceedings

Mining Biomedical Text, Images and Visual Features for Information Retrieval

Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Smart Solutions in Today's Transport: 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - UstroA, Poland, April 5-8, 2017, Selected Papers

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings

Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

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

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. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Modeling, Simulation and Optimization of Complex Processes - HPSC 2012: Proceedings of the Fifth International Conference on High Performance Scientific Computing, March 5-9, 2012, Hanoi, Vietnam

The Transdisciplinary Reach of Design Science Research: 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022, Proceedings

Diagrammatic Representation And Inference: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings

Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Dynamic Data Driven Applications Systems: 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Cellular Automata: 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12-15, 2022, Proceedings