Posted by **AvaxGenius** at April 17, 2017

English | PDF | 2017 | 468 Pages | ISBN : 3319538829 | 41.30 MB

This textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers. Coverage includes both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based).

Posted by **AvaxGenius** at Dec. 31, 2016

English | EPUB | 475 Pages | 2017 | ISBN : 3319341944 | 27.50 MB

This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school.

Posted by **Underaglassmoon** at Sept. 17, 2016

Springer | Circuits & Systems | October 17, 2016 | ISBN-10: 3319341944 | 475 pages | pdf | 47.87 mb

Authors: LaMeres, Brock J.

Emphasizes examples from which students can learn: contains a solved example for nearly every section in the book

Includes more than 600 exercise problems, as well as concept check questions for each section, tied directly to specific learning outcomes

Posted by **step778** at Jan. 23, 2015

1989 | pages: 134 | ISBN: 3802302915 | PDF | 9,1 mb

Posted by **step778** at Sept. 7, 2016

1990 | pages: 298 | ISBN: 0226280853 | DJVU | 2,2 mb

Posted by **Jeembo** at April 14, 2017

English | 1990 | ISBN: 0029461928 | 617 Pages | DJVU | 19.1 MB

Introduction to Logic is a proven textbook that has been honed through the collaborative efforts of many scholars over the last five decades.

Posted by **hill0** at March 27, 2017

English | 16 Nov. 2012 | ISBN: 144714533X | 308 Pages | EPUB (True) | 3.77 MB

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study,

Posted by **naag** at March 18, 2017

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | EPUB | 0.1 MB

Posted by **hill0** at Feb. 7, 2017

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Posted by **Nice_smile)** at Jan. 29, 2017

English | 2008 | ISBN: 1598293508 | 110 Pages | PDF | 7.95 MB