Home Advanced Search

Advanced Search - Page 1

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Foundations of probabilistic programming
Foundations of probabilistic programming
  • PDF
  • English
  • Year: 2021
  • Author: Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.)
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Guillaume Barbu, Philippe Hoogvorst (auth.), Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
Fuori dai cardini del tempo. Lezioni su Kant. Nuova ediz.
  • EPUB
  • Italian
  • Year: 2022
  • Author: Gilles Deleuze, Sandro Palazzo (editor)
LaTeX in 24 Hours: A Practical Guide for Scientific Writing
LaTeX in 24 Hours: A Practical Guide for Scientific Writing
  • PDF
  • English
  • Year: 2017
  • Author: Dilip Datta (auth.)
Bio/CMOS Interfaces and Co-Design
Bio/CMOS Interfaces and Co-Design
  • PDF
  • English
  • Year: 2013
  • Author: Sandro Carrara (auth.)