Passer au contenu principal Passer au contenu du pied de page

Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Édition : Anastasia Mavridou

10 août 2021

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

249

Programming and Software Engineering

Publié par: Springer Nature

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

ISBN: 9783030852474

The Role of AI in Bio-Medical Translations' Research for the Health Care Industry: First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers

Sivaram Ponnusamy Couverture souple
94,95 $
2 formats offerts
The Role of AI in Bio-Medical Translations' Research for the Health Care Industry: First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers

Sivaram Ponnusamy Couverture souple
58,50 $
Recent Trends in Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, Revised Selected Papers

Dmitry I. Ignatov Couverture souple
124,50 $
2 formats offerts
Recent Trends in Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, Revised Selected Papers

Dmitry I. Ignatov Couverture souple
72,95 $
Adaptive Instructional Systems: 5th International Conference, AIS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings

Robert A. Sottilare Couverture souple
124,50 $
2 formats offerts
Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

David Clarke Couverture souple
80,50 $
Recent Trends in AI Enabled Technologies: First International Conference, ThinkAI 2023, Hyderabad, India, December 29, 2023, Revised Selected Papers

Gangamohan Paidi Couverture souple
94,95 $
2 formats offerts
Recent Trends in AI Enabled Technologies: First International Conference, ThinkAI 2023, Hyderabad, India, December 29, 2023, Revised Selected Papers

Gangamohan Paidi Couverture souple
72,95 $
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Couverture souple
80,50 $
2 formats offerts
Deep Learning Theory and Applications: First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers

Ana Fred Couverture souple
102,50 $
2 formats offerts
Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Scott Hissam Couverture rigide
160,95 $
Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV

Constantine Stephanidis Couverture souple
160,95 $
Human Interface and the Management of Information. Information in Intelligent Systems: Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Sakae Yamamoto Couverture souple
131,50 $
2 formats offerts
Distributed, Ambient and Pervasive Interactions: 4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Norbert Streitz Couverture souple
80,50 $
2 formats offerts
Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, 2023, Revised Selected Papers

Dmitry I. Ignatov Couverture souple
109,50 $
2 formats offerts
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Till Mossakowski Couverture souple
80,50 $
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
58,50 $
End-user Development: 8th International Symposium, Is-eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Daniela Fogli Couverture souple
80,50 $
2 formats offerts
Practical Aspects Of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings

Ekaterina Komendantskaya Couverture souple
80,50 $
2 formats offerts
Coordination Models and Languages: 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Ilaria Castellani Couverture souple
72,95 $

Évaluation éditoriale

anastasia mavridou

Auteur

Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings

Jorge Real Couverture souple
80,50 $
Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings

Paolo Ballarini Couverture souple
116,95 $
2 formats offerts
Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

Alfredo Cuzzocrea Couverture souple
80,50 $
Case-based Reasoning Research And Development: 29th International Conference, Iccbr 2021, Salamanca, Spain, September 13-16, 2021, Proceedings

Antonio A. Sánchez-ruiz Couverture souple
124,50 $
2 formats offerts
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Sérgio Campos Couverture souple
87,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 $
Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Mercedes G. Merayo Couverture souple
80,50 $
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Maurizio Gabbrielli Couverture souple
80,50 $
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Gilles Barthe Couverture souple
80,50 $
Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

Gordon Fraser Couverture souple
80,50 $
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Couverture souple
145,95 $
2 formats offerts
Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers: 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

Dietmar Pfahl Couverture souple
80,50 $
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Couverture souple
80,50 $
Reliable Software Technologies - Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Mats Brorsson Couverture souple
80,50 $
Practical Aspects Of Declarative Languages: 23rd International Symposium, Padl 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

José F. Morales Couverture souple
80,50 $
2 formats offerts
Advances In Self-organizing Maps, Learning Vector Quantization, Clustering And Data Visualization: Proceedings Of The 13th International Workshop, Wsom+ 2019, Barcelona, Spain, June 26-28, 2019

Alfredo Vellido Couverture souple
248,50 $
2 formats offerts
Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Istv Majzik Couverture souple
65,95 $
Reversible Computation: 8th International Conference, Rc 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Simon Devitt Couverture souple
80,50 $
2 formats offerts
Product-focused Software Process Improvement: 20th International Conference, Profes 2019, Barcelona, Spain, November 27-29, 2019, Proceedings

Xavier Franch Couverture souple
80,50 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

Alberto Del Pia Couverture souple
131,50 $
2 formats offerts