KIRJAUDU

ostoskori

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Matteo Rossi | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 19 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL METHODS - 26TH INTERNATIONAL SYMPOSIUM, FM 2024, MILAN, ITALY, SEPTEMBER 9–13, 2024, PROCEEDINGS, PART I

André Platzer; Kristin Yvonne Rozier; Matteo Pradella; Matteo Rossi
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

41,40 €

FORMAL METHODS - 26TH INTERNATIONAL SYMPOSIUM, FM 2024, MILAN, ITALY, SEPTEMBER 9–13, 2024, PROCEEDINGS, PART II

Andre Platzer; Kristin Yvonne Rozier; Matteo Pradella; Matteo Rossi
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

134,60 €

SOLAR SYSTEM - STRUCTURE, FORMATION & EXPLORATION

Matteo Rossi
Nova Science Publishers Inc (2011)
Kovakantinen kirja

210,20 €

DIPLOMAZIA E SVILUPPO. GLI STATI UNITI E L'INDIA, 1947-70

Matteo Rossini
Linea Edizioni (2017)
Pehmeäkantinen kirja

49,20 €

PIETRE GRIGIO (DI) GENOVA

Matteo Aldo Maria Rossi
ERGA (2017)
Pehmeäkantinen kirja

30,80 €

PROCEEDINGS OF THE 6TH EUROPEAN LEAN EDUCATOR CONFERENCE : ELEC 2019

Monica Rossi (ed.); Matteo Rossini (ed.); Sergio Terzi (ed.)
Springer (2020)
Kovakantinen kirja

179,00 €

PROCEEDINGS OF THE 6TH EUROPEAN LEAN EDUCATOR CONFERENCE : ELEC 2019

Monica Rossi (ed.); Matteo Rossini (ed.); Sergio Terzi (ed.)
Springer (2021)
Pehmeäkantinen kirja

179,00 €

CINQUE NOTE PER SEI CORDE : ELECTRIC GUITAR : BOOK AND CD

Matteo de Rossi
Sinfonica
Pehmeäkantinen kirja

29,30 €

MODELING TIME IN COMPUTING

Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Kovakantinen kirja

51,40 €

MODELING TIME IN COMPUTING

Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

51,40 €

HANDBOOK OF RESEARCH ON EMBEDDED SYSTEMS DESIGN

Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi
Idea Group,U.S. (2014)
Kovakantinen kirja

403,80 €

MULTILAYER SOCIAL NETWORKS

Mark E. Dickison; Matteo Magnani; Luca Rossi
Cambridge University Press (2016)
Kovakantinen kirja

103,80 €

MULTILAYER SOCIAL NETWORKS

Mark E. Dickison; Matteo Magnani; Luca Rossi
Cambridge University Press (2016)
Pehmeäkantinen kirja

44,20 €

SOFT ROBOTICS: TRENDS, APPLICATIONS AND CHALLENGES - PROCEEDINGS OF THE SOFT ROBOTICS WEEK, APRIL 25-30, 2016, LIVORNO, ITALY

Cecilia Laschi; Jonathan Rossiter; Fumiya Iida; Matteo Cianchetti; Laura Margheri
Springer International Publishing AG (2016)
Kovakantinen kirja

179,00 €

VIOLENZA SESSUALE. DINIEGO E MINIMIZZAZIONE

Anna Lamberti Bocconi; Matteo Rossi-Renier
Alpes Italia (2016)
Pehmeäkantinen kirja

43,30 €

ELECTRIC VEHICLE SHARING SERVICES FOR SMARTER CITIES : THE GREEN MOVE PROJECT FOR MILAN: FROM SERVICE DESIGN TO TECHNOLOGY DEPLO

Daniele Fabrizio Bignami (ed.); Alberto Colorni Vitale (ed.); Alessandro Lué (ed.); Roberto Nocerino (ed.); Matteo (e Rossi
Springer (2017)
Kovakantinen kirja

101,40 €

ADOLESCENZA E DROGA. UNO STUDIO SOCIOLOGICO, NEUROSCIENTIFICO, PSICOLOGICO E GIURIDICO

Anna Lamberti-Bocconi; Matteo Rossi-Renier
Alpes Italia (2017)
Pehmeäkantinen kirja

47,70 €

ELECTRIC VEHICLE SHARING SERVICES FOR SMARTER CITIES - THE GREEN MOVE PROJECT FOR MILAN: FROM SERVICE DESIGN TO TECHNOLOGY DEPLO

Daniele Fabrizio Bignami; Alberto Colorni Vitale; Alessandro Lué; Roberto Nocerino; Matteo Rossi; Sergio Matteo Savaresi
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

111,40 €

SOFT ROBOTICS: TRENDS, APPLICATIONS AND CHALLENGES - PROCEEDINGS OF THE SOFT ROBOTICS WEEK, APRIL 25-30, 2016, LIVORNO, ITALY

Cecilia Laschi; Jonathan Rossiter; Fumiya Iida; Matteo Cianchetti; Laura Margheri
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

179,00 €

Hae lisää...

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

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

41,40 €

Springer International Publishing AG
Sivumäärä: 680 sivua
Asu: Pehmeäkantinen kirja
Painos: 2025 ed.
Julkaisuvuosi: 2024, 11.09.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 14933

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.

The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:

Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;

Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus