LogicWorks 5

Author: Capilano Computing
Publisher: Prentice Hall
ISBN: 9780131456587
Format: PDF, ePub, Mobi
Download Now
LogicWorks is the schematic drawing and interactive digital simulation package that has set the standard for demonstrating logic design principles and practices while producing professional results. LogicWorks 5 helps the reader understand the concepts of using these tools in a variety of design situations in electrical and computer engineering and computer science. Features a subset of the industry-standard VHDL language and fully mixes high-level language and structural design methods. Displays any values in a simulation using the preformatted HTML. Simplifies the creation of component simulations. For anyone interested in learning more about digital design, electrical engineering and computer technology.

Introduction to Logic Design Second Edition

Author: Sajjan G. Shiva
Publisher: CRC Press
ISBN: 9780824700829
Format: PDF, ePub, Docs
Download Now
The second edition of this text provides an introduction to the analysis and design of digital circuits at a logic, instead of electronics, level. It covers a range of topics, from number system theory to asynchronous logic design. A solution manual is available to instructors only. Requests must be made on official school stationery.

Computerworld

Author:
Publisher:
ISBN:
Format: PDF, ePub, Mobi
Download Now
For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.

Sylloge Inscriptionum Graecarum

Author: Wilhelm Dittenberger
Publisher: Createspace Independent Publishing Platform
ISBN: 9781533511836
Format: PDF
Download Now
Sylloge inscriptionum Graecarum - Vol. III by Wilhelm Dittenberger. This book is a reproduction of the original book published in 1901 and may have some imperfections such as marks or hand-written notes.

Proof and Disproof in Formal Logic

Author: Richard Bornat
Publisher: Oxford University Press on Demand
ISBN: 0198530277
Format: PDF, ePub, Docs
Download Now
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses - natural deduction - is very simple and shows how large mathematical universes can be built on small foundations. Aimed at undergraduates and graduates in computerscience, logic, mathematics, and philosophy, the text includes reference to...