Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Name: Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers
Price: 116.95 CAD
Availability: InStock
Author: Martin Steffen
ISBN: 9783030575052

Javier Camara Édition : Martin Steffen

10 septembre 2020

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

Description

Langue

anglais

Pages

277

Programming and Software Engineering

Publié par: Springer Nature

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

ISBN: 9783030575052

DNA Computing: 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers

Natasa Jonoska Couverture souple
80,50 $
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: MTSAIL 2023, LEAF 2023, AI4Treat 2023, MMMI 2023, REMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Jonghye Woo Couverture souple
109,50 $
2 formats offerts
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: MTSAIL 2023, LEAF 2023, AI4Treat 2023, MMMI 2023, REMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Jonghye Woo Couverture souple
58,50 $
Domain Adaptation and Representation Transfer: 5th MICCAI Workshop, DART 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Lisa Koch Couverture souple
80,50 $
2 formats offerts
Current Trends in Web Engineering: ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Daejeon, South Korea, June 11, 2019, Proceedings

Marco Brambilla Couverture souple
80,50 $
2 formats offerts
Algorithmic Aspects of Cloud Computing: 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers

Gianlorenzo D'angelo Couverture souple
87,95 $
2 formats offerts
Neural Information Processing: 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part V

Tom Gedeon Couverture souple
160,95 $
2 formats offerts
Quantum Interaction: 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Harald Atmanspacher Couverture souple
80,50 $
2 formats offerts
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen Couverture souple
80,50 $
Pattern Recognition And Machine Intelligence: 8th International Conference, Premi 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I

Bhabesh Deka Couverture souple
80,50 $
2 formats offerts
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops: ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings

Parimala Thulasiraman Couverture souple
160,95 $
Computer Vision and Image Processing: 4th International Conference, CVIP 2019, Jaipur, India, September 27-29, 2019, Revised Selected Papers, Part II

Neeta Nain Couverture souple
160,95 $
2 formats offerts
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: ISIC 2023, Care-AI 2023, MedAGI 2023, DeCaF 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Emre Celebi Couverture souple
109,50 $
2 formats offerts
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: ISIC 2023, Care-AI 2023, MedAGI 2023, DeCaF 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

M. Emre Celebi Couverture souple
58,50 $
Head and Neck Tumor Segmentation: First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings

Vincent Andrearczyk 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
Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

George Eleftherakis Couverture rigide
80,50 $
Data Augmentation, Labelling, and Imperfections: Third MICCAI Workshop, DALI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Yuan Xue Couverture souple
72,95 $
Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings

Paolo Boldi Couverture souple
80,50 $
Fun with Algorithms: 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

Pierluigi Crescenzi Couverture souple
80,50 $

Évaluation éditoriale

martin steffen

Auteur

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
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
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Antonio Cerone Couverture souple
80,50 $
2 formats offerts
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
65,95 $
2 formats offerts
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 $
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Emil Sekerinski Couverture souple
80,50 $
2 formats offerts
Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Iris Reinhartz-berger Couverture souple
87,95 $
2 formats offerts
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Kerstin Eder Couverture souple
105,50 $
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti Couverture souple
80,50 $
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Manuel Mazzara Couverture souple
80,50 $
2 formats offerts
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Couverture souple
80,50 $
2 formats offerts
Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

Georg Grossmann Couverture souple
80,50 $
2 formats offerts
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

Julia M. Badger Couverture souple
109,50 $
2 formats offerts
Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Couverture souple
116,95 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Gwen Sala Couverture souple
80,50 $
Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers

Couverture souple
80,50 $
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Couverture souple
116,95 $
2 formats offerts
Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Christian Attiogb Couverture souple
80,50 $
2 formats offerts
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii

Emil Sekerinski Couverture souple
80,50 $
2 formats offerts

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Description

Vous aimerez peut-être aussi

DNA Computing: 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: MTSAIL 2023, LEAF 2023, AI4Treat 2023, MMMI 2023, REMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: MTSAIL 2023, LEAF 2023, AI4Treat 2023, MMMI 2023, REMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Domain Adaptation and Representation Transfer: 5th MICCAI Workshop, DART 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Current Trends in Web Engineering: ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Daejeon, South Korea, June 11, 2019, Proceedings

Algorithmic Aspects of Cloud Computing: 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers

Neural Information Processing: 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part V

Quantum Interaction: 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Pattern Recognition And Machine Intelligence: 8th International Conference, Premi 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops: ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings

Computer Vision and Image Processing: 4th International Conference, CVIP 2019, Jaipur, India, September 27-29, 2019, Revised Selected Papers, Part II

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: ISIC 2023, Care-AI 2023, MedAGI 2023, DeCaF 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 Workshops: ISIC 2023, Care-AI 2023, MedAGI 2023, DeCaF 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8-12, 2023, Proceedings

Head and Neck Tumor Segmentation: First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings

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

Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

Data Augmentation, Labelling, and Imperfections: Third MICCAI Workshop, DALI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings

Fun with Algorithms: 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

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

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

Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers

Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii