Your search returned 5 results.

Not what you expected? Check for suggestions
1.
Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings / Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.).

by International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland) | Björner, Nikolaj | Sofronie-Stokkermans, Viorica.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer, ©2011Other title: CADE-23 | CADE-twenty-three.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.

by LPAR (Conference) (18th : 2012 : Mérida, Venezuela) | Björner, Nikolaj | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: LPAR-18.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Nikolaj Bjørner, Frank de Boer (eds.).

by International Symposium of Formal Methods Europe (20th : 2015 : Oslo, Norway) | Björner, Nikolaj [editor.] | Boer, Frank S. de [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Distributed computing and internet technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings / Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida (Eds.).

by International Conference on Distributed Computing and Internet Technology (12th : 2016 : Bhubaneswar, India) | Björner, Nikolaj [editor.] | Prasad, Sanjiva [editor.] | Parida, Laxmi [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: [Cham] : Springer, [2016]Copyright date: ©2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers / Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (12th : 2019 : Novosibirsk, Russia) | Bjørner, Nikolaj | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2019Other title: PSI 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha