Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 35 results for “a sankaranarayanan”
Skip side bar filters

  • 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

    Edited by Sriram Sankaranarayanan, Natasha Sharygina ...
    Series Book 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 ... Read more

    Free

  • Automated Technology for Verification and Analysis

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

    Edited by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan ...
    Series Book 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 ... Read more

    $154.99 CAD

  • Verification, Model Checking, and Abstract Interpretation

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

    Edited by Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi ...
    Series Book 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 ... Read more

    $83.99 CAD

  • Micro-Joining of Materials

    Current and Future Needs

    by N. Rajesh Jesudoss Hynes, P. Shenbaga Velu, N. J. Vignesh, R. Sankaranarayanan, J. Angela Jennifa Sujana ...
    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 ... Read more

    $109.99 CAD

  • Automated Technology for Verification and Analysis

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

    Edited by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan ...
    Series Book 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 ... Read more

    $179.99 CAD

  • Verification, Model Checking, and Abstract Interpretation

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

    Edited by Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi ...
    Series Book 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 ... Read more

    $83.99 CAD

  • 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

    Edited by Sriram Sankaranarayanan, Natasha Sharygina ...
    Series Book 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 ... Read more

    Free

  • Sustainable Supply Chain Management

    Computational Approaches and Modelling

    Edited by Syed Mithun Ali, Irfan Ali, Fariba Goodarzian, Bathrinath Sankaranarayanan ...
    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 ... Read more

    $219.99 CAD

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

    Edited by Ying Liu, Ranjith Sankaranarayanan, Yuanyuan Li, Sheri Kurian ...
    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 ... Read more

    $216.99 CAD

  • Probiotics in Anticancer Immunity

    by Mitesh Kumar Dwivedi, A. Sankaranarayanan, Sanjay Tiwari ...
    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 ... Read more

    $94.99 CAD

  • Human and Animal Microbiome Engineering

    Edited by Dharumadurai Dhanasekaran, A. Sankaranarayanan, Priyanka Sarkar ...
    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 ... Read more

    $155.19 CAD

  • Beneficial Microbes in Agro-Ecology

    Bacteria and Fungi

    Edited by N. Amaresan, M. Senthil Kumar, K. Annapurna, Krishna Kumar, A. Sankaranarayanan ...
    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 ... Read more

    $353.99 CAD