Search results for “[Subject: logic-design]”

• Author(s): David Protheroe Douglas Lewin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - General

• Author(s): Shimon P. Vingron • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralThe 2nd edition has been thoroughly revised and is intended as a wakeup call in the stagnant and dormant field of switchin...

• Author(s): Taraate • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis volume covers digital design techniques, exercises and applications. The book ...

• Author(s): Adrian Thompson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignEvolution through natural selection has been going on for a very long time. Evolution through artificial selection has been practiced by humans ...

• Author(s): Elahi | Ata • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralThis updated textbook covers digital design, fundamentals of computer architecture, and ARM assemb...

• Author(s): Brock J. Lameres • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requ...

• Author(s): Mathai Joseph • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick o...

• Author(s): Brock J. Lameres • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralThis textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computer...

• Author(s): John Y. Hsu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralWith its well-focused approach and clarity of presentation, this new text/reference is an excellent resource for advanced students and prac...

• Author(s): Vaibbhav Taraate • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis second edition focuses on the thought process of digital design and implementation in the context o...

• Author(s): Michael Genesereth • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: GeneralThis book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at ...

• Author(s): Patrick C. McGeer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the var...

• Author(s): Brock J. Lameres • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralThis textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, s...

• Author(s): Daniele Mundici • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicSenza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completez...

• Author(s): Patricia Melin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book presents recent advances on the design of intelligent systems based on fuzzy logic, neural netw...

• Author(s): Nissim Francez • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThe main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor-...

• Author(s): Brock J. Lameres • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis textbook for courses in Digital Systems Design introduces students to the fundamental hardware used...

• Author(s): Lameres | Brock J. • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralThis textbook introduces readers to the fundamental hardware used in modern computers. The ...

• Author(s): Vaibbhav Taraate • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book describes digital design techniques with exercises. The concepts and exercises discussed are u...

• Author(s): Lutz Voelkel | Jürgen Pliquett • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignDie Signaturanalyse ist eine spezielle Methode der Fehlerdiagnose komplexer digitaler Schaltungen. bei der lange Signalfolgen dur...

• Author(s): Laszlo Csirmaz • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicThis book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 3...

• Author(s): Alexander Barkalov • Publisher: Springer • Publisher Imprint: Springer • BISAC: AutomationFrom the Back CoverThis book focuses on control units, which are a vital part of modern digital systems, and responsible for the efficiency of ...

• Author(s): David Makinson • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Data Science - GeneralThis easy-to-understand textbook introduces the mathematical language and...

• Author(s): Brock J. LaMeres • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralThis textbook for courses in Digital Systems Design introduces students to the fundamental ha...

• Author(s): Audun Jøsang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis is the first comprehensive treatment of subjective logic and all its operations. The author developed ...

• Author(s): Susanne Biundo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignIn diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein dedukt...

• Author(s): Asadi | Farzin • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis textbook provides a compact but comprehensive treatment that guides stu...

• Author(s): João Rasga | Cristina Sernadas • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicFrom the Back CoverThis textbook provides a self-contained introduction to decidability of ...

• Author(s): Anil Nerode • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralIn writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textb...

• Author(s): J. P. Perrin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Architecture

• Author(s): Roman Kossak • Publisher: Springer • Publisher Imprint: Springer • BISAC: History & PhilosophyFrom the Back CoverThis book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of m...

• Author(s): Georg Gottlob | G. Fleischanderl | Thomas Frühwirth • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralDas vorliegende Buch gibt einen umfassenden Überblick über das wohl aktivste Forschungs...

• Author(s): Moerdijk • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicAbout the Book This textbook provides a concise and self-contained introduction to mathematical logic, with a foc...

• Author(s): Yuning Cheng • Publisher: Springer • Publisher Imprint: Springer • BISAC: Landscape

• Author(s): John P. Uyemura • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringCMOS Logic Circuit Design is an up-to-date treatment of the analysis and design of CMOS integrated digital logic circuits. It is a self-...

• Author(s): W. Marciszewski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic1. STRUCTURE AND REFERENCES 1.1. The main part of the dictionary consists of alphabetically arranged articles concerned with basic logical theories and...