Home Advanced Search
Advanced Search - Page 1
Distibuted Systems: Design and Algorithms
- English
- Year: 2011
- Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
- English
- Year: 2022
- Author: Luca Bernardinello, Laure Petrucci
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
- English
- Year: 2019
- Author: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
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
- English
- Year: 2017
- Author: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)
Applying Data Science: How to Create Value with Artificial Intelligence
- EPUB
- English
- Author: Arthur K Kordon
Applying Data Science: How to Create Value with Artificial Intelligence
- English
- Year: 2020
- Author: Arthur K. Kordon