Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Name: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Alessio Bucaioni
ISBN: 9783031124280

Antonio Cerone Édition : Marco Autili , Alessio Bucaioni

25 septembre 2022

80,50 $

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 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

350

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031124280

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Couverture souple
72,95 $
Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedin: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings

Katja Gilly Couverture souple
102,50 $
2 formats offerts
Dependable Computing - EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceeding: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings

Rasmus Adler Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Paolo Masci Couverture souple
175,50 $
2 formats offerts
Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers

Jean-Christophe Deneuville Couverture souple
87,95 $
2 formats offerts
High Performance Computing: 9th Latin American Conference, CARLA 2022, Porto Alegre, Brazil, September 26-30, 2022, Revised Selected Papers

Philippe Navaux Couverture souple
102,50 $
2 formats offerts
Trustworthy Federated Learning: First International Workshop, FL 2022, Held in Conjunction with IJCAI 2022, Vienna, Austria, July 23, 2022, Revised Selected Papers

Randy Goebel Couverture souple
87,95 $
2 formats offerts
Advances in Digital Forensics XVIII: 18th IFIP WG 11.9 International Conference, Virtual Event, January 3-4, 2022, Revised Selected Papers

Gilbert Peterson Couverture souple
145,95 $
Advances in Digital Forensics XVII: 17th IFIP WG 11.9 International Conference, Virtual Event, February 1-2, 2021, Revised Selected Papers

Gilbert Peterson Couverture souple
204,50 $
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Loek Cleophas Couverture souple
80,50 $
2 formats offerts
History of Nordic Computing 4: 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers

Christian Gram Couverture rigide
80,50 $
2 formats offerts
High Performance Computing: 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012. Revised Selected Pape: 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012. Revised Selected Papers

Yunquan Zhang Couverture souple
80,50 $
Social Media Retrieval and Mining: ADMA 2012 Workshops, SNAM 2012 and SMR 2012, Nanjing, China, December 15-18, 2012. Revised Selected Papers

Shuigeng Zhou Couverture souple
80,50 $
2 formats offerts
Data Mining: 19th Australasian Conference on Data Mining, AusDM 2021, Brisbane, QLD, Australia, December 14-15, 2021, Proceedings

Yue Xu Couverture souple
124,50 $
2 formats offerts
Human Brain and Artificial Intelligence: Second International Workshop, HBAI 2020, Held in Conjunction with IJCAI-PRICAI 2020, Yokohama, Japan, January 7, 2021, Revised Selected Papers

Yueming Wang Couverture souple
80,50 $
2 formats offerts
Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers

Santosh Pande Couverture souple
80,50 $
2 formats offerts
Code-Based Cryptography: 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers

Antonia Wachter-zeh Couverture souple
87,95 $
2 formats offerts
Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceeding: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Jeremy Gibbons Couverture souple
102,50 $
2 formats offerts
Search-Based Software Engineering: 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Gunel Jahangirova Couverture souple
80,50 $
2 formats offerts
Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Sridutt Bhalachandra Couverture souple
87,95 $
2 formats offerts

Évaluation éditoriale

marco autili

Auteur

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Paolo Masci Couverture souple
175,50 $
2 formats offerts
Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Lodovica Marchesi Couverture souple
72,95 $
Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Luca Ardito Couverture souple
102,50 $
2 formats offerts
Geomatics for Environmental Monitoring: From Data to Services: 26th Italian Conference, ASITA 2023, Virtual Event, December 18-20, 2023, Revised Selected Papers

Enrico Borgogno Mondino Couverture souple
124,50 $
2 formats offerts
Product-focused Software Process Improvement: 21st International Conference, Profes 2020, Turin, Italy, November 25-27, 2020, Proceedings

Maurizio Morisio Couverture souple
80,50 $
2 formats offerts
Mining Data For Financial Applications: 4th Ecml Pkdd Workshop, Midas 2019, Wurzburg, Germany, September 16, 2019, Revised Selected Papers

Valerio Bitetta Couverture souple
80,50 $
2 formats offerts
Mining Data For Financial Applications: 5th Ecml Pkdd Workshop, Midas 2020, Ghent, Belgium, September 18, 2020, Revised Selected Papers

Valerio Bitetta Couverture souple
87,95 $
2 formats offerts
Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Vaxjo, Sweden, September 13-17, 2021, Revised Selected Papers

Patrizia Scandurra Couverture souple
80,50 $
2 formats offerts
Current Trends in Web Engineering: ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers

Giuseppe Agapito Couverture souple
102,50 $
2 formats offerts
Geomatics And Geospatial Technologies: 24th Italian Conference, Asita 2021, Genoa, Italy, July 1-2, 9, 16, 23, 2021, Proceedings

Enrico Borgogno-mondino Couverture souple
102,50 $
2 formats offerts
Geomatics for Environmental Monitoring: From Data to Services: 26th Italian Conference, ASITA 2023, Virtual Event, December 18-20, 2023, Revised Selected Papers

