author:Bjørner, Nikolaj | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science)

Bjørner, Nikolaj／Voronkov, Andrei

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science)

Bjørner, Nikolaj／Sofronie-Stokkermans, Viorica

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering)

Bjørner, Nikolaj／de Boer, Frank

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.)

Elgar encyclopedia of city and place branding

edited by Eduardo Oliveira, Efe Sevin, Emma Björner

Implementing sustainable cities

edited by Sylvie Albert, Jeremy Millard and Manish Pandey

Domain science and engineering : a foundation for software development

Dines Bjørner

Branding Chinese mega-cities : policies, practices and positioning

edited by Per Olof Berg, Emma Björner

Configuration spaces : geometry, combinatorics and topology

edited by A. Bjorner ... [et al.]

Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry

Jiří Matoušek ; written in cooperation with Anders Björner and Günter M. Ziegler

1
2
3