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

• Author(s): Brian Garrett • Publisher: Taylor & Francis • Publisher Imprint: Routledge • BISAC: LogicElementary Logic explains what logic is, how it is done, and why it can be exciting. The book covers the central part of logic that all stud...

• Author(s): M. Morris Mano • Publisher: Pearson Education Limited • Publisher Imprint: Pearson Education Limited

• Author(s): MANESIS • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Engineering • BISAC: ElectricalThis book provides an extended overview and fundamental knowledge in industrial automation, while building the necessa...

• Author(s): Rudy Wojtecki • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • BISAC: MechanicalAs industrial processes become more and more automated, Air Logic Control (ALC) becomes increasingly important. As the use of ALC becom...

• Author(s): Pran Kurup • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverLogic Synthesis Using Synopsys, Second Edition, is for anyone who hates reading manuals but would still like to learn logic synthe...

• Author(s): Dieter Hofbauer | Ralf-Detlef Kutsche • Publisher: Vieweg+teubner Verlag • Publisher Imprint: Vieweg+teubner Verlag • BISAC: Engineering (General)Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und ...

• Author(s): Peter Øhrstrøm | Per Hasle • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicTemporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic que...

• Author(s): Jakob Friedrich Fries • Publisher: Vero Verlag • Publisher Imprint: Vero Verlag • BISAC: Reference\"Logik ist die Wissenschaft von den Regeln des Denkens. Diese Erklärung ist zweideutig. Unter den Regeln des Denkens können wir ersten...

• Author(s): Karl Popper • Publisher: Taylor & Francis • Publisher Imprint: Routledge • Subject: Religion and Philosophy • BISAC: Philosophy & Social AspectsDescribed by the philosopher A.J. Ayer as a work of 'great originality and power'...

• Author(s): Madan M. Gupta • Publisher: Academic Press • Publisher Imprint: Academic Press • BISAC: Artificial Intelligence - GeneralThe field of soft computing is emerging from the cutting edge research over the last ten years devoted to fuzzy ...

• Author(s): Alessandro Andretta | Keith Kearnes | Domenico Zambella • Publisher: Cambridge UP • Publisher Imprint: Cambridge • Subject: Mathematics and Statistics • BISAC: LogicAbout the Book Highlights of this volume from the 2004 Annual Europe...

• Author(s): Francine F. Abeles • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to ma...

• Author(s): Dan Allbaugh | Anil Yap • Publisher: Green Meeple Books • Publisher Imprint: Green Meeple Books • BISAC: Mathematics - ArithmeticAn Intermediate Logic Workbook for Gritty Kids provides fun, diverse, and engaging puzzles as a part of ...

• Author(s): Raymond S. Nickerson • Publisher: Taylor & Francis • Publisher Imprint: Routledge • BISAC: LogicFirst published in 1986. Reflections on Reasoning Is a clearly written introduction that guides high school and college students, tea...

• Author(s): S. C. Kleene • Publisher: North-Holland • Publisher Imprint: North-Holland • BISAC: GeneralStephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the...

• Author(s): H. W. B. Joseph • Publisher: Literary Licensing, LLC • Publisher Imprint: Literary Licensing, LLC • BISAC: GeneralThis Is A New Release Of The Original 1906 Edition.

• Author(s): Bird • Publisher: Taylor & Francis • Publisher Imprint: Routledge • Subject: Engineering • BISAC: Engineering (General)About the Book This compendium of essential formulae, definitions, tables and general information provides the...

• Author(s): John Stuart Mill • Publisher: Outlook Verlag • Publisher Imprint: Outlook Verlag • BISAC: LiteraryReproduction of the original: A System of Logic: Ratiocinative and Inductive 7th Edition, Vol. II by John Stuart Mill

• Author(s): Umesh Joshi • Publisher: MixGD • Publisher Imprint: MixGD • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - Systems Analysis & DesiA Patterns Approach to Designing Distribute...

• Author(s): James Wilkinson Miller • Publisher: Taylor & Francis • Publisher Imprint: Routledge • BISAC: LogicOriginally published in 1938. This compact treatise is a complete treatment of Aristotle's logic as containing negative terms. It b...

• Author(s): Frédéric-Auguste Ferdina de Reiffenberg • Publisher: Hachette Livre Bnf • Publisher Imprint: Hachette Livre Bnf • BISAC: GeneralPrincipes de logique: suivis de l'histoire et de la bibliographie de cette science / par le Bon de Reiffe...

• Author(s): Itamar Levi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book presents a unique design approach and utilization of a novel digital gates family known as Dual Mod...

• Author(s): Willard Van Orman Quine • Publisher: Harvard University Press • Publisher Imprint: Harvard University Press • BISAC: LogicThis widely used textbook of modern formal logic now offers a number of new features. Incorporating updated not...

• Author(s): Dominique Snyers | Andre Thayse • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic ...

• Author(s): Fenrong Liu • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverOur preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in ma...

• Author(s): M. D'Agostino • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicRecent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many diffe...

• Author(s): Ewa Orlowska • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverThe book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt ...

• Author(s): Arthur Richard Schweitzer • Publisher: Wentworth Press • Publisher Imprint: Wentworth Press • BISAC: GeneralThis work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as w...

• Author(s): Sasan Iman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMLogic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimiza...

• Author(s): Wilhelm | Isaac • Publisher: Taylor & Francis • Publisher Imprint: Routledge • Subject: Religion and Philosophy • BISAC: GeneralLogic for Justice is an accessible and detailed introduction to propositional and first-order logic, ...

• Author(s): Mark S. Nixon • Publisher: Imperial College Press • Publisher Imprint: Imperial College Press • BISAC: Electronics - Circuits - LogicThis practical introduction explains exactly how digital circuits are designed, from the basic circu...

• Author(s): Luca Gaetano Amaru • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book introduces new logic primitives for electronic design automation tools. The author approache...

• Author(s): Luca Gaetano Amaru • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book introduces new logic primitives for electronic design automation tools. The author approache...

• Author(s): AVI Sion • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: LogicInductive Logic is a 'thematic compilation' by Avi Sion. It collects in one volume many ...

• Author(s): Rick Monge • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: PuzzlesResistance is an extraordinary new type of logic puzzle that will help you to unders...

• Author(s): Matthias Varga Von Kibed • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicDiese Absicht wurde verstärkt durch den äu eren Umstand, da in zunehmendem Ma e Mathematikstudenten der Münchner Universität bei mir Logik al...