Matteo Rossi – författare
Visar alla böcker från författaren Matteo Rossi. Handla med fri frakt och snabb leverans.
12 produkter
Handbook of Research on Embedded Systems Design
Av Alessandra Bagnato, Leandro Soares Indrusiak m. fl.
Inbunden, 2014
4647 kr
Lägg i varukorg
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Av André Platzer, Kristin Yvonne Rozier m. fl.
Häftad, 2024
457 kr
Lägg i varukorg
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 …
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Av Andre Platzer, Kristin Yvonne Rozier m. fl.
Häftad, 2024
1692 kr
Lägg i varukorg
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 …
Nature and Biodiversity Finance
Pricing , Valuation, Tokens, and Assurance
Av Charbel Salloum, Taher Hamza m. fl.
Inbunden, 2027
1694 kr
Kommande
Boards and investors are moving from “why nature” to “how to price, disclose, and invest.” Nature and Biodiversity Finance is a practitioner-oriented, research-grounded guide that shows how nature dependencies and impacts flow into cash-flows, valuations, and portfolio construction. The book …
Sovereign Sustainable Finance
Greening the Treasury-Bonds, Budgets, and Climate Risk
Av Hajer Jarrar, Virginie Hachard m. fl.
Inbunden, 2026
1580 kr
Lägg i varukorg
This book aims to bridge climate risk and public-debt practice. It sets out how to design and execute green and sustainability-linked borrowing; build credible KPIs and targets; verify, report and assure; and deploy disaster or pause clauses where they add value. Moving beyond transactions, it …
Sovereign Sustainable Finance
Greening the Treasury-Bonds, Budgets, and Climate Risk
Av Pascal Nguyen, Matteo Rossi m. fl.
E-bok, 2026
2006 kr
Lägg i varukorg
This book aims to bridge climate risk and public-debt practice. It sets out how to design and execute green and sustainability-linked borrowing; build credible KPIs and targets; verify, report and assure; and deploy disaster or pause clauses where they add value. Moving beyond transactions, it …
Electric Vehicle Sharing Services for Smarter Cities
The Green Move project for Milan: from service design to technology deployment
Av Daniele Fabrizio Bignami, Alberto Colorni Vitale m. fl.
Inbunden, 2017
1098 kr
Lägg i varukorg
This book examines electric car sharing in cities from a variety of perspectives, from service design to simulation, from mathematical modeling to technology deployment, and from energy use improvement to the integration of different kinds of vehicle. The contents reflect the outcomes of the Green …
Electric Vehicle Sharing Services for Smarter Cities
The Green Move project for Milan: from service design to technology deployment
Av Sergio Matteo Savaresi, Matteo Rossi m. fl.
E-bok, 2017
1459 kr
Lägg i varukorg
This book examines electric car sharing in cities from a variety of perspectives, from service design to simulation, from mathematical modeling to technology deployment, and from energy use improvement to the integration of different kinds of vehicle. The contents reflect the outcomes of the Green …
Electric Vehicle Sharing Services for Smarter Cities
The Green Move project for Milan: from service design to technology deployment
Av Daniele Fabrizio Bignami, Alberto Colorni Vitale m. fl.
Häftad, 2018
1207 kr
Lägg i varukorg
This book examines electric car sharing in cities from a variety of perspectives, from service design to simulation, from mathematical modeling to technology deployment, and from energy use improvement to the integration of different kinds of vehicle. The contents reflect the outcomes of the Green …
Modeling Time in Computing
Av Carlo A. Furia, Dino Mandrioli m. fl.
Inbunden, 2012
569 kr
Lägg i varukorg
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic …
Modeling Time in Computing
Av Matteo Rossi, Angelo Morzenti m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic …
Modeling Time in Computing
Av Carlo A. Furia, Dino Mandrioli m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic …
