Logic Design

As classic digital computers are about to reach their physical and architectural boundaries, interest in unconventional approaches to computing, such as quantum and analog computers, is rapidly increasing. For a wide variety of practical applications,...

Razor Pages lets you build, configure, and deploy amazing dynamic ASP.NET websites with ease. In ASP.NET Core Razor Pages in Action you will learn: Building, configuring, and publishing a data-driven websiteCreating a complete web...

Analyzing how hacks are done, so as to stop them in the future Reverse engineering is the process of analyzing hardware or software and understanding it, without having access to the source code or design documents. Hackers are able to reverse engineer...

In the digital age, where web applications form the crux of our interconnected existence, Web Hacking Arsenal: A Practical Guide To Modern Web Pentesting emerges as an essential guide to mastering the art and science of web application pentesting. This...

How a computational framework can account for the successes and failures of human cognitionAt the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and...

This comprehensive account of the concept and practices of deduction is the first to bring together perspectives from philosophy, history, psychology and cognitive science, and mathematical practice. Catarina Dutilh Novaes draws on all of these...

A hands-on introduction to FPGA prototyping and SoC design This Second Edition of the popular book follows the same "learning-by-doing" approach to teach the fundamentals and practices of VHDL synthesis and FPGA prototyping. It uses a coherent series of...

What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending it to a chip, and having it run on that chip--all without any manufacturing? With Field-Programmable Gate...

This book highlights the display applications of c-axis aligned crystalline indium-gallium-zinc oxide (CAAC-IGZO), a new class of oxide material that challenges the dominance of silicon in the field of thin film semiconductor devices. It is an enabler...

This book describes the application of c-axis aligned crystalline In-Ga-Zn oxide (CAAC-IGZO) technology in large-scale integration (LSI) circuits. The applications include Non-volatile Oxide Semiconductor Random Access Memory (NOSRAM), Dynamic Oxide...

Imagine what a large-scale web project would look like if frontend development were not treated as an add-on, but as an equal partner with backend development and content strategy. This practical book takes experienced web developers through the new...

For courses in Theory and Fabrication of Integrated Circuits. The author's goal in writing this text was to present a concise survey of the most up-to-date techniques in the field. It is devoted exclusively to processing, and is highlighted by careful...

Learn how to design digital circuits with FPGAs (field-programmable gate arrays), the devices that reconfigure themselves to become the very hardware circuits you set out to program. With this practical guide, author Justin Rajewski shows you hands-on...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780648309833Author Svyatoslav KotusevFormat HardbackPage Count 472Imprint Sk PublishingPublisher Sk PublishingWeight(grams) 1021g

This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and binary arithmetic to sequential networks and finite...

A hands-on introduction to FPGA prototyping and SoC design This is the successor edition of the popular FPGA Prototyping by Verilog Examples text. It follows the same "learning-by-doing" approach to teach the fundamentals and practices of HDL synthesis...

How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be...

Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java...

You've heard that quantum computing is going to change the world. Now you can check it out for yourself. Learn how quantum computing works, and write programs that run on the IBM Q quantum computer, one of the world's first functioning quantum computers...

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on...

Designers of high-speed integrated circuits face a bewildering array of choices and too often spend frustrating days tweaking gates to meet speed targets. Logical Effort: Designing Fast CMOS Circuits makes high speed design easier and more methodical,...

Kickstart your emotion analysis journey with this step-by-step guide to data science success Key Features Discover the inner workings of the end-to-end emotional analysis workflow Explore the use of various ML models to derive meaningful insights...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781634623414Author Robert FoxFormat PaperbackPage Count 252Imprint Technics Publications LLCPublisher Technics Publications LLCWeight(grams) 666g

Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789389898040Author Rajkumar SarmaFormat PaperbackPage Count 228Imprint BPB PublicationsPublisher BPB PublicationsWeight(grams) 399gDimensions(mm) 235mm *...

An understanding of the theory and application of logic is fundamental both to successful software and hardware development, and to gain a thorough grasp of modern computing. This book provides a gentle introduction to the subject at a comfortable pace...

Sorry no description is available for this book at this time.

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented...

The book provides a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems. It covers the basics of digital logic through the lens of computer organization and programming. The reader should be able...

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from...

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern...

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern...

The focus of Assertion-Based Design is three-fold: How to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do with the assertions and methodology once you have them...

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22...

This highly relevant and up-to-the-minute book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2008, held in Goeteborg, Sweden, January 27-29, 2008. The 25...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789533071329Author Quiming HuangFormat HardbackPage Count 190Imprint In TechPublisher In TechWeight(grams) 503g

Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789027700193Author B.H. KazemierFormat HardbackPage Count 246Imprint Kluwer Academic PublishersPublisher SpringerWeight(grams) 1190g

Anyone who can interpret decision diagrams using the spectral approach can advance both the utility and understanding of classical DD techniques. This approach also provides a framework for developing advanced solutions for digital design and a host of...

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014. The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of...