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): Vaibbhav Taraate • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralThis volume covers digital design techniques, exercises and applications. The book discusses ...

• 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): Ata Elahi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis updated textbook covers digital design, fundamentals of computer architecture, and ARM assembly language. ...

• Author(s): Gary K. Yeap • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignPractical Low Power Digital VLSI Design emphasizes the optimization and trade-off techniques that involve power dissipation, in the hope that the r...

• 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): 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): 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): 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): 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): 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): Vaibbhav Taraate • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book is designed to serve as a hands-on professional reference with additional utility as a textboo...

• 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): Ernst G. Ulrich • Publisher: Springer • Publisher Imprint: Springer • BISAC: ElectricalConcurrent simulation is over twenty years old. During that pe- riod it has been widely adopted for the simulation of faults in digital circuits, ...

• Author(s): Vaibbhav Taraate • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book is designed to serve as a hands-on professional reference with additional utility as a textboo...

• 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): 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): 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): Lex DeHaan • Publisher: Springer • Publisher Imprint: Apress • BISAC: Software Development & Engineering - GeneralNow available in paperback-- Relational databases hold data, right? They do indeed, but to think of a database as ...

• 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): 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): 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): Shimon P. Vingron • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThe 2nd edition has been thoroughly revised and is intended as a wakeup call in the stagnant and dorman...

• 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): 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): 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...