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

• Author(s): Carl Prantl • Publisher: Nabu Press • Publisher Imprint: Nabu Press • BISAC: GeneralThis is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures,...

• Author(s): Timothy M. Johnson • Publisher: Captains Engineering Services • Publisher Imprint: Captains Engineering Services • BISAC: Teaching - GeneralThis lab book takes the Altera software Quartus II and their design principles to guide the s...

• 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): John Neville Keynes • Publisher: Jackson Press • Publisher Imprint: Jackson Press • BISAC: GeneralThis early work on philosophy is both expensive and hard to find in its first edition. It contains studies and exercises used in formal...

• 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): John Passafiume • Publisher: Wiley • Publisher Imprint: Wiley • BISAC: GeneralThe perfect complement to computer architecture and logic texts. This widely praised tutorial and lab book gives practice in the fundamentals of digital lo...

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

• Author(s): Josep Maria Font • Publisher: College Publications • Publisher Imprint: College Publications • BISAC: Artificial Intelligence - GeneralAbstract algebraic logic is the more general and abstract side of algebraic logic, the branch of m...

• 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): Christian Julius Braniss • Publisher: Nabu Press • Publisher Imprint: Nabu Press • BISAC: GeneralThis is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, po...

• Author(s): Gil Sagi | Jack Woods • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: LogicThis collection of new essays presents cutting-edge research on the semantic conception of logic, the invaria...

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

• Author(s): Bramer | Max • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Languages - GeneralFrom the Back CoverLogic Programming is the name given to a distinctive style ...

• Author(s): Bertrand Russell • Publisher: Taylor & Francis • Publisher Imprint: Routledge Classics • Subject: Religion and Philosophy • BISAC: GeneralFirst published in 1903, Principles of Mathematics was Bertrand Russell’s first major work ...

• Author(s): Wolfgang Stegmüller • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic

• Author(s): Kumar A. Anand • Publisher: PHI Learning Pvt Ltd • Publisher Imprint: PHI Learning Pvt LtdThis concise and systematically organized text, now in its second edition, gives a clear insight into various membrane separation processes. It...

• Author(s): W. E. Johnson • Publisher: Legare Street Press • Publisher Imprint: Legare Street Press • BISAC: LogicThis classic text provides a thorough overview of the field of logic. The author offers clear explanations of key concepts and prin...

• Author(s): Michael Holz | Klaus-Peter Podewski • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• Author(s): Andrzej Indrzejczak • Publisher: Springer Verlag • Publisher Imprint: Birkhauser • Subject: Mathematics and Statistics • BISAC: LogicFrom the Back CoverThis textbook offers a detailed introduction to the methodology and applications ...

• 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): Samuel Richard Bosanquet • Publisher: Kessinger Publishing • Publisher Imprint: Kessinger Publishing • BISAC: GeneralA New System of Logic, and Development of the Principles of Truth and Reasoning: Applicable to Moral Subjects and th...

• Author(s): Lotze Hermann • Publisher: Legare Street Press • Publisher Imprint: Legare Street Press • BISAC: LogicThis work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know...

• Author(s): Peter Øhrstrøm • 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 questions withi...

• Author(s): Alexander Bain • Publisher: Hachette Livre Bnf • Publisher Imprint: Hachette Livre Bnf • BISAC: GeneralLogique déductive et inductive. vol. 1 / par Alexandre Bain, ...; trad. de l'anglais par Gabriel Compayré, ...Date de l'édition or...

• Author(s): Samuel Richard Bosanquet • Publisher: Kessinger Publishing • Publisher Imprint: Kessinger Publishing • BISAC: GeneralA New System of Logic and Development of the Principles of Truth and Reasoning: Applicable to Moral Subjects and the...

• Author(s): Uday Panwar • Publisher: LAP Lambert Academic Publishing • Publisher Imprint: LAP Lambert Academic Publishing • BISAC: Electronics - GeneralDr. Uday Panwar is a distinguished academician and researcher currently serving as Faculty in...

• Author(s): S. Mathioudakis • Publisher: Authorhouse UK • Publisher Imprint: Authorhouse UK • BISAC: GeneralThe edition of this book takes the concept of embedded circuits to a higher level of functionality. The text is aimed at the design of a ...

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