Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Name: Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
Price: 60.99 CAD
Availability: InStock
Author: Adrian Riesco
ISBN: 9783031172441

Édition : Adrian Riesco

10 novembre 2022

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

Lecture Notes In Computer Science

Publié par: Springer International Publishing

ISBN: 9783031172441

Wireless Sensor Networks: First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings

Holger Karl Couverture souple
80,50 $
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Shang-wei Lin Couverture souple
80,50 $
2 formats offerts
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
Computer-Aided Design and Computer Graphics: 18th International Conference, CAD/Graphics 2023, Shanghai, China, August 19-21, 2023, Proceedings

Shi-Min Hu Couverture souple
109,50 $
2 formats offerts
Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Judith Bishop Livre et audio
80,50 $
Csound: A Sound And Music Computing System

Victor Lazzarini Couverture souple
131,50 $
2 formats offerts
Computer-Aided Design and Computer Graphics: 18th International Conference, CAD/Graphics 2023, Shanghai, China, August 19-21, 2023, Proceedings

Shi-Min Hu Couverture souple
58,50 $
Persuasive Technology: 19th International Conference, PERSUASIVE 2024, Wollongong, NSW, Australia, April 10-12, 2024, Proceedings

Nilufar Baghaei Couverture souple
160,39 $ ~~Réduction sur le prix courant 189,95 $ à~~
2 formats offerts
Uncertainty for Safe Utilization of Machine Learning in Medical Imaging: 6th International Workshop, UNSURE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Carole H. Sudre Couverture souple
94,95 $
2 formats offerts
Advances in Nonlinear Speech Processing: 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013, Proceedings

Thomas Drugman Couverture souple
105,50 $
Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Felix Redmill Couverture souple
248,50 $
Pattern Recognition: 13th Mexican Conference, Mcpr 2021, Mexico City, Mexico, June 23-26, 2021, Proceedings

Edgar Roman-rangel Couverture souple
80,50 $
2 formats offerts
Trustworthy Computing and Services: International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers

Lu Yueming Couverture souple
80,50 $
2 formats offerts
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

Michele Bugliesi Couverture souple
160,95 $
Advances in Power Electronics and Instrumentation Engineering: Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

Vinu V Das Couverture souple
80,50 $
Pattern Recognition and Machine Intelligence: Third International Conference, PReMI 2009 New Delhi, India, December 16-20, 2009 Proceedings

Santanu Chaudhury Couverture souple
160,95 $
Objects, Models, Components, Patterns: 48th International Conference, Tools 2010, Malaga, Spain, June 28 - July 2, 2010, Proceedings

Jan Vitek Couverture souple
80,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 $
Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, TelA, Czech Republic, October 17-19, 2014, Revised Selected Papers

Petr Hlin Couverture souple
65,95 $
Combinatorial Pattern Matching: 9th Annual Symposium, Cpm'98, Piscataway, New Jersey, Usa, July 20-22, 1998, Proceedings

Martin Farach-Colton Couverture souple
80,50 $

Évaluation éditoriale

adrian riesco

Auteur

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
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Couverture souple
102,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Couverture souple
94,95 $
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
Cooperative Design, Visualization, and Engineering: 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

Yuhua Luo Couverture souple
94,95 $
2 formats offerts
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Couverture souple
124,50 $
2 formats offerts
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
Cooperative Design, Visualization, and Engineering: 21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings

Yuhua Luo Couverture souple
109,50 $
2 formats offerts
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Couverture souple
80,50 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Alessio Ferrari Couverture souple
124,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

Shang-wei Lin Couverture souple
80,50 $
2 formats offerts
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Couverture souple
127,42 $ ~~Réduction sur le prix courant 131,50 $ à~~
2 formats offerts
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Couverture souple
116,95 $
2 formats offerts
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Couverture souple
87,95 $
2 formats offerts
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Couverture souple
80,50 $
2 formats offerts
Parallel and Distributed Computing, Applications and Technologies: 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Hiroyuki Takizawa Couverture souple
131,50 $
2 formats offerts
Cooperative Design, Visualization, and Engineering: 19th International Conference, CDVE 2022, Virtual Event, September 25-28, 2022, Proceedings

Yuhua Luo Couverture souple
80,50 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, and Applications: 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Iouliia Skliarova Couverture souple
189,95 $
2 formats offerts
Simulation Tools and Techniques: 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

José-Luis Guisado-Lizar Couverture souple
124,50 $
2 formats offerts

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Description

Vous aimerez peut-être aussi

Wireless Sensor Networks: First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings

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

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

Computer-Aided Design and Computer Graphics: 18th International Conference, CAD/Graphics 2023, Shanghai, China, August 19-21, 2023, Proceedings

Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Csound: A Sound And Music Computing System

Computer-Aided Design and Computer Graphics: 18th International Conference, CAD/Graphics 2023, Shanghai, China, August 19-21, 2023, Proceedings

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

Uncertainty for Safe Utilization of Machine Learning in Medical Imaging: 6th International Workshop, UNSURE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Advances in Nonlinear Speech Processing: 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013, Proceedings

Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Pattern Recognition: 13th Mexican Conference, Mcpr 2021, Mexico City, Mexico, June 23-26, 2021, Proceedings

Trustworthy Computing and Services: International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers

Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

Advances in Power Electronics and Instrumentation Engineering: Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

Pattern Recognition and Machine Intelligence: Third International Conference, PReMI 2009 New Delhi, India, December 16-20, 2009 Proceedings

Objects, Models, Components, Patterns: 48th International Conference, Tools 2010, Malaga, Spain, June 28 - July 2, 2010, Proceedings

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

Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, TelA, Czech Republic, October 17-19, 2014, Revised Selected Papers

Combinatorial Pattern Matching: 9th Annual Symposium, Cpm'98, Piscataway, New Jersey, Usa, July 20-22, 1998, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, 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

Cooperative Design, Visualization, and Engineering: 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

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

Cooperative Design, Visualization, and Engineering: 21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Requirements Engineering: Foundation for Software Quality: 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

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

Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Parallel and Distributed Computing, Applications and Technologies: 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Cooperative Design, Visualization, and Engineering: 19th International Conference, CDVE 2022, Virtual Event, September 25-28, 2022, Proceedings

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

Simulation Tools and Techniques: 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings