Perspectives of System Informatics
Editat de Nikolaj Bjørner et al.
14 dec 2019
Paperback
Preț: 321.36 lei 401.70 lei
6-8 săpt.
-20%
Cărți de Nikolaj Bjørner
Distributed Computing and Internet Technology
Editat de Nikolaj Bjørner et al.
25 dec 2015
Paperback
Preț: 332.26 lei 415.32 lei
6-8 săpt.
-20%
FM 2015: Formal Methods
Editat de Nikolaj Bjørner et al.
2 iun 2015
Paperback
Preț: 352.49 lei 440.61 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
Editat de Nikolaj Bjørner et al.
24 feb 2012
Paperback
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
Editat de Nikolaj Bjørner et al.
12 iul 2011
Paperback
Preț: 333.68 lei 417.09 lei
6-8 săpt.
-20%