Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Results
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 6803. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 7180. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: LPAR-18.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9109. | LNCS sublibrary. SL 2, Programming and software engineering.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9581. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.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).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 11964. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cham : Springer, 2019Other title: PSI 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha