82,16€(IVA inc.)
Logic for programming, artificial intelligence, and reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
- Fermüller, Christian G.
- 978-3-642-16241-1
- 2010-09-27
72,80€(IVA inc.)
Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
- Clarke, Edmund M.
- 978-3-642-17510-7
- 2011-01-04
64,48€(IVA inc.)
Logic for programming, artificial intelligence, and reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
- Bjørner, Nikolaj
- 978-3-642-28716-9
- 2012-03-01
68,64€(IVA inc.)
Perspectives of System Informatics
- Petrenko, Alexander K.
- 978-3-319-74312-7
- 2018-02-21
64,48€(IVA inc.)
Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, Psi 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
- Clarke, Edmund
- 978-3-642-29708-3
- 2012-05-04
72,75€(IVA inc.)
Perspectives of systems informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
- Pnueli, Amir
- 978-3-642-11485-4
- 2010-02-01
