Nikolaj Bjørner - Böcker

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

Perspectives of System Informatics

Av Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Nikolaj Bjørner, Frank de Boer - FM 2015: Formal Methods, Häftad

FM 2015: Formal Methods

Av Nikolaj Bjørner, Frank de Boer

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar
Nikolaj Bjørner, Viorica Sofronie-Stokkermans - Automated Deduction -- CADE-23, Häftad

Automated Deduction -- CADE-23

Av Nikolaj Bjørner, Viorica Sofronie-Stokkermans

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar
Nikolaj Bjørner, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

Av Nikolaj Bjørner, Andrei Voronkov

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar