Bokus

Igor Konnov – författare

Visar alla böcker från författaren Igor Konnov. Handla med fri frakt och snabb leverans.

6 produkter

  1. Igor Konnov - Equilibrium Models and Variational Inequalities, E-bok. Tillgänglighet: Lägg i varukorg

    Equilibrium Models and Variational Inequalities

    Av Igor Konnov

    E-bok, 2007

    1630 kr

    Lägg i varukorg

    The concept of equilibrium plays a central role in various applied sciences, such as physics (especially, mechanics), economics, engineering, transportation, sociology, chemistry, biology and other fields. If one can formulate the equilibrium problem in the form of a mathematical model, solutions …

  2. Igor Konnov - Equilibrium Models and Variational Inequalities, Inbunden. Tillgänglighet: Lägg i varukorg

    Equilibrium Models and Variational Inequalities

    Av Igor Konnov

    Inbunden, 2007

    2233 kr

    Lägg i varukorg

    The concept of equilibrium plays a central role in various applied sciences, such as physics (especially, mechanics), economics, engineering, transportation, sociology, chemistry, biology and other fields. If one can formulate the equilibrium problem in the form of a mathematical model, solutions …

  3. Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov - Decidability of Parameterized Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Decidability of Parameterized Verification

    Av Roderick Bloem, Swen Jacobs m. fl.

    Häftad, 2015

    512 kr

    Lägg i varukorg

    While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ����(n) parameterized by n ∈ ℕ, whether, for all n ∈ ℕ, the system ����(n) satisfies a specification. In this book we …

  4. Igor Konnov, Ayrat Kalimov, Swen Jacobs, Roderick Bloem - Decidability of Parameterized Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Decidability of Parameterized Verification

    Av Igor Konnov, Ayrat Kalimov m. fl.

    E-bok, 2022

    657 kr

    Lägg i varukorg

    While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ����(n) parameterized by n ∈ ℕ, whether, for all n ∈ ℕ, the system ����(n) satisfies a specification. In this book we …

  5. Igor Konnov - Combined Relaxation Methods for Variational Inequalities, Häftad. Tillgänglighet: Lägg i varukorg

    Combined Relaxation Methods for Variational Inequalities

    Av Igor Konnov

    Häftad, 2000

    568 kr

    Lägg i varukorg

    Variational inequalities proved to be a very useful and powerful tool for in­ vestigation and solution of many equilibrium type problems in Economics, Engineering, Operations Research and Mathematical Physics. In fact, varia­ tional inequalities for example provide a unifying framework for the …

  6. Igor Konnov - Combined Relaxation Methods for Variational Inequalities, E-bok. Tillgänglighet: Lägg i varukorg

    Combined Relaxation Methods for Variational Inequalities

    Av Igor Konnov

    E-bok, 2012

    718 kr

    Lägg i varukorg

    Variational inequalities proved to be a very useful and powerful tool for in­ vestigation and solution of many equilibrium type problems in Economics, Engineering, Operations Research and Mathematical Physics. In fact, varia­ tional inequalities for example provide a unifying framework for the …