Passer au contenu principal Passer au contenu du pied de page

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

Christel Seguin Édition : Marc Zeller , Tatiana Prosvirnova

9 septembre 2022

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

267

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031158414

HCI in Mobility, Transport, and Automotive Systems. Driving Behavior, Urban and Smart Mobility: Second International Conference, MobiTAS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Heidi Krömker Couverture souple
116,95 $
2 formats offerts
Engineering Psychology and Cognitive Ergonomics: 18th International Conference, EPCE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Don Harris Couverture souple
80,50 $
2 formats offerts
International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

Farhad Arbab Couverture rigide
80,50 $
Conceptual Modeling - ER 2013: 32th International Conference, Er 2013hong-kong, China, November 11-13, 2013, Proceedings

Wilfred Ng Couverture souple
80,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 Couverture souple
160,95 $
Social Computing and Social Media: Experience Design and Social Network Analysis: 13th International Conference, SCSM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Gabriele Meiselwitz Couverture souple
80,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 $
Learning and Collaboration Technologies: 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Panayiotis Zaphiris Couverture souple
145,95 $
2 formats offerts
Oois'97: 1997 International Conference on Object Oriented Information Systems 10-12 November 1997, Brisbane Proceedings

Couverture souple
142,95 $
Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Dominik Åläzak Couverture souple
80,50 $
Learning and Collaboration Technologies: 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Panayiotis Zaphiris Couverture souple
160,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 $
Social Computing and Social Media: Design, User Experience and Impact: 14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Gabriele Meiselwitz Couverture souple
160,95 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Nazim Madhavji Couverture souple
80,50 $
2 formats offerts
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 Couverture souple
160,95 $
2 formats offerts
Learning and Collaboration Technologies. Human and Technology Ecosystems: 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Panayiotis Zaphiris Couverture souple
80,50 $
2 formats offerts
Developments in Language Theory: 27th International Conference, DLT 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Frank Drewes Couverture souple
102,50 $
2 formats offerts
Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

Nata Jonoska Couverture souple
80,50 $
2 formats offerts
Model-based Safety And Assessment: 7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

Marc Zeller Couverture souple
102,50 $
2 formats offerts
Software Quality: The Next Big Thing in Software Engineering and Quality: 14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17-19, 2022, Proceedings

Daniel Mendez Couverture souple
94,95 $
2 formats offerts

Évaluation éditoriale

marc zeller

Auteur

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
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Couverture souple
109,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Couverture souple
116,95 $
2 formats offerts
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Alicia Villanueva Couverture souple
87,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Couverture souple
87,95 $
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
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
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Couverture souple
80,50 $
2 formats offerts
Computer Safety, Reliability, and Security: 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

Andrea Ceccarelli Couverture souple
94,95 $
2 formats offerts
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
94,95 $
2 formats offerts
Algorithmic Aspects of Cloud Computing: 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers

Luca Foschini Couverture souple
87,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Couverture souple
124,50 $
2 formats offerts
Detection of Intrusions and Malware, and Vulnerability Assessment: 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17-19, 2024, Proceedings

Federico Maggi Couverture souple
131,50 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Alessio Ferrari Couverture souple
124,50 $
2 formats offerts
Constructive Side-Channel Analysis and Secure Design: 14th International Workshop, Cosade 2023, Munich, Germany, April 3-4, 2023, Proceedings

Couverture souple
90,95 $
2 formats offerts
Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Paula Herber Couverture souple
175,50 $
2 formats offerts
Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings

Mario Trapp Couverture souple
102,50 $
2 formats offerts