Home Advanced Search
Advanced Search - Page 1
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
- English
- Year: 2016
- Author: Yliès Falcone, César Sánchez (eds.)
Lectures on Runtime Verification: Introductory and Advanced Topics
- English
- Year: 2018
- Author: Ezio Bartocci,Yliès Falcone (eds.)
Lectures on Runtime Verification: Introductory and Advanced Topics
- EPUB
- English
- Year: 2018
- Author: Bartocci, Ezio.;Falcone, Yliès
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
- English
- Year: 2021
- Author: Ezio Bartocci (editor), Yliès Falcone (editor), Martin Leucker (editor)
Auctioned to the Greek Billionaire (The Highest Bidder Book 1)
- EPUB
- English
- Year: 2019
- Author: Carmen Falcone [Falcone, Carmen]
Leukemia Stem Cells: Methods and Protocols
- EPUB
- English
- Year: 2020
- Author: César Cobaleda, Isidro Sánchez-García
Leukemia Stem Cells: Methods and Protocols
- EPUB
- English
- Year: 2020
- Author: César Cobaleda, Isidro Sánchez-García
Leukemia Stem Cells: Methods and Protocols
- English
- Year: 2021
- Author: César Cobaleda, Isidro Sánchez-García
Effective Hiring: Mastering the Interview, Offer, and Onboarding
- EPUB
- English
- Year: 2022
- Author: Paul Falcone
Leadership Offense: Mastering Appraisal, Performance, and Professional Development
- EPUB
- English
- Year: 2022
- Author: Paul Falcone