Home Advanced Search

Advanced Search - Page 1

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Frank de Boer, Antonio Cerone
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Nikolaj Bjørner, Frank de Boer (eds.)
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers
  • PDF
  • English
  • Year: 2018
  • Author: Antonio Cerone, Marco Roveri
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
  • EPUB
  • English
  • Year: 2018
  • Author: Antonio Cerone; Marco Roveri
It's All About Coordination
  • PDF
  • English
  • Year: 2018
  • Author: Frank de Boer, Marcello Bonsangue, Jan Rutten
Piramus et Tisbé, poème du XIIe siècle
  • PDF
  • French
  • Year: 1921
  • Author: Cornelis De Boer
Kant’s reform of metaphysics: the Critique of pure reason reconsidered
  • PDF
  • English
  • Year: 2020
  • Author: Karin de Boer
Ovide moralisé : poème du commencemcent du quatorzième siècle publié d’après tous les manuscrits connus par C. De Boer : Tome I (livres I-III) avec une introduction
  • PDF
  • French
  • Year: 1915
  • Author: De Boer, Cornelis
Ovide moralisé : poème du commencemcent du quatorzième siècle publié d’après tous les manuscrits connus par C. De Boer : Tome II (livres IV-VI)
  • PDF
  • French
  • Year: 1920
  • Author: De Boer, Cornelis
Ovide moralisé : poème du commencemcent du quatorzième siècle publié d’après tous les manuscrits connus par C. De Boer. Tome V (livres XIV et XV) avec deux appendices
  • PDF
  • French
  • Year: 1938
  • Author: De Boer, Cornelis
search