Bjorner, Nikolaj books & textbook
Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings ... Applications, incl. Internet/Web, and HCI)
Bjorner, Nikolaj Prasad, Sanjiva Parida, Laxmi
Springer /2015-12-25 Paperback / 244 Pages
isbn-10: 3319280333 / isbn-13: 9783319280332
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised ... (Lecture Notes in Computer Science, 11964)
Bjørner, Nikolaj Virbitskaite, Irina Voronkov, Andrei
Springer /2019-12-14 Paperback / 281 Pages
isbn-10: 3030374866 / isbn-13: 9783030374860
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science, 7180)
Bjørner, Nikolaj Voronkov, Andrei
Springer /2012-02-24 Paperback / 457 Pages
isbn-10: 3642287166 / isbn-13: 9783642287169
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering)
Bjørner, Nikolaj de Boer, Frank
Springer /2015-06-02 Paperback / 626 Pages
isbn-10: 3319192485 / isbn-13: 9783319192482
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science, 6803)
Bjørner, Nikolaj Sofronie-Stokkermans, Viorica
Springer /2011-07-12 Paperback / 521 Pages
isbn-10: 3642224377 / isbn-13: 9783642224379
