|
|

avaa valikko

Nikolaj Bjorner | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Automated Deduction -- CADE-23 - 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 201
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bjørner, Nikolaj; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Merida, Venezuela, March
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bjørner, Nikolaj; de Boer, Frank
Springer International Publishing AG
2015
Pehmeäkantinen kirja
FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bjorner, Nikolaj; Prasad, Sanjiva; Parida, Laxmi
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Distributed Computing and Internet Technology - 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Bjørner, Nikolaj; Virbitskaite, Irina; Voronkov, Andrei
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €