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: 84.99 CAD
Availability: InStock
Author: Jan Friso Groote
ISBN: 9783031150081

Édition : Jan Friso Groote

12 septembre 2022

84,99 $ ~~Réduction sur le prix courant 105,68 $ à~~

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: 9783031150081

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

jan friso groote

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