Home Advanced Search
Advanced Search - Page 1
Lectures on Runtime Verification: Introductory and Advanced Topics
- EPUB
- English
- Year: 2018
- Author: Bartocci, Ezio.;Falcone, Yliès
Lectures on Runtime Verification: Introductory and Advanced Topics
- English
- Year: 2018
- Author: Ezio Bartocci,Yliès Falcone (eds.)
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)
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.)
Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings
- English
- Year: 2015
- Author: Ezio Bartocci, Rupak Majumdar (eds.)
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
- English
- Year: 2019
- Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Auctioned to the Greek Billionaire (The Highest Bidder Book 1)
- EPUB
- English
- Year: 2019
- Author: Carmen Falcone [Falcone, Carmen]
Capire la scienza. Gauss, Riemann, Poincaré e Hilbert. La matematica diventa scienza
- Italian
- Year: 2012
- Author: Claudio Bartocci
La Matematica Vol.1. I tempi e i luoghi
- Italian
- Author: Odifreddi, Bartocci
La Matematica Vol.2. Problemi e teoremi.
- Italian
- Author: Odifreddi, Bartocci