Home Advanced Search
Advanced Search - Page 1
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)
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.)
Paul of Venice: Logica Magna: The Treatise on Insolubles (Dallas Medieval Texts and Translations, 27)
- English
- Year: 2022
- Author: Stephen Read (editor), Barbara Bartocci (editor)
Commentario al libro di Zosimo «Sulla forza», alle sentenze di Ermete e degli altri filosofi
- Italian
- Year: 2007
- Author: Olimpiodoro, Ezio Albrile (editor)
La trama del cosmo. Spazio, tempo, realtà
- EPUB
- Italian
- Year: 2014
- Author: Brian Greene, Claudio Bartocci (editor)
Suicide Prevention: A Practical Guide for the Practitioner
- EPUB
- English
- Year: 2018
- Author: Tatiana Falcone (editor), Jane Timmons-Mitchell (editor)
Mathematical Methods for Objects Reconstruction: From 3D Vision to 3D Printing (Springer INdAM Series, 54)
- English
- Year: 2023
- Author: Emiliano Cristiani (editor), Maurizio Falcone † (editor), Silvia Tozza (editor)
Mathematical Methods for Objects Reconstruction: From 3D Vision to 3D Printing (Springer INdAM Series, 54)
- EPUB
- English
- Year: 2023
- Author: Emiliano Cristiani (editor), Maurizio Falcone † (editor), Silvia Tozza (editor)
Channel Coding: Theory, Algorithms, and Applications
- English
- Year: 2016
- Author: David Declercq (editor), Marc Fossorier (editor), Ezio Biglieri (editor)