Home Advanced Search

Advanced Search - Page 1

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.)
Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
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
Transport Sociology. Social Aspects of Transport Planning
  • PDF
  • English
  • Year: 1986
  • Author: Enne de Boer (Eds.)
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jiří Wiedermann (auth.), Jos C. M. Baeten, Tom Ball, Frank S. de Boer (eds.)
It's All About Coordination
  • PDF
  • English
  • Year: 2018
  • Author: Frank de Boer, Marcello Bonsangue, Jan Rutten
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
  • PDF
  • English
  • Year: 2012
  • Author: David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Gespräche über Lernen - Lernen im Gespräch
  • PDF
  • German
  • Year: 2015
  • Author: Heike de Boer, Marina Bonanati (eds.)
search