Laure Petrucci – författare
Visar alla böcker från författaren Laure Petrucci. Handla med fri frakt och snabb leverans.
16 produkter
Distibuted Systems
Design and Algorithms
Av Laure Petrucci, Laurent Pautet m. fl.
E-bok, 2013
2399 kr
Lägg i varukorg
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues. …
Distibuted Systems
Design and Algorithms
Av Laure Petrucci, Laurent Pautet m. fl.
E-bok, 2013
2347 kr
Lägg i varukorg
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues. …
Models and Analysis for Distributed Systems
Av Laure Petrucci, Laurent Pautet m. fl.
E-bok, 2013
2399 kr
Lägg i varukorg
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the …
Models and Analysis for Distributed Systems
Av Laure Petrucci, Laurent Pautet m. fl.
E-bok, 2013
2347 kr
Lägg i varukorg
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the …
Distibuted Systems
Design and Algorithms
Av Serge Haddad, Fabrice Kordon m. fl.
Inbunden, 2011
2106 kr
Lägg i varukorg
In today's digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems.Distributed Systems introduces the underlying concepts, the associated design techniques and the related security …
Models and Analysis for Distributed Systems
Av Serge Haddad, Fabrice Kordon m. fl.
Inbunden, 2011
2014 kr
Lägg i varukorg
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the …
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
Av Luca Bernardinello, Laure Petrucci
Häftad, 2022
848 kr
Lägg i varukorg
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers …
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
Av Laure Petrucci, Luca Bernardinello
E-bok, 2022
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021. The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The …
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
Av Laure Petrucci, Jeremy Sproston
Häftad, 2023
624 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The …
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
Av Jeremy Sproston, Laure Petrucci
E-bok, 2023
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The …
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Av Laure Petrucci, Cristina Seceleanu m. fl.
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers …
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Av Ana Cavalcanti, Cristina Seceleanu m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers …
Application and Theory of Petri Nets
32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
Av Lars M. Kristensen, Laure Petrucci
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected …
Application and Theory of Petri Nets
32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
Av Laure Petrucci, Lars M. Kristensen
E-bok, 2011
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected …
Transactions on Petri Nets and Other Models of Concurrency XVIII
Av Fabrice Kordon, Laure Petrucci m. fl.
Häftad, 2026
848 kr
Lägg i varukorg
The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023. The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent …
Transactions on Petri Nets and Other Models of Concurrency XVIII
Av Lukasz Mikulski, Maciej Koutny m. fl.
E-bok, 2026
1091 kr
Lägg i varukorg
The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023. The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent …
