Nikolaj Bjørner – författare

Visar alla böcker från författaren Nikolaj Bjørner. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Perspectives of System Informatics

   12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

   Av Nikolaj Bjørner, Irina Virbitskaite m. fl.

   Häftad, 2019

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers …

2. 

   FM 2015: Formal Methods

   20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

   Av Nikolaj Bjørner, Frank de Boer

   Häftad, 2015

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the …

3. 

   Automated Deduction -- CADE-23

   23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

   Av Nikolaj Bjørner, Viorica Sofronie-Stokkermans

   Häftad, 2011

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, …

4. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

   Av Nikolaj Bjørner, Andrei Voronkov

   Häftad, 2012

   566 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and …