Nikolaj Bjørner - Böcker

Visar alla böcker från författaren Nikolaj Bjørner.

4 produkter

Kategorier

4 produkter

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, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

FM 2015: Formal Methods

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

Av Nikolaj Bjørner, Frank de Boer

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar