Libri di Bernhard Steffen
Tutti i risultati (37)
-
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2025Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane86,30 € -
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,30 € -
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,20 € -
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,90 € -
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,40 € -
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,80 € -
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,30 € -
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,10 € -
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,70 € -
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,10 € -
Computing and Software Science: State of the Art and Perspectives
Venditore: FeltrinelliSpringer International Publishing AG, 2019Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane36,10 € -
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Venditore: FeltrinelliSpringer International Publishing AG, 2018Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane43,50 € -
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,50 € -
Transactions on Foundations for Mastering Change I
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,60 € -
Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane105,20 € -
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane73,50 € -
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane99,40 € -
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane105,60 € -
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane98,80 € -
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane185,20 € -
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane98,60 € -
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Venditore: FeltrinelliSpringer International Publishing AG, 2022Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane122,70 € -
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
Venditore: FeltrinelliSpringer International Publishing AG, 2022Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane85,90 € -
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
Venditore: FeltrinelliSpringer International Publishing AG, 2022Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane98,50 € -
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Venditore: FeltrinelliSpringer International Publishing AG, 2022Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane98,80 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
