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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): Yuning Cheng • Publisher: Springer • Publisher Imprint: Springer • BISAC: Landscape

• Author(s): Annie Gentes • Publisher: Springer • Publisher Imprint: Springer • BISAC: ReferenceFrom the Back CoverDesign is a conceptive activity which is usually presented as a sensible, sequential process and action. This book claims that desi...

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

• 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): Svetlana N. Yanushkevich • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThere are three outstanding points of this book. First: for the first time, a collective point of view on the role of artifici...

• Author(s): Paul Lorenzen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logicin die operative Logik und Mathematik Zweite Auflage Springer-Verlag Berlin Heidelberg New York 1969 Paul Lorenzen o. Prof. der Philosophie an der Univer...

• Author(s): Mohamed A. Amer • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverThis book is a treatise on Aristotelian assertoric syllogistic, which is currently of growing interest. Some centuries ago, it attra...

• Author(s): Ashutosh Kumar Singh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - General

• Author(s): Smita Krishnaswamy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverIntegrated circuits (ICs) increasingly exhibit uncertain characteristics due to soft errors, inherentl...

• Author(s): Nimrod Bar-Am • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralFrom the Back CoverThis vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western thou...

• Author(s): G. H. Müller | A. Oberschelp | K. Potthoff • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic

• Author(s): Anupam Saxena • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedA new discipline is said to attain maturity when the subject matter takes the shape of a textbook. Several textbooks later, the discipline tends to acq...

• Author(s): José Monteiro • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralRapid increases in chip complexity, increasingly faster clocks, and the proliferation of portable devices have combined to make power dissipation an im...