Nikolaj Bjorner – författare

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

6 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 Andrei Voronkov, Irina Virbitskaite m. fl.

   E-bok, 2019

   739 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 Frank de Boer, Nikolaj Bjorner

   E-bok, 2015

   755 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. 

   Distributed Computing and Internet Technology

   12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

   Av Nikolaj Bjorner, Sanjiva Prasad m. fl.

   Häftad, 2015

   545 kr

   Lägg i varukorg

   This bookconstitutes the proceedings of the 12th International Conference on DistributedComputing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, inJanuary 2016. The 6 fullpapers, 7 short papers and 11 poster papers presented in this volume werecarefully reviewed and selected from …

4. 

   Distributed Computing and Internet Technology

   12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

   Av Laxmi Parida, Sanjiva Prasad m. fl.

   E-bok, 2016

   672 kr

   Lägg i varukorg

   This bookconstitutes the proceedings of the 12th International Conference on DistributedComputing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, inJanuary 2016. The 6 fullpapers, 7 short papers and 11 poster papers presented in this volume werecarefully reviewed and selected from …

5. 

   Automated Deduction -- CADE-23

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

   Av Viorica Sofronie-Stokkermans, Nikolaj Bjorner

   E-bok, 2011

   734 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, …

6. 

   Logic for Programming, Artificial Intelligence, and Reasoning

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

   Av Andrei Voronkov, Nikolaj Bjorner

   E-bok, 2012

   734 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 …