Cărți de Nikolaj Bjørner

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ț: 328^.16 lei 410^.20 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ț: 333^.68 lei 417^.09 lei

6-8 săpt.

-20%

FM 2015: Formal Methods

Lecture Notes in Computer Science

Editat de Nikolaj Bjørner et al.

2 iun 2015

Preț: 337^.91 lei 422^.39 lei

6-8 săpt.

-20%

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ț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%