Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
Editat de Andrei Voronkov
4 iul 2008
Paperback
Preț: 329.74 lei 412.17 lei
6-8 săpt.
-20%
Theoretical Computer Science and General Issues
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Editat de Amir Pnueli et al.
8 feb 2010
Paperback
Preț: 328.16 lei 410.20 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%
Programming Logics: Essays in Memory of Harald Ganzinger
Editat de Andrei Voronkov et al.
3 apr 2013
Paperback
Preț: 327.54 lei 409.42 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Editat de Martin Davis et al.
3 dec 2015
Paperback
Preț: 336.86 lei 421.08 lei
6-8 săpt.
-20%
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Editat de Manuel Mazzara et al.
28 iun 2016
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Editat de Alexander K. Petrenko et al.
18 ian 2018
Paperback
Preț: 326.87 lei 408.59 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
Editat de Nikolaj Bjørner et al.
14 dec 2019
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%