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...
  • YOU CAN’T LIVE THE CHRISTIAN LIFE ALONE

    WE NEED EACH OTHER

    This book is for the nonbeliever to find Christ and for the new believer and the mature believer to find God's way is the best way with the Holy Spirit's help to become more like our Lord and Savior Jesus Christ. The new Christian will find help getting married God's way as well as how to walk in the Spirit, pray, and share the gospel. It will help the Christian to find his gift to serve the Lord ... Read more

    $3.99 USD

  • Next Generation Arithmetic

    5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20–21, 2024, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 5th International Conference for Next Generation Arithmetic, CoNGA 2024, held in Sydney, NSW, Australia, during February 20–21, 2024.The 5 revised full papers presented were carefully selected from 9 submissions. CoNGA is the leading conference on emerging technologies for computer arithmetic. The demands of both AI and HPC have ... Read more

    Was $98.99 USD Now $53.99 USD

  • And Then We Laughed

    My Life of Rodney David

    I think the key is to trust God as He can keep tract of children better that parents or anyone else. Teach them to know God and I believe everything will work out for good. Every rascal I have ever known has the same answers when they get old and grow up and look back at their life and laugh knowing someone was always looking out for them. ... Read more

    $8.99 USD

  • Next Generation Arithmetic

    Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1–3, 2022.The 8 full papers included in this book were carefully reviewed and selected from 12 submissions. They deal with emerging technologies for computer arithmetic focusing on the demands of both AI and high-performance ... Read more

    $58.99 USD

  • Next Generation Arithmetic

    4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Conference on Next Generation Arithmetic, CoNGA 2023, held in Singapore, during March 1-2, 2023.The 11 full papers in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Lossless FFTs Using Posit Arithmetic, PLAUs: Posit Logarithmic Approximate Units to ... Read more

    $53.99 USD

People who read these also enjoyed

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

    Free

  • Handbook of Discrete and Combinatorial Mathematics

    Edited by Kenneth H. Rosen ...
    Series series Discrete Mathematics and Its Applications
    Handbook of Discrete and Combinatorial Mathematics provides a comprehensive reference volume for mathematicians, computer scientists, engineers, as well as students and reference librarians.The material is presented so that key information can be located and used quickly and easily. Each chapter includes a glossary. Individual topics are covered in sections and subsections within chapters, each of ... Read more

    $345.00 USD

  • Graph Theoretic Methods in Multiagent Networks

    Series series Princeton Series in Applied Mathematics
    This accessible book provides an introduction to the analysis and design of dynamic multiagent networks. Such networks are of great interest in a wide range of areas in science and engineering, including: mobile sensor networks, distributed robotics such as formation flying and swarming, quantum networks, networked economics, biological synchronization, and social networks. Focusing on graph ... Read more

    $66.99 USD

  • 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

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Edited by Tomáš Vojnar, Lijun Zhang ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Read more

    Free

  • Encyclopedia of Computer Science and Technology

    Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation

    Edited by Allen Kent, James G. Williams ...
    Series series Computer Science and Technology Encyclopedia
    Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation. Covering more than basic computer commands and procedures, this encyclopaedia summarizes how technology has developed, the future of computer programs and applications, and the significance of computer components. Following an introduction and overview, there are approximately 750 to 800 entries. ... Read more

    $54.99 USD

  • Concepts of Combinatorial Optimization, Volume 1

    Edited by Vangelis Th. Paschos ...
    Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management.The three volumes of the Combinatorial Optimization series aims to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of ... Read more

    $163.00 USD