Nikolaj Bjørner – författare
Visar alla böcker från författaren Nikolaj Bjørner. Handla med fri frakt och snabb leverans.
4 produkter
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
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
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
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
Häftad, Engelska, 2012
719 kr
Skickas inom 10-15 vardagar