Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Andrei Voronkov | Booky.fi

Haullasi löytyi yhteensä 35 tuotetta
Haluatko tarkentaa hakukriteerejä?



Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut
Mazzara, Manuel; Voronkov, Andrei
Springer
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, Novembe
Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, Novembe
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Handbook of Automated Reasoning
J. Alan Robinson; Andrei Voronkov
MIT Press
2015
Kovakantinen kirja
Saatavuus: Painos loppu Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma.
Handbook of Automated Reasoning
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
58,00 €
Handbook of Automated Reasoning
J. Alan Robinson; Andrei Voronkov
MIT Press
2015
Kovakantinen kirja
Saatavuus: Painos loppu Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma.
Handbook of Automated Reasoning
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
12,20 €
Handbook of Automated Reasoning
J. Alan Robinson; Andrei Voronkov
MIT Press
2017
Kovakantinen kirja
Saatavuus: Painos loppu Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma.
Handbook of Automated Reasoning
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
37,60 €
Perspectives of Systems Informatics - 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 2
Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Perspectives of Systems Informatics - 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 2
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic Programming and Automated Reasoning - 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proc
Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1993
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Logic Programming and Automated Reasoning - 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proc
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic Programming - First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Confer
Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1992
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Logic Programming - First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Confer
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic Programming and Automated Reasoning - International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedi
Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1992
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Logic Programming and Automated Reasoning - International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedi
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proc
Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proc
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Rewriting Techniques and Applications - 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceeding
Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Rewriting Techniques and Applications - 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceeding
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Programming Logics - Essays in Memory of Harald Ganzinger
Voronkov, Andrei; Weidenbach, Christoph
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Programming Logics - Essays in Memory of Harald Ganzinger
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-
Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Programming Logics
Voronkov, Andrei; Weidenbach, Christoph
Springer
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tuotteen saatavuus varmistetaan tilauskohtaisesti. Voit jättää tilauksen, niin tarkistamme saatavuuden tavarantoimittajilta. Jos tuotetta ei ole saatavissa, olemme sinuun yhteydessä ja perumme tilauksesi.
Programming Logics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
118,90 €
Handbook of Automated Reasoning
Robinson, Alan J.A.; Voronkov, Andrei
Elsevier Science & Technology
2001
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Handbook of Automated Reasoning
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
240,70 €
Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinbur
Diekert, Volker; Volkov, Mikhail; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinbur
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic for Programming, Artificial Intelligence, and Reasoning - 10th International Conference, LPAR 2003, Almaty, Kazakhstan, Se
Vardi, Moshe; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Logic for Programming, Artificial Intelligence, and Reasoning - 10th International Conference, LPAR 2003, Almaty, Kazakhstan, Se
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Havana, Cuba, December
Nieuwenhuis, Robert; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Havana, Cuba, December
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, Octo
Dershowitz, Nachum; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, Octo
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic Programming and Automated Reasoning - 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proce
Ganzinger, Harald; McAllester, David; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Logic Programming and Automated Reasoning - 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proce
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...