Constantin Enea – författare
Visar alla böcker från författaren Constantin Enea. Handla med fri frakt och snabb leverans.
10 produkter
Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Av Constantin Enea, Ruzica Piskac
Häftad, 2019
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully …
Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Av Ruzica Piskac, Constantin Enea
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were …
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
Häftad, 2023
457 kr
Lägg i varukorg
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and …
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Häftad, 2023
457 kr
Lägg i varukorg
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and …
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Häftad, 2023
457 kr
Lägg i varukorg
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and …
Networked Systems
12th International Conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, Proceedings
Av Armando Castañeda, Constantin Enea m. fl.
Häftad, 2024
737 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024.The 14 full papers and 3 short papers presented were carefully reviewed and selected from 42 submissions. NETYS aims to bring together …
Networked Systems
12th International Conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, Proceedings
Av Nirupam Gupta, Constantin Enea m. fl.
E-bok, 2024
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 42 submissions. NETYS aims to bring …
