Hoppa till sidans huvudinnehåll

Nikolaj Bjørner – författare

Visar alla böcker från författaren .
4 produkter
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov - Perspectives of System Informatics, Häftad
Del 11964 - Lecture Notes in Computer Science

Perspectives of System Informatics

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

AvNikolaj Bjørner,Irina Virbitskaitem. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Nikolaj Bjørner, Frank de Boer - FM 2015: Formal Methods, Häftad
Del 9109 - Lecture Notes in Computer Science

FM 2015: Formal Methods

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

AvNikolaj Bjørner,Frank de Boer

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Nikolaj Bjørner, Viorica Sofronie-Stokkermans - Automated Deduction -- CADE-23, Häftad

Automated Deduction -- CADE-23

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

AvNikolaj Bjørner,Viorica Sofronie-Stokkermans

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Nikolaj Bjørner, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

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

AvNikolaj Bjørner,Andrei Voronkov

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar