Skip to main content

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...
  • Sustainable Supply Chain Management

    Computational Approaches and Modelling

    Sustainable Supply Chain Management: Computational Approaches and Modelling provides a comprehensive understanding of how computational approaches can be leveraged to address the challenges associated with sustainable supply chain management. It offers insights into emerging and advanced modelling techniques to optimize supply chain operations while considering environmental, social, and economic ... Leer más

    $179.99 USD

    PEDIDO ANTICIPADO

  • Verification, Model Checking, and Abstract Interpretation

    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I

    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and ... Leer más

    $62.99 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Leer más

    Gratis

  • Automated Technology for Verification and Analysis

    22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical ... Leer más

    $116.09 USD

  • Verification, Model Checking, and Abstract Interpretation

    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II

    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and ... Leer más

    $62.99 USD

  • Automated Technology for Verification and Analysis

    22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical ... Leer más

    $143.09 USD

  • Micro-Joining of Materials

    Current and Future Needs

    Series series Advanced Materials Processing and Manufacturing
    This book addresses primary and secondary procedures for combining sophisticated materials such as metals and alloys, intermetallic, ceramics, glasses, polymers, superalloys, electronic materials, and composites in similar and dissimilar combinations, based on the most recent research. It further explores the current and future micro-joining techniques that are rapidly expanding, including ... Leer más

    $77.99 USD

  • Business Communication Training Through Social Practice: Approaches and Case Studies

    Business communication is foundational to economic participation, entrepreneurship, civic engagement, and organizational collaboration. Yet many existing training models presume high-resource environments, standardized literacy levels, and reliable digital access—conditions that are often absent in rural communities, informal economies, and structurally disadvantaged contexts. These gaps are not ... Leer más

    $175.49 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Leer más

    Gratis

  • Probiotics in Anticancer Immunity

    Probiotics have been suggested to be involved in both prevention and treatment of various human cancers. Probiotics in Anticancer Immunity explains biochemical mechanisms of anticancer immunity exerted by probiotics in various human cancers. It presents edited chapters focused on the evidence of probiotic use against human cancers through several animal and human studies.Part 1 of Probiotics in ... Leer más

    $69.00 USD

  • Human and Animal Microbiome Engineering

    Human and Animal Microbiome Engineering provides both basic and detailed information about microbiome engineering for the health enhancement of humans and animal populations. The book provides updated information about current research topics in this emerging field, including microbiome gene therapy, engineered probiotics, and smart living biotic machines for the release of therapeutics. The book ... Leer más

    $157.49 USD

  • Beneficial Microbes in Agro-Ecology

    Bacteria and Fungi

    Beneficial Microbes in Agro-Ecology: Bacteria and Fungi is a complete resource on the agriculturally important beneficial microflora used in agricultural production technologies. Included are 30 different bacterial genera relevant in the sustainability, mechanisms, and beneficial natural processes that enhance soil fertility and plant growth. The second part of the book discusses 23 fungal genera ... Leer más

    $359.99 USD