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

Édition : Christel Seguin

8 septembre 2022

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

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

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

christel seguin

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