Enrico Borgogno Mondino Couverture souple
72,95 $
New Frontiers in Mining Complex Patterns: 8th International Workshop, NFMCP 2019, Held in Conjunction with ECML-PKDD 2019, Wurzburg, Germany, September 16, 2019, Revised Selected Papers

Michelangelo Ceci Couverture souple
80,50 $
2 formats offerts
Innovative Security Solutions for Information Technology and Communications: 15th International Conference, SecITC 2022, Virtual Event, December 8-9, 2022, Revised Selected Papers

Giampaolo Bella Couverture souple
124,50 $
2 formats offerts
Computational Intelligence Methods for Bioinformatics and Biostatistics: 7th International Meeting, CIBIB 2010, Palermo, Italy, September 16-18, 2010, Revised Selected Papers

Riccardo Rizzo Couverture souple
80,50 $
Constructive Side-Channel Analysis and Secure Design: 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1-3, 2020, Revised Selected Papers

Guido Marco Bertoni Couverture souple
80,50 $
2 formats offerts
Emerging Technologies for Authorization and Authentication: 5th International Workshop, ETAA 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers

Andrea Saracino Couverture souple
87,95 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Nazim Madhavji Couverture souple
80,50 $
2 formats offerts
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 Couverture souple
109,50 $
2 formats offerts
Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Andrea Bondavalli Couverture souple
80,50 $
Adaptive and Natural Computing Algorithms: 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Marco Tomassini Couverture souple
80,50 $

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedin: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings

Dependable Computing - EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceeding: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers

High Performance Computing: 9th Latin American Conference, CARLA 2022, Porto Alegre, Brazil, September 26-30, 2022, Revised Selected Papers

Trustworthy Federated Learning: First International Workshop, FL 2022, Held in Conjunction with IJCAI 2022, Vienna, Austria, July 23, 2022, Revised Selected Papers

Advances in Digital Forensics XVIII: 18th IFIP WG 11.9 International Conference, Virtual Event, January 3-4, 2022, Revised Selected Papers

Advances in Digital Forensics XVII: 17th IFIP WG 11.9 International Conference, Virtual Event, February 1-2, 2021, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

History of Nordic Computing 4: 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers

High Performance Computing: 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012. Revised Selected Pape: 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012. Revised Selected Papers

Social Media Retrieval and Mining: ADMA 2012 Workshops, SNAM 2012 and SMR 2012, Nanjing, China, December 15-18, 2012. Revised Selected Papers

Data Mining: 19th Australasian Conference on Data Mining, AusDM 2021, Brisbane, QLD, Australia, December 14-15, 2021, Proceedings

Human Brain and Artificial Intelligence: Second International Workshop, HBAI 2020, Held in Conjunction with IJCAI-PRICAI 2020, Yokohama, Japan, January 7, 2021, Revised Selected Papers

Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers

Code-Based Cryptography: 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers

Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceeding: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Search-Based Software Engineering: 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Geomatics for Environmental Monitoring: From Data to Services: 26th Italian Conference, ASITA 2023, Virtual Event, December 18-20, 2023, Revised Selected Papers

Product-focused Software Process Improvement: 21st International Conference, Profes 2020, Turin, Italy, November 25-27, 2020, Proceedings

Mining Data For Financial Applications: 4th Ecml Pkdd Workshop, Midas 2019, Wurzburg, Germany, September 16, 2019, Revised Selected Papers

Mining Data For Financial Applications: 5th Ecml Pkdd Workshop, Midas 2020, Ghent, Belgium, September 18, 2020, Revised Selected Papers

Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Vaxjo, Sweden, September 13-17, 2021, Revised Selected Papers

Current Trends in Web Engineering: ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers

Geomatics And Geospatial Technologies: 24th Italian Conference, Asita 2021, Genoa, Italy, July 1-2, 9, 16, 23, 2021, Proceedings

Geomatics for Environmental Monitoring: From Data to Services: 26th Italian Conference, ASITA 2023, Virtual Event, December 18-20, 2023, Revised Selected Papers

New Frontiers in Mining Complex Patterns: 8th International Workshop, NFMCP 2019, Held in Conjunction with ECML-PKDD 2019, Wurzburg, Germany, September 16, 2019, Revised Selected Papers

Innovative Security Solutions for Information Technology and Communications: 15th International Conference, SecITC 2022, Virtual Event, December 8-9, 2022, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics: 7th International Meeting, CIBIB 2010, Palermo, Italy, September 16-18, 2010, Revised Selected Papers

Constructive Side-Channel Analysis and Secure Design: 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1-3, 2020, Revised Selected Papers

Emerging Technologies for Authorization and Authentication: 5th International Workshop, ETAA 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers

Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

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

Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Adaptive and Natural Computing Algorithms: 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings