熱門搜尋

    您輸入的關鍵字: Bjorner

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

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

    New Perspectives in Algebraic Combinatorics

    New Perspectives in Algebraic Combinatorics

    • 優惠價: 2699

    During 1996-97 MSRI held a full academic-year program on combinatorics, with special emphasis on its... more

    Combinatorics of Coxeter Groups

    Combinatorics of Coxeter Groups

    • 優惠價: 4199

    This book is a carefully written exposition of Coxeter groups, an area of mathematics which appears ... more

    Software Engineering 3: Domains, Requirements, and Software Design

    Software Engineering 3: Domains, Requirements, and Software Design

    • 優惠價: 7199

    This third volume examines the basic principles and techniques of overall software development, from... more

    Software Engineering 2: Specification of Systems and Languages

    Software Engineering 2: Specification of Systems and Languages

    • 優惠價: 3299

    This second volume looks at the principles and techniques of modeling spatial and simple temporal ph... more

    Software Engineering 1: Abstraction and Modelling

    Software Engineering 1: Abstraction and Modelling

    • 優惠價: 5999

    This well written first volume covers the basic principles and techniques of abstraction and modelin... more

    Bob Dylan Live in Canada: A Concert History, 1962-2005

    Bob Dylan Live in Canada: A Concert History, 1962-2005

    • 優惠價: 2397

    Bob Dylan fans from coast-to-coast across Canada, as well as in other countries, will find this valu... more

    Logics of Specification Languages

    Logics of Specification Languages

    • 優惠價: 12500

    This book presents comprehensive studies on nine specification languages and their logics of reasoni... more

    Software Engineering: Specification Of Systems And Languages

    Software Engineering: Specification Of Systems And Languages

    • 優惠價: 3299

    This second volume looks at the principles and techniques of modeling spatial and simple temporal ph... more

    Combinatorics of Coxeter Groups

    Combinatorics of Coxeter Groups

    • 優惠價: 6599

    This book is a carefully written exposition of Coxeter groups, an area of mathematics which appears ... more

    Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry

    Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry

    • 優惠價: 4799

    A number of important results in combinatorics, discrete geometry, and theoretical computer science ... more

    Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi ’99, Akademgorodok, Novosibirsk,

    Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi ’99, Akademgorodok, Novosibirsk,

    • 優惠價: 7450

    This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ers... more

    Oriented Matroids: Second Edition

    Oriented Matroids: Second Edition

    • 優惠價: 3599

    This second edition of the first comprehensive, accessible account of the subject is intended for a ... more

    Towards a Formal Description of Ada

    Towards a Formal Description of Ada

    • 優惠價: 6599
    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

    Distributed Computing and Internet Technology: 12th International Conference, Icdcit 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

    Distributed Computing and Internet Technology: 12th International Conference, Icdcit 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

    • 優惠價: 3299

    This book constitutes the proceedings of the 12th International Conference on Distributed Computing ... more

    FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

    FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

    • 優惠價: 3299

    This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... more

    Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

    Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

    • 優惠價: 3299
    New Perspectives in Algebraic Combinatorics

    New Perspectives in Algebraic Combinatorics

    • 優惠價: 9060
    Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr

    Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr

    • 優惠價: 3299
    Baltic Computer Science: Selected Papers

    Baltic Computer Science: Selected Papers

    • 優惠價: 6599

    This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia and L... more

    Branding Chinese Mega-Cities: Policies, Practices and Positioning

    Branding Chinese Mega-Cities: Policies, Practices and Positioning

    • 優惠價: 5130
    Configuration Spaces

    Configuration Spaces

    • 優惠價: 2097
    Finding Statistics Online

    Finding Statistics Online

    • 優惠價: 1138

    搜尋推薦

    您可能感興趣的活動

    • 先綁定再消費最划算!OPEN POINT 會員首次綁定成功立即送50元E-Coupon