Passer au contenu principal Passer au contenu du pied de page

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Édition : Kristin Yvonne Rozier , Matteo Pradella

11 septembre 2024

72,95 $

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 365 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

680

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031711619

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Fundamentals Of Computation Theory: 22nd International Symposium, Fct 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

Leszek Antoni Gäsieniec Couverture souple
80,50 $
2 formats offerts
HCI International 2013 - Posters' Extended Abstracts: International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Constantine Stephanidis Couverture souple
160,95 $
HCI International 2020 - Late Breaking Posters: 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Couverture souple
80,50 $
2 formats offerts
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Masaaki Kurosu Couverture souple
248,50 $
2 formats offerts
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Couverture souple
58,50 $
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Couverture souple
80,50 $
2 formats offerts
Hci International 2020 - Late Breaking Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III

Masaaki Kurosu Couverture souple
248,50 $
2 formats offerts
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
Universal Access in Human-Computer Interaction: 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Margherita Antona Couverture souple
160,95 $
2 formats offerts
HCI International 2020 - Late Breaking Papers: Virtual and Augmented Reality: 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
Structural Information And Communication Complexity: 27th International Colloquium, Sirocco 2020, Paderborn, Germany, June 29-july 1, 2020, Proceedings

Andrea Werneck Richa Couverture souple
80,50 $
2 formats offerts
Algorithmic Game Theory: 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings

Giuseppe Persiano Couverture souple
80,50 $
Machines, Computations, and Universality: 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings

J Durand-Lose Couverture souple
262,95 $
2 formats offerts
Distributed, Ambient and Pervasive Interactions: 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Norbert A. Streitz Couverture souple
131,50 $
2 formats offerts
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV

Masaaki Kurosu Couverture souple
204,50 $
2 formats offerts
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Masaaki Kurosu Couverture souple
160,95 $
2 formats offerts
Static Analysis: 16th International Symposium, Sas 2009, Los Angeles, Ca, Usa, August 9-11, 2009, Proceedings

Jens Palsberg Couverture souple
80,50 $

Évaluation éditoriale

kristin yvonne rozier

Auteur

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Andre Platzer Couverture souple
248,50 $
2 formats offerts
Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Henning Fernau Couverture souple
116,95 $
2 formats offerts
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings

Claudio Antares Mezzina Couverture souple
102,50 $
2 formats offerts
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
2 formats offerts
Reachability Problems: 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Laura Kov Couverture souple
94,95 $
2 formats offerts
Applications of Evolutionary Computation: 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings

Juan Luis Jiménez Laredo Couverture souple
248,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Couverture souple
80,50 $
2 formats offerts
Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings

Luca Di Gaspero Couverture souple
131,50 $
2 formats offerts
Reversible Computation: 16th International Conference, RC 2024, ToruA, Poland, July 4-5, 2024, Proceedings

Torben Ægidius Mogensen Couverture souple
94,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
String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Franco Maria Nardini Couverture souple
109,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Couverture souple
94,95 $
2 formats offerts
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Couverture souple
124,50 $
2 formats offerts
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Couverture souple
145,95 $
2 formats offerts
Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5-7, 2022, Proceedings

Tomá Skopal Couverture souple
80,50 $
2 formats offerts
Evolutionary Computation in Combinatorial Optimization: 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings

Leslie Pérez C Couverture souple
160,95 $
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
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings

Pascal Caron Couverture souple
102,50 $
2 formats offerts
Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings

Daniela Genova Couverture souple
102,50 $
2 formats offerts