Home Advanced Search

Advanced Search - Page 1

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nikolaj Bjørner (auth.), Bernhard Gramlich, Dale Miller, Uli Sattler (eds.)
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.)
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (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.)
Präsentationstechnik: Mehr Erfolg durch Visualisierung bei Vortrag und Verkauf
  • PDF
  • German
  • Year: 1991
  • Author: Uli Müller-Schwarz, Bernhard Weyer (auth.), Rainer Kirsten (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.)
Axioms and Principles of Plant Construction: Proceedings of a symposium held at the International Botanical Congress, Sydney, Australia, August 1981
  • PDF
  • English
  • Year: 1982
  • Author: R. Sattler (auth.), R. Sattler (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
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
search