Cărți de Nikolaj Bjørner

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11964

Editat de Nikolaj Bjørner et al.

14 dec 2019

Preț: 325^.06 lei 406^.32 lei

6-8 săpt.

-20%

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9109

Editat de Nikolaj Bjørner et al.

2 iun 2015

Preț: 341^.70 lei 427^.13 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7180

Editat de Nikolaj Bjørner et al.

24 feb 2012

Preț: 334^.30 lei 417^.87 lei

6-8 săpt.

-20%

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6803

Editat de Nikolaj Bjørner et al.

12 iul 2011

Preț: 339^.92 lei 424^.89 lei

6-8 săpt.

-20%