Logic Design

The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and...

This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations,...

Silicon technology now allows us to build chips consisting of tens of millions of transistors. This technology not only promises new levels of system integration onto a single chip, but also presents significant challenges to the chip designer. As a...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781013271205Author Bernhard SteffenFormat PaperbackPage Count 278Imprint Saint Philip Street PressPublisher Saint Philip Street PressWeight(grams) 216g

Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the former aims at minimizing data redundancies, whereas the latter augments the dataset with auxiliary...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780972751421Author Steven M RubinFormat PaperbackPage Count 320Imprint R. L. Ranch PressPublisher R. L. Ranch PressWeight(grams) 635gDimensions(mm) 254mm *...

In the conventional combination of logic circuits, energy loss is an important consideration. Research on reversible logic circuits are of interest to power minimization having applications in low power CMOS design, DNA computing, bioinformatics,...

Very-large-scale integration (VLSI) is the process of creating integrated circuits by combining thousands of transistor-based circuits into a single chip. The first semiconductor chips held one transistor each. Subsequent advances added more and more...

An interdisciplinary guide to enabling technologies for 3D ICs and 5G mobility, covering packaging, design to product life and reliability assessments Features an interdisciplinary approach to the enabling technologies and hardware for 3D ICs and 5G...

This book represents a selection of papers presented at the Inductive Logic Programming (ILP) workshop held at Cumberland Lodge, Great Windsor Park. The collection marks two decades since the first ILP workshop in 1991. During this period the area has...

This volume reports new developments on work in the Quantum Flux Parametron (QFP) project. It makes complete a series on Josephson Supercomputers, which includes four earlier volumes, also published by World Scientific. QFP technology has great potential...

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques...

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques...