Description

Book Synopsis

.- Algorithm Design.
.- Improved Approximation Algorithms for the Multiple Two-stage Knapsack problem.
.- Semi-online scheduling problem of two identical machines with delayed discount.
.- Logic.
.- Sequential Equivalence Checking for specialized IR via Instrumentation-Based Symbolic Execution.
.- Self-Learning Modeling of Generalized Possibilistic Decision Processes.
.- Artificial Intelligence Theory and Algorithm.
.- DPhuman: Generalizable Neural Human Rendering via Point Registration-Based Human Deformation.
.- PSVM-MR: A Parallel Support Vector Machine Algorithm Based on MapReduce.
.- Algorithm Application.
.- A novel homogenization-based method for population initialization of improved chaotic artificial bee colonies and convergence analysis.
.- A truthful resource allocation and task offloading mechanism of Internet of Vehicles edge computing based on joint optimization.
.- The State Transition Self-Learning Framework Based on Generalized Intuitionistic Fuzzy Kripke Structure.
.- Spiking Neural Network Based on Bidirectional Variational Anomaly Detection for Knowledge Tracing.

Theoretical Computer Science

    Product form

    £53.99

    Includes FREE delivery

    RRP £5,999.00 – you save £5,945.01 (99%)

    Order before 4pm today for delivery by Fri 3 Jul 2026.

    A Paperback by Jialin Zhang

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Theoretical Computer Science by Jialin Zhang

      Publisher: Springer
      Publication Date: 11/20/2025
      ISBN13: 9789819536429, 978-9819536429
      ISBN10: 9819536421
      Also in:
      Network hardware

      Description

      Book Synopsis

      .- Algorithm Design.
      .- Improved Approximation Algorithms for the Multiple Two-stage Knapsack problem.
      .- Semi-online scheduling problem of two identical machines with delayed discount.
      .- Logic.
      .- Sequential Equivalence Checking for specialized IR via Instrumentation-Based Symbolic Execution.
      .- Self-Learning Modeling of Generalized Possibilistic Decision Processes.
      .- Artificial Intelligence Theory and Algorithm.
      .- DPhuman: Generalizable Neural Human Rendering via Point Registration-Based Human Deformation.
      .- PSVM-MR: A Parallel Support Vector Machine Algorithm Based on MapReduce.
      .- Algorithm Application.
      .- A novel homogenization-based method for population initialization of improved chaotic artificial bee colonies and convergence analysis.
      .- A truthful resource allocation and task offloading mechanism of Internet of Vehicles edge computing based on joint optimization.
      .- The State Transition Self-Learning Framework Based on Generalized Intuitionistic Fuzzy Kripke Structure.
      .- Spiking Neural Network Based on Bidirectional Variational Anomaly Detection for Knowledge Tracing.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account