Home Advanced Search

Advanced Search - Page 1

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
  • PDF
  • 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
  • PDF
  • 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)
  • PDF
  • English
  • Year: 2022
  • Author: Stephen Read (editor), Barbara Bartocci (editor)
La trama del cosmo. Spazio, tempo, realtà
  • EPUB
  • Italian
  • Year: 2014
  • Author: Brian Greene, Claudio Bartocci (editor)
Commentario al libro di Zosimo «Sulla forza», alle sentenze di Ermete e degli altri filosofi
  • PDF
  • Italian
  • Year: 2007
  • Author: Olimpiodoro, Ezio Albrile (editor)
Suicide Prevention: A Practical Guide for the Practitioner
  • EPUB
  • English
  • Year: 2018
  • Author: Tatiana Falcone (editor), Jane Timmons-Mitchell (editor)
Freddie Mercury
  • EPUB
  • Italian
  • Year: 2016
  • Author: Luca Garrò, Ezio Guaitamacchi (editor)
Storia della canzone italiana
  • EPUB
  • Italian
  • Year: 2018
  • Author: Roberto Caselli, Ezio Guaitamacchi (editor)
Etica, scienza e fede
  • PDF
  • Italian
  • Year: 2013
  • Author: William Kingdon Clifford, Claudio Bartocci (editor), Giulio Giorello (editor)
search