Passer au contenu principal Passer au contenu du pied de page

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

Sergiy Bogomolov Édition : David Parker

29 août 2022

87,95 $

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

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 440 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

307

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031158384

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
Recent Advances in Intrusion Detection: 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001 Proceedings

Wenke Lee Couverture souple
80,50 $
Computational Data and Social Networks: 8th International Conference, CSoNet 2019, Ho Chi Minh City, Vietnam, November 18-20, 2019, Proceedings

Andrea Tagarelli Couverture souple
80,50 $
2 formats offerts
Neural Information Processing: 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II

Chu Kiong Loo Couverture souple
80,50 $
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Christiano Braga Couverture souple
65,95 $
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling

Jeremy Frank Couverture souple
200,00 $
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling

Couverture souple
97,50 $
Reachability Problems: 15th International Conference, Rp 2021, Liverpool, Uk, October 25-27, 2021, Proceedings

Paul C. Bell Couverture souple
131,50 $
2 formats offerts
Extended Reality: International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I

Lucio Tommaso De Paolis Couverture souple
131,50 $
2 formats offerts
Left Atrial and Scar Quantification and Segmentation: First Challenge, LAScarQS 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings

Xiahai Zhuang Couverture souple
87,95 $
2 formats offerts
Biomedical Image Registration: 10th International Workshop, WBIR 2022, Munich, Germany, July 10-12, 2022, Proceedings

Alessa Hering Couverture souple
116,95 $
2 formats offerts
Policies and Research in Identity Management: Second IFIP WG 11.6 Working Conference, IDMAN 2010, Oslo, Norway, November 18-19, 2010, Proceedings

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

Kiyoshi Tanaka Couverture souple
80,50 $
Pattern Recognition: 36th German Conference, Gcpr 2014, Munster, Germany, September 2-5, 2014, Proceedings

Xiaoyi Jiang Couverture souple
80,50 $
2 formats offerts
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Mohammad Tanveer Couverture souple
160,95 $
2 formats offerts
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

Mohammad Tanveer Couverture souple
175,50 $
2 formats offerts
Persuasive Technology. Designing for Future Change: 15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 20-23, 2020, Proceedings

Sandra Burri Gram-hansen Couverture souple
94,95 $
2 formats offerts
Policies and Research in Identity Management: Second IFIP WG 11.6 Working Conference, IDMAN 2010, Oslo, Norway, November 18-19, 2010, Proceedings

Elisabeth De Leeuw Couverture rigide
80,50 $
Research and Advanced Technology for Digital Libraries: 7th European Conference, ECDL 2003, Trondheim, Norway, August 17-22, 2003. Proceedings

Traugott Koch Couverture souple
160,95 $
Embedded System Technology: 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papers

Xing Zhang Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

david parker

Auteur

Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

Pavel Klinov Couverture souple
80,50 $
Symbolic And Quantitative Approaches To Reasoning With Uncertainty: 16th European Conference, Ecsqaru 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings

Jiåina Vejnarov Couverture souple
189,95 $
2 formats offerts
Computer Analysis of Images and Patterns: 5th International Conference, CAIP '93 Budapest, Hungary, September 13-15, 1993 Proceedings

Dmitry Chetverikov Couverture souple
58,50 $
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Manfred Broy Couverture souple
80,50 $
Optical SuperComputing: Second International Workshop, Osc 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings

Shlomi Dolev Couverture souple
80,50 $
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac Couverture souple
102,50 $
2 formats offerts
Intelligent Systems'2014: Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24-26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses

P. Angelov Couverture souple
321,50 $
System Modelling and Optimization: Proceedings of the 12th Ifip Conference, Budapest, Hungary, September 2-6, 1985

Couverture souple
220,95 $
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
The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings

Robert Andrei Buchmann Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen Couverture souple
80,50 $
Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Ivan Lanese Couverture souple
80,50 $
2 formats offerts
ICAF 2019 - Structural Integrity in the Age of Additive Manufacturing: Proceedings of the 30th Symposium of the International Committee on Aeronautical Fatigue, June 2-7, 2019, Krakow, Poland

Antoni Niepokolczycki Couverture souple
481,95 $
Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part I

Yaroslav D. Sergeyev Couverture souple
80,50 $
2 formats offerts
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Couverture souple
204,50 $
2 formats offerts
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Couverture souple
204,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2019: Text and Time Series: 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part IV

Igor V. Tetko Couverture souple
160,95 $
2 formats offerts
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Joel Ouaknine Couverture souple
80,50 $
Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part II

Yaroslav D. Sergeyev Couverture souple
80,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2019: Workshop and Special Sessions: 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings

Igor V. Tetko Couverture souple
145,95 $
2 formats offerts