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...
  • Ghostly Rites Anthology 2025

    Ghostly Rites Crew Presents, #1

    Series Book 1 - Ghostly Rites Crew Presents
    Ghostly Rites anthology is back again with another spine-tingling collection of short stories and haunting poems that will curl your toes and send shivers down your spine.Get comfy with our largest collection of mysterious, unearthly and brain-twisting tales, written by authors from all over the world. ... Read more

    Free

  • Randomized Clinical Trials of Nonpharmacological Treatments

    Series series Chapman & Hall/CRC Biostatistics Series
    Nonpharmacological treatments include a wide variety of treatments such as surgery, technical procedures, implantable and non-implantable devices, rehabilitation, psychotherapy, and behavioral interventions. Unlike pharmacological treatments, these have no specific requirements for approval. Consequently, they can be widely proposed in clinical pra ... Read more

    $100.99 CAD

  • Ghostly Rites 2024

    Plaisted Publishing House Presents, #8

    Series Book 8 - Plaisted Publishing House Presents
    The Ghostly Rites Crew is back again with another collection of spooky short stories and perfectly haunting poems that will tickle your senses and send shivers down your spineMake yourself comfortable and get ready to dive into the mysterious unearthly tales that fill our pages, written by authors from all over the world that will leave you filled with chills. ... Read more

    Free

  • Group Theoretic Cryptography

    Series series Chapman & Hall/CRC Cryptography and Network Security Series
    Group theory appears to be a promising source of hard computational problems for deploying new cryptographic constructions. This reference focuses on the specifics of using groups, including in particular non-Abelian groups, in the field of cryptography. It provides an introduction to cryptography with emphasis on the group theoretic perspective, making it one of the first books to use this ... Read more

    $143.99 CAD

People who read these also enjoyed

  • Elements of Programming

    “Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, ‘not far.’ Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, ... Read more

    $37.99 CAD

  • Principles of Abstract Interpretation

    Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal ... Read more

    $87.99 CAD

  • Programming Languages and Systems

    27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Edited by Amal Ahmed ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... Read more

    Free

  • Distributed Systems

    Concurrency and Consistency

    Distributed Systems: Concurrency and Consistency explores the gray area of distributed systems and draws a map of weak consistency criteria, identifying several families and demonstrating how these may be implemented into a programming language. Unlike their sequential counterparts, distributed systems are much more difficult to design, and are therefore prone to problems. On a large scale, ... Read more

    $88.79 CAD

  • Markov Logic

    An Interface Layer for Artificial Intelligence

    Series series Synthesis Lectures on Artificial Intelligence and Machine Learning
    Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface ... Read more

    $36.99 CAD

  • A Cryptography Primer

    Secrets and Promises

    Cryptography has been employed in war and diplomacy from the time of Julius Caesar. In our Internet age, cryptography's most widespread application may be for commerce, from protecting the security of electronic transfers to guarding communication from industrial espionage. This accessible introduction for undergraduates explains the cryptographic protocols for achieving privacy of communication ... Read more

    $38.99 CAD

  • Computer Aided Verification

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

    Series Book 2 - 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

  • Handbook of Constraint Programming

    Series series Foundations of Artificial Intelligence
    Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics ... Read more

    $190.39 CAD