Søkt på: Søkeresultat
totalt 22 treff
Java Software Development with Event B
The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early …
Technologies and Innovation
This book constitutes the proceedings of the Third International Conference on Technologies and Innovation, CITI 2017, held in Guayaquil, Ecuador, in October 2017. The 24 papers …
Electrochemistry and Corrosion Science
The second edition of this textbook includes refined text in each chapter, new sections on corrosion of steel-reinforced concrete and on cathodic protection of steel reinforced …
Technologies and Innovation
This book constitutes the refereed proceedings of the 8th International Conference, CITI 2022, held in Guayaquil, Ecuador, during November 14-17, 2022.The 19 full papers included …
Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems
This book constitutes the refereed proceedings of the nine workshops co-located with the 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, …
Technologies and Innovation
This book constitutes the refereed proceedings of the Second International Conference on Technologies and Innovation, CITI 2016, held in Guayaquil, Ecuador, in November 2016.The 21 …
Technologies and Innovation
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 …
Applications and Usability of Interactive TV
This book constitutes the refereed proceedings of the 7th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2018, in Bernal, Argentina, in …
Fracture Mechanics
The second edition of this textbook includes a refined presentation of concepts in each chapter, additional examples; new problems and sections, such as conformal mapping and …
ICT for Agriculture and Environment
This book offers a remarkable collection of chapters covering a wide range of topics related to ICT applications in agriculture and the environment. It gathers the proceedings of …