Skip to main content Skip to footer content

Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Christel Seguin Edited by Marc Zeller , Tatiana Prosvirnova

Sep 09, 2022

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

267

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031158414

Conceptual Modeling: 39th International Conference, Er 2020, Vienna, Austria, November 3-6, 2020, Proceedings

Gillian Dobbie Paperback
$80.50
2 formats available
End-user Development: 8th International Symposium, Is-eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Daniela Fogli Paperback
$80.50
2 formats available
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 Paperback
$145.95
2 formats available
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Paperback
$80.50
2 formats available
HCI International 2020 - Late Breaking Papers: Digital Human Modeling and Ergonomics, Mobility and Intelligent Environments: 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Constantine Stephanidis Paperback
$160.95
2 formats available
Model-based Safety And Assessment: 7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

Marc Zeller Paperback
$102.50
2 formats available
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 Paperback
$145.95
2 formats available
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 Paperback
$131.50
2 formats available
Conceptual Modeling - ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings

Jeffrey Parsons Paperback
$80.50
Information Security in Research and Business: Proceedings of the IFIP TC11 13th international conference on Information Security (SEC '97): 14-16 May 1997, Copenhagen, Denmark

Louise Yngstr Paperback
$321.50
2 formats available
Artificial Intelligence Applications and Innovations. AIAI 2022 IFIP WG 12.5 International Workshops: MHDW 2022, 5G-PINE 2022, AIBMG 2022, ML@HC 2022, and AIBEI 2022, Hersonissos, Crete, Greece, June 17-20, 2022, Proceedings

Ilias Maglogiannis Hardcover
$204.50
2 formats available
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 Paperback
$124.50
2 formats available
Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

João Paulo A. Almeida Paperback
$116.95
2 formats available
Human Interface and the Management of Information: Applications and Services: 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016. Proceedings, Part II

Sakae Yamamoto Paperback
$80.50
2 formats available
Artificial Intelligence Applications and Innovations. AIAI 2022 IFIP WG 12.5 International Workshops: MHDW 2022, 5G-PINE 2022, AIBMG 2022, ML@HC 2022, and AIBEI 2022, Hersonissos, Crete, Greece, June 17-20, 2022, Proceedings

Ilias Maglogiannis Paperback
$204.50
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 Paperback
$160.95
Engineering Psychology and Cognitive Ergonomics: 19th International Conference, EPCE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Don Harris Paperback
$145.95
2 formats available
Intelligence of Things: Technologies and Applications: The First International Conference on Intelligence of Things (ICIT 2022), Hanoi, Vietnam, August 17-19, 2022, Proceedings

Ngoc-thanh Nguyen Paperback
$248.50
2 formats available
Proceedings of the 21st Congress of the International Ergonomics Association (Iea 2021): Volume III: Sector Based Ergonomics

Nancy L. Black Paperback
$364.95
2 formats available
Adaptive Instructional Systems: Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Robert A. Sottilare Paperback
$131.50
2 formats available

Editorial reviews

marc zeller

Author

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Paperback
$80.50
2 formats available
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings

Emanuele De Angelis Paperback
$87.95
2 formats available
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Paperback
$109.50
2 formats available
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Paperback
$142.95
2 formats available
Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Michael Emmerich Paperback
$145.95
2 formats available
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles Paperback
$94.95
2 formats available
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Paperback
$116.95
2 formats available
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Nils Jansen Paperback
$109.50
2 formats available
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Paperback
$94.95
2 formats available
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Paperback
$116.95
2 formats available
Constructive Side-Channel Analysis and Secure Design: 14th International Workshop, Cosade 2023, Munich, Germany, April 3-4, 2023, Proceedings

Paperback
$90.95
2 formats available
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Alicia Villanueva Paperback
$87.95
2 formats available
Structural Information and Communication Complexity: 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings

Merav Parter Paperback
$124.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Paperback
$80.50
2 formats available
String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Franco Maria Nardini Paperback
$109.50
2 formats available
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Paperback
$80.50
2 formats available
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Birgit Milius Paperback
$94.95
2 formats available
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Paperback
$116.95
2 formats available
Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings

Mario Trapp Paperback
$102.50
2 formats available
Biomedical Image Registration: 10th International Workshop, WBIR 2022, Munich, Germany, July 10-12, 2022, Proceedings

Alessa Hering Paperback
$116.95
2 formats available