Del 14784
Engineering of Complex Computer Systems
Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos
Häftad, 2024
837 kr
Engineering of Complex Computer Systems
28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings
AvGeorge A. Papadopoulos,Yamine Ait-Ameur
E-bok
Engelska, 20241 022 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024.
The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. These papers have been categorized into the following sections: Machine Learning and Complex Systems; Neural Network Verification; A.I. for Software Engineering; Smart Contract; Formal Methods; Security & Program Analysis.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Network and System Security
Suryadipta Majumdar, Cristina Alcaraz, Guangdong Bai, Xingliang Yuan
E-bok
20221 565 kr
Network and System Security : 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings
Xingliang Yuan, Guangdong Bai
650 kr
Distributed Ledger Technology
Naipeng Dong, Babu Pillai, Guangdong Bai, Mark Utting
Häftad, 2024
721 kr
Del 13787
Network and System Security
Xingliang Yuan, Guangdong Bai, Cristina Alcaraz, Suryadipta Majumdar
Häftad, 2022
1 225 kr
Model and Data Engineering
Yamine Ait-Ameur, Jesus M. Almendros Jimenez, Oscar Pastor, Ladjel Bellatreche
E-bok
2016708 kr
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Dominique Mery, Shin Nakajima, Yamine Ait-Ameur
E-bok
20201 317 kr