Home Advanced Search

Advanced Search - Page 1

Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings
Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Ezio Bartocci, Rupak Majumdar (eds.)
Lectures on Runtime Verification: Introductory and Advanced Topics
Lectures on Runtime Verification: Introductory and Advanced Topics
  • PDF
  • English
  • Year: 2018
  • Author: Ezio Bartocci,Yliès Falcone (eds.)
Lectures on Runtime Verification: Introductory and Advanced Topics
Lectures on Runtime Verification: Introductory and Advanced Topics
  • EPUB
  • English
  • Year: 2018
  • Author: Bartocci, Ezio.;Falcone, Yliès
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2019
  • Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Equilibrium and Dynamics: Essays in Honour of David Gale
Equilibrium and Dynamics: Essays in Honour of David Gale
  • PDF
  • English
  • Year: 1992
  • Author: Mukul Majumdar (eds.)
Capire la scienza. Gauss, Riemann, Poincaré e Hilbert. La matematica diventa scienza
  • PDF
  • Italian
  • Year: 2012
  • Author: Claudio Bartocci
La Matematica Vol.1. I tempi e i luoghi
  • PDF
  • Italian
  • Author: Odifreddi, Bartocci
La Matematica Vol.2. Problemi e teoremi.
  • PDF
  • Italian
  • Author: Odifreddi, Bartocci
Dialogues on Political Parties and Civil Society in Federal Countries
Dialogues on Political Parties and Civil Society in Federal Countries
  • PDF
  • English
  • Year: 2011
  • Author: Rupak Chattopadhyay
search