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 **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

Posted by **leonardo78** at Dec. 27, 2016

Publisher: Prentice Hall | 1996 | ISBN: 0135360471 | 251 pages | PDF | 1,3 MB

This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers.

Posted by **tanas.olesya** at Nov. 12, 2016

English | 18 Jan. 2008 | ISBN: 0495503835 | 718 Pages | PDF | 9 MB

Tens of thousands of students have learned to be more discerning at constructing and evaluating arguments with the help of Patrick J. Hurley. Hurley's lucid, friendly, yet thorough presentation has made A CONCISE INTRODUCTION TO LOGIC the most widely used logic text in North America.

Posted by **ChrisRedfield** at Oct. 23, 2016

Published: 2000-05-25 | ISBN: 0387986553, 1461264464 | PDF + DJVU | 443 pages | 43.71 MB