熱門搜尋

    您輸入的關鍵字: Voronkov

    分類(單選)
    配送方式(可複選)
    其他(可複選)
    ~

    搜尋結果共 47 筆, 頁數 1 / 1

    Masterpieces and Dramas of the Soviet Championships: Volume III (1948-1953)

    Masterpieces and Dramas of the Soviet Championships: Volume III (1948-1953)

    • 優惠價: 2255

    The third volume of Sergey Voronkov’s epic tale takes the reader on a historical journey through the late Stalinist...... more

    Masterpieces and Dramas of the Soviet Championships: Volume III (1948-1953)

    Masterpieces and Dramas of the Soviet Championships: Volume III (1948-1953)

    • 優惠價: 3066

    The third volume of Sergey Voronkov’s epic tale takes the reader on a historical journey through the late Stalinist...... more

    Masterpieces and Dramas of the Soviet Championships: Volume II (1938-1947)

    Masterpieces and Dramas of the Soviet Championships: Volume II (1938-1947)

    • 優惠價: 3359
    Masterpieces and Dramas of the Soviet Championships: Volume II (1938-1947)

    Masterpieces and Dramas of the Soviet Championships: Volume II (1938-1947)

    • 優惠價: 2254
    Masterpieces and Dramas of the Soviet Championships: Volume I (1920-1937)

    Masterpieces and Dramas of the Soviet Championships: Volume I (1920-1937)

    • 優惠價: 3024
    Masterpieces and Dramas of the Soviet Championships: Volume I (1920-1937)

    Masterpieces and Dramas of the Soviet Championships: Volume I (1920-1937)

    • 優惠價: 2199
    Barefoot Days & Smoky Nights

    Barefoot Days & Smoky Nights

    • 優惠價: 330
    Crossroads

    Crossroads

    • 優惠價: 1498
    Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Revised Selected Papers

    Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Revised Selected Papers

    • 優惠價: 3299

    This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics C... more

    Exposed Soul

    Exposed Soul

    • 優惠價: 550
    Perspectives of Systems Informatics: 8th International Ershov Informational Conference, PSI 2011 Novosibirsk, Russia, June 27 -

    Perspectives of Systems Informatics: 8th International Ershov Informational Conference, PSI 2011 Novosibirsk, Russia, June 27 -

    • 優惠價: 3299

    This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov M... more

    Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25-

    Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25-

    • 優惠價: 3299

    This book constitutes the thoroughly refereed post-conference proceedings of the 16th International ... more

    Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, Oc

    Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, Oc

    • 優惠價: 6599

    Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, ... more

    Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15

    Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15

    • 優惠價: 3299

    This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference... more

    Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 2

    Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 2

    • 優惠價: 6599

    This book constitutes the refereed proceedings of the 15th International Conference on Logic for Pro... more

    Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

    Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

    • 優惠價: 3299

    Buchberger. April 2008 Andrei Voronkov Conference Organisation General Chair Bruno Buchberger (Johannes Kepler University Linz...... more

    Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, Octob

    Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, Octob

    • 優惠價: 6950

    This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... more

    Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, N

    Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, N

    • 優惠價: 7950

    This book constitutes the refereed proceedings of the 13th International Conference on Logic for Pro... more

    Logic for Programming, Artificial Intelligence, And Reasoning: 12th International Conference, Lpar 2005, Montego Bay, Jamaica, D

    Logic for Programming, Artificial Intelligence, And Reasoning: 12th International Conference, Lpar 2005, Montego Bay, Jamaica, D

    • 優惠價: 8000

    This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Progra... more

    Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, Septe

    Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, Septe

    • 優惠價: 6450

    ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti... more

    Automated Deduction-Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : Proce

    Automated Deduction-Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : Proce

    • 優惠價: 6950

    The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth I... more

    Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, Psi 2019, Novosibirsk, Russia, July 2-5, 2019, Revised

    Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, Psi 2019, Novosibirsk, Russia, July 2-5, 2019, Revised

    • 優惠價: 3299

    This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatic... more

    Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se

    Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se

    • 優惠價: 3299
    Perspectives of System Informatics: 9th International Ershov Informatics Conference, Psi 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selec

    Perspectives of System Informatics: 9th International Ershov Informatics Conference, Psi 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selec

    • 優惠價: 3299
    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, Lpar-19, Stellenbosch, South Africa, December 14-19, 201

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, Lpar-19, Stellenbosch, South Africa, December 14-19, 201

    • 優惠價: 3299

    This book constitutes the proceedings of the 19th International Conference on Logic for Programming,... more

    Programming Logics: Essays in Memory of Harald Ganzinger

    Programming Logics: Essays in Memory of Harald Ganzinger

    • 優惠價: 3299

    This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues... more

    Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin

    Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin

    • 優惠價: 3299
    Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7

    Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7

    • 優惠價: 3299
    Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap

    Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap

    • 優惠價: 3299

    This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conferen... more

    Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedi

    Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedi

    • 優惠價: 3299
    Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings

    Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings

    • 優惠價: 6599
    Handbook of Automated Reasoning, Volume I

    Handbook of Automated Reasoning, Volume I

    • 優惠價: 14400
    Handbook of Automated Reasoning, Volume II

    Handbook of Automated Reasoning, Volume II

    • 優惠價: 16500
    Logic for Programming and Automated Reasoning: 7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings

    Logic for Programming and Automated Reasoning: 7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings

    • 優惠價: 3299
    Logic Programming and Automated Reasoning: 6th International Conference, Lpar’’99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

    Logic Programming and Automated Reasoning: 6th International Conference, Lpar’’99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

    • 優惠價: 3299
    Logic Programming and Automated Reasoning: 4th International Conference, Lpar’’93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

    Logic Programming and Automated Reasoning: 4th International Conference, Lpar’’93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

    • 優惠價: 3299

    LPAR is an international conference series aimed at bringing together researchers interested in logi... more

    Logic Programming and Automated Reasoning: International Conference Lpar ’’92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

    Logic Programming and Automated Reasoning: International Conference Lpar ’’92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

    • 優惠價: 3299
    Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Lo

    Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Lo

    • 優惠價: 3299
    Secret Notes

    Secret Notes

    • 優惠價: 1518

    In this book, David Bronstein describes the chess personalities he has met in various countries over... more

    David Against Goliath 1

    David Against Goliath 1

    • 優惠價: 1330
    Russians V Fischer

    Russians V Fischer

    • 優惠價: 1330
    Logic for Programming, Artificial Intelligence, And Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, Marc

    Logic for Programming, Artificial Intelligence, And Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, Marc

    • 優惠價: 7450

    This volume contains the papers presented at the 11th International Conference on Logic for Programm... more

    Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    • 優惠價: 2085

    Automated reasoning has matured into one of the most advanced areas ofcomputer science. It is used i... more

    Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    • 優惠價: 2085

    Automated reasoning has matured into one of the most advanced areas ofcomputer science. It is used i... more

    Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    • 優惠價: 2119
    Heterosiloxanes: Derivatives of Oxygen and Sulphur

    Heterosiloxanes: Derivatives of Oxygen and Sulphur

    • 優惠價: 20444
    Reactions of Sulfur With Organic Compounds

    Reactions of Sulfur With Organic Compounds

    • 優惠價: 9006

    搜尋推薦

    您可能感興趣的活動

    • 博客來【每字美句】收藏、紀錄、分享你最愛的一句