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...Daugiau...
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...Daugiau...
This book gathers selected peer-reviewed papers presented at the 6th European Lean Educator Conference (ELEC), held in Milan, Italy, on November 11-13, 2019. The conference topics include the following: lean trainings in university and industry co...Daugiau...
This book gathers selected peer-reviewed papers presented at the 6th European Lean Educator Conference (ELEC), held in Milan, Italy, on November 11-13, 2019. The conference topics include the following: lean trainings in university and industry co...Daugiau...
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...Daugiau...
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...Daugiau...
(Išleidimo metai: 19-Jul-2016, Hardback, Leidėjas: Cambridge University Press, ISBN-13: 9781107079496)
This book covers the modeling, analysis and mining of systems made of multilayer social networks, from groups of individuals connected through different types of relationships to large systems of multiple online social network sites. A range of prac...Daugiau...
This book covers the modeling, analysis and mining of systems made of multilayer social networks, from groups of individuals connected through different types of relationships to large systems of multiple online social network sites. A range of prac...Daugiau...
Globalization stems from the verb to globalize, which embodies the concept of international interdependence and influence between various social and economic systems. In an increasingly globalized market environment, there is an impetus for many f...Daugiau...
Il presente testo contiene gli atti del convegno tenutosi a Terni il 7 Ottobre 2017 , relativo alla Campagna dellagro romano per la conquista di Roma da parte dellesercito garibaldino nel 1867....Daugiau...
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Serija: Monographs in Theoretical Computer Science. An EATCS Series
(Išleidimo metai: 09-Nov-2014, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642431364)
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...Daugiau...
As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise. The Handbook of Research on Embedded Systems De...Daugiau...
