Skip to main content

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...
  • Tunnelling into a Sustainable Future – Methods and Technologies

    Proceedings of the ITA-AITES World Tunnel Congress 2025 (WTC 2025), 9-15 May 2025, Stockholm, Sweden

    Tunnelling into a Sustainable Future – Methods and Technologies contains the contributions presented at the ITA-AITES World Tunnel Congress 2025 (Stockholm, Sweden, 9-15 May 2025). The contributions cover a wide range of topics in the fields of tunnelling and underground engineering, including:Innovating tunnelingSafety UndergroundUse of underground spaceInvestigations and ground characterisation< ... Read more

    Free

  • Post-Quantum Cryptography

    14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16–18, 2023, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Workshop on Post-Quantum Cryptography, PQCrypto 2022, held in College Park, MD, USA, in August 14–18, 2023.The 25 full papers presented in this book were carefully reviewed and selected from 51 submissions. They are categorized in the following topical sections: code-based cryptography; group-action-based cryptography; ... Read more

    $153.69 CAD

  • The Future of Pentecostalism in the United States

    One hundred years after the Azusa Street Revival stunned Los Angeles and changed Western Christianity, Pentecostalism has become the fastest growing religious movement in the world. However, many Pentecostal denominations in the United States are in a slow decline. Will Pentecostalism survive in North America in the twenty-first century? If so, what forms will it take? The Future of Pentecostalism ... Read more

    $62.99 CAD

People who read these also enjoyed

  • Eleventh International Conference on the Bearing Capacity of Roads, Railways and Airfields

    Volume 3

    Innovations in Road, Railway and Airfield Bearing Capacity – Volume 3 comprises the third part of contributions to the 11th International Conference on Bearing Capacity of Roads, Railways and Airfields (2022). In anticipation of the event, it unveils state-of-the-art information and research on the latest policies, traffic loading measurements, in-situ measurements and condition surveys, ... Read more

    Free

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

    Free

  • Eleventh International Conference on the Bearing Capacity of Roads, Railways and Airfields

    Volume 2

    Innovations in Road, Railway and Airfield Bearing Capacity – Volume 2 comprises the second part of contributions to the 11th International Conference on Bearing Capacity of Roads, Railways and Airfields (2022). In anticipation of the event, it unveils state-of-the-art information and research on the latest policies, traffic loading measurements, in-situ measurements and condition surveys, ... Read more

    Free

  • Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

    Edited by Isil Dillig, Serdar Tasiran ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Read more

    Free

  • The Evolution of Geotech - 25 Years of Innovation

    This publication includes 82 technical papers presented at Rocscience International Conference (RIC) 2021, held online on April 20 and 21, 2021. Rocscience created this event to bring geotechnical academics, researchers and practitioners together to exchange ideas as part of celebrating 25 years of the company’s existence.The papers in these proceedings were from keynotes, panel discussions and ... Read more

    Free

  • Cryptography and Coding

    16th IMA International Conference, IMACC 2017, Oxford, UK, December 12-14, 2017, Proceedings

    Edited by Máire O'Neill ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th IMA International Conference on Cryptography and Coding, IMACC 2017, held at Oxford, UK, in December 2017. The 19 papers presented were carefully reviewed and selected from 32 submissions. The conference focuses on a diverse set of topics both in cryptography and coding theory. ... Read more

    $64.99 CAD

  • Eleventh International Conference on the Bearing Capacity of Roads, Railways and Airfields

    Volume 1

    Innovations in Road, Railway and Airfield Bearing Capacity – Volume 1 comprises the first part of contributions to the 11th International Conference on Bearing Capacity of Roads, Railways and Airfields (2022). In anticipation of the event, it unveils state-of-the-art information and research on the latest policies, traffic loading measurements, in-situ measurements and condition surveys, ... Read more

    Free

  • Lattice-Based Cryptosystems

    A Design Perspective

    Series series Computer Science (R0)
    This book focuses on lattice-based cryptosystems, widely considered to be one of the most promising post-quantum cryptosystems and provides fundamental insights into how to construct provably secure cryptosystems from hard lattice problems. The concept of provable security is used to inform the choice of lattice tool for designing cryptosystems, including public-key encryption, identity-based ... Read more

    $179.39 CAD

  • Life-Cycle of Structures and Infrastructure Systems

    PROCEEDINGS OF THE EIGHTH INTERNATIONAL SYMPOSIUM ON LIFE-CYCLE CIVIL ENGINEERING (IALCCE 2023), 2-6 JULY, 2023, POLITECNICO DI MILANO, MILAN, ITALY

    Life-Cycle of Structures and Infrastructure Systems collects the lectures and papers presented at IALCCE 2023 – The Eighth International Symposium on Life-Cycle Civil Engineering held at Politecnico di Milano, Milan, Italy, 2-6 July, 2023. This Open Access Book contains the full papers of 514 contributions, including the Fazlur R. Khan Plenary Lecture, nine Keynote Lectures, and 504 technical ... Read more

    Free