Home Advanced Search

Advanced Search - Page 1

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Yliès Falcone, César Sánchez (eds.)
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
  • 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
  • PDF
  • English
  • Year: 2021
  • Author: Ezio Bartocci (editor), Yliès Falcone (editor), Martin Leucker (editor)
Leukemia Stem Cells: Methods and Protocols
  • PDF
  • English
  • Year: 2021
  • 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
  • EPUB
  • English
  • Year: 2020
  • Author: César Cobaleda, Isidro Sánchez-García
Geografía de Arequipa, s. XIX
  • PDF
  • Spanish
  • Year: 1996
  • Author: Miguel Pinto, Alejandro Salinas (eds.), Fernando Sánchez, Pantaleón Falconí, César Rivero et al. (auts.)
Numerical methods for viscosity solutions and applications
  • DJVU
  • English
  • Year: 2001
  • Author: Falcone M., Makridakis C. (eds.)
Soluble Silicates
  • PDF
  • English
  • Year: 1982
  • Author: James S. Falcone, Jr. (Eds.)
search