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

Name: Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Price: 116.95 CAD
Availability: InStock
Author: Marieke Huisman
ISBN: 9783031150074

Jan Friso Groote Édition : Marieke Huisman

12 août 2022

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

245

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031150074

HCI in Business, Government and Organizations: 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Fiona Fui-Hoon Nah Couverture souple
131,50 $
2 formats offerts
HCI in Business, Government and Organizations: 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Fiona Fui-Hoon Nah Couverture souple
145,95 $
2 formats offerts
Collaboration and Technology: 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, Proceedings

Gwendolyn Kolfschoten Couverture souple
80,50 $
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
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Mar Alpuente Couverture souple
80,50 $
Trust, Privacy, and Security in Digital Business: 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings

Steven Furnell Couverture souple
72,95 $
HCI in Business, Government and Organizations: 9th International Conference, HCIBGO 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Fiona Fui-Hoon Nah Couverture souple
145,95 $
2 formats offerts
Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Ii

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
Internationalization, Design and Global Development: 4th International Conference, IDGD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings

P.l.patrick Rau Couverture souple
160,95 $
Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Iii

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings.

Couverture souple
71,50 $
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav Couverture souple
80,50 $
Trust, Privacy and Security in Digital Business: 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings

Stefanos Gritzalis Couverture souple
80,50 $
2 formats offerts
Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings

Diego Calvanese Couverture souple
80,50 $
Critical Information Infrastructures Security: 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012. Revised Selected Papers

Bernhard Hämmerli Couverture souple
72,95 $
Advances in Intelligent Data Analysis XVII: 17th International Symposium, IDA 2018, 's-Hertogenbosch, The Netherlands, October 24-26, 2018, Proceedings

Wouter Duivesteijn Couverture souple
80,50 $
2 formats offerts
Critical Information Infrastructures Security: First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006

Javier Lopez Couverture souple
80,50 $
Hci International 2021 - Late Breaking Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Ii

Constantine Stephanidis Couverture souple
175,50 $
2 formats offerts

Évaluation éditoriale

marieke huisman

Auteur

Distributed Algorithms: 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings

Couverture souple
71,50 $
Informatics in Control, Automation and Robotics: 19th International Conference, ICINCO 2022 Lisbon, Portugal, July 14-16, 2022 Revised Selected Papers

Giuseppina Gini Couverture souple
58,50 $
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Couverture souple
58,50 $
Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Henk Schepers Couverture souple
80,50 $
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
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Nils Jansen Couverture souple
109,50 $
2 formats offerts
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings

Floor Koornneef Couverture souple
80,50 $
Informatics in Control, Automation and Robotics: 19th International Conference, ICINCO 2022 Lisbon, Portugal, July 14-16, 2022 Revised Selected Papers

Giuseppina Gini Couverture souple
291,95 $
2 formats offerts
Symbolic and Quantiative Approaches to Resoning with Uncertainty: 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings

Linda C. van der Gaag Couverture souple
80,50 $
SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings

Leszek Pacholski Couverture souple
80,50 $
Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Henning Bordihn Couverture souple
94,95 $
2 formats offerts
Rough Sets and Current Trends in Computing: 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings

Shusaku Tsumoto Couverture souple
58,50 $
Algorithms in Bioinformatics: 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings

Dan Brown Couverture souple
80,50 $
Constructive Side-Channel Analysis and Secure Design: 13th International Workshop, COSADE 2022, Leuven, Belgium, April 11-12, 2022, Proceedings

Josep Balasch Couverture souple
116,95 $
2 formats offerts
Structural Information And Communication Complexity: 28th International Colloquium, Sirocco 2021, Wrocaaw, Poland, June 28 - July 1, 2021, Proceedings

Tomasz Jurdziåski Couverture souple
80,50 $
2 formats offerts
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Couverture souple
94,95 $
2 formats offerts
Machine Learning and Knowledge Discovery in Databases: European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II

Walter Daelemans Couverture rigide
160,95 $
Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2020, Ghent, Belgium, September 14-18, 2020, Proceedings, Part Ii

Frank Hutter Couverture souple
160,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 Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Description

Vous aimerez peut-être aussi

HCI in Business, Government and Organizations: 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

HCI in Business, Government and Organizations: 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Collaboration and Technology: 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, Proceedings

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

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

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Trust, Privacy, and Security in Digital Business: 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings

HCI in Business, Government and Organizations: 9th International Conference, HCIBGO 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Ii

Internationalization, Design and Global Development: 4th International Conference, IDGD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings

Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Iii

Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings.

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Trust, Privacy and Security in Digital Business: 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings

Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings

Critical Information Infrastructures Security: 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012. Revised Selected Papers

Advances in Intelligent Data Analysis XVII: 17th International Symposium, IDA 2018, 's-Hertogenbosch, The Netherlands, October 24-26, 2018, Proceedings

Critical Information Infrastructures Security: First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006

Hci International 2021 - Late Breaking Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Ii

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Distributed Algorithms: 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings

Informatics in Control, Automation and Robotics: 19th International Conference, ICINCO 2022 Lisbon, Portugal, July 14-16, 2022 Revised Selected Papers

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings

Informatics in Control, Automation and Robotics: 19th International Conference, ICINCO 2022 Lisbon, Portugal, July 14-16, 2022 Revised Selected Papers

Symbolic and Quantiative Approaches to Resoning with Uncertainty: 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings

SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings

Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Rough Sets and Current Trends in Computing: 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings

Algorithms in Bioinformatics: 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings

Constructive Side-Channel Analysis and Secure Design: 13th International Workshop, COSADE 2022, Leuven, Belgium, April 11-12, 2022, Proceedings

Structural Information And Communication Complexity: 28th International Colloquium, Sirocco 2021, Wrocaaw, Poland, June 28 - July 1, 2021, Proceedings

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Machine Learning and Knowledge Discovery in Databases: European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II

Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2020, Ghent, Belgium, September 14-18, 2020, Proceedings, Part Ii

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