Hoppa till sidans huvudinnehåll

Nikolaj Bjørner – författare

Visar alla böcker från författaren Nikolaj Bjørner.
4 produkter
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

719 kr

Skickas inom 10-15 vardagar

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

719 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

AvNikolaj Bjørner,Viorica Sofronie-Stokkermans

Häftad, Engelska, 2011

719 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

AvNikolaj Bjørner,Andrei Voronkov

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar