Nikolaj Bjørner – författare

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

4 produkter

Kategorier

4 produkter

Del 11964
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
749 kr
Skickas inom 10-15 vardagar
Del 9109
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
749 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
749 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
749 kr
Skickas inom 10-15 vardagar