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

• Author(s): Argoprep • Publisher: Argo Brothers Inc • Publisher Imprint: Argo Brothers Inc • BISAC: CurriculaPrepare your child for Grade 2 with our award-winning Kids Summer Academy workbook by ArgoPrep. ArgoPrep has been recognized by Forbes 3...

• Author(s): Passbooks • Publisher: National Learning Corp • Publisher Imprint: National Learning Corp • BISAC: Civil ServiceThe Substation Electrician Passbook(R) prepares you for your test by allowing you to take practice exams in the subjects ...

• Author(s): Patrick Dehornoy • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicCet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabil...

• Author(s): J. Roger Hindley • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - GeneralType theory is one of the most important tools in the design of higher-level programming languages...

• Author(s): David Liese • Publisher: Grin Verlag • Publisher Imprint: Grin Verlag • BISAC: GeneralStudienarbeit aus dem Jahr 2012 im Fachbereich Politik - Sonstige Themen, Note: 2,3, Universität Regensburg (Institut für Politikwissenschaft), Spr...

• Author(s): Andrzej Tarlecki • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the proceedings of a Polish/Czechoslovakian symposium on topics including parallel and distributed computing, software...

• Author(s): Terry Stickels • Publisher: Jossey-Bass • Publisher Imprint: Jossey-Bass • BISAC: Teaching - Subjects - MathematicsFrom the Back CoverMath Puzzles and Brainteasers GRADES 6-8 Over 300 Puzzles that Teach Math and Problem-Solving Skill...

• Author(s): Patrick Lambrix • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book constitutes the refereed proceedings of Satellite Events held at the 19th 19th International C...

• Author(s): Peter J. Ashenden • Publisher: Morgan Kaufmann Publishers • Publisher Imprint: Morgan Kaufmann Publishers • BISAC: Computer ArchitectureDigital Design: An Embedded Systems Approach Using VHDL provides a foundation in digital design f...

• Author(s): Janet Dine • Publisher: Macmillan • Publisher Imprint: Palgr Mac • Subject: Law and CriminologyCompany Law is a complete and accessible guide to the legal framework in which companies operate, which does not oversimplify the complex ...

• Author(s): Barbara Tremblay Cipak • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Logic & Brain TeasersHow smart are you? ... Can you solve this riddle? Ready? Here it is: It's said we all have on...

• Author(s): Neal Deroo • Publisher: Fordham University Press • Publisher Imprint: Fordham University Press • BISAC: Movements - PhenomenologyThe Political Logic of Experience argues that experience and phenomenology are essentially political, wi...

• Author(s): Jean-Yves Beziau • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThe theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and resear...

• Author(s): Jordan Strong • Publisher: Jordan Strong • Publisher Imprint: Jordan Strong • BISAC: Humor - Jokes & Riddles

• Author(s): Bernie Lewin • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Ancient - GeneralFifty years ago, a small sparse book came out under the pretentious title Laws of Form. Its author might have on...

• Author(s): Lena Funcke • Publisher: Grin Verlag • Publisher Imprint: Grin Verlag • BISAC: GeneralStudienarbeit aus dem Jahr 2014 im Fachbereich Philosophie - Theoretische (Erkenntnis, Wissenschaft, Logik, Sprache), Note: 1.0, Universität Münste...

• Author(s): Jorge Alberto Krieger • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: MetaphysicsLa directriz principal de este ensayo, pretende demostrar que la lógi...

• Author(s): Alaric Hemingway • Publisher: Alaric Hemingway • Publisher Imprint: Alaric Hemingway • BISAC: Environmental - GeneralUnlock the profound potential within you and revolutionize your coding prowess with "Programming Paradigms' Profound...

• Author(s): Harry D. Foster • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignChapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Sa...

• Author(s): Richard Kirwan • Publisher: Kessinger Publishing • Publisher Imprint: Kessinger Publishing • BISAC: EssaysLogic V2 is a book written by Richard Kirwan in 1807. It is an essay on the elements, principles, and different modes of reason...

• Author(s): Vince • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Data Science - GeneralFrom the Back CoverIn this third edition of Foundation Mathematics for Computer Science, John Vinc...

• Author(s): Guy Cousineau | Michel Mauny | K. Callaway • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralA programming course should concentrate on a program's logical...

• Author(s): Anna-Vanadis Faix • Publisher: Grin Verlag • Publisher Imprint: Grin Verlag • BISAC: GeneralBachelorarbeit aus dem Jahr 2012 im Fachbereich Philosophie - Theoretische (Erkenntnis, Wissenschaft, Logik, Sprache), Note: 2,0, Eberhard-Ka...

• Author(s): Antoine Fournaise • Publisher: Bod - Books on Demand • Publisher Imprint: Bod - Books on Demand • BISAC: ReferenceJe raconte les pensées philosophiques d'une jeune femme à qui il arrive des malheurs, ainsi que l'histoire de 2 soeurs ...

• Author(s): B. J. Wheelock • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Home SchoolingVolume Two of the two-volume series of Christian worldview textbooks titled You Are What You Think. The series is...

• Author(s): Sonja Mayr-Stockinger • Publisher: Grin Verlag • Publisher Imprint: Grin Verlag • BISAC: ReferenceStudienarbeit aus dem Jahr 2003 im Fachbereich Psychologie - Allgemeine Psychologie, Note: 1, Universität Salzburg (Institut für Psycho...

• Author(s): Teli Publications • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: College GuidesCalculus finally explained in plain English.Calculus Made Simple - Volume I: Limits and Derivatives from TELI ...

• Author(s): Hung T. Nguyen • Publisher: Taylor & Francis • Publisher Imprint: Chapman Hall • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - Systems Analysis & DesiA First Course in ...

• Author(s): Shawn Hedman • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: LogicThe ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students....

• Author(s): Marek W. Bielecki • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: LogicThis revised, 2nd edition of Logic Made Clear is designed for readers intereste...

• Author(s): Gary Ebbs • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: LogicTo clarify and facilitate our inquiries we need to define a disquotational truth predicate that we are directly licensed to apply not only to our own sen...

• Author(s): Wilfred R. Bion • Publisher: Routledge • Publisher Imprint: Routledge • BISAC: GeneralThis is a collection of occasional writings by Bion, covering a period between 1958 and 1979, which delve into a wide range of material - psychoana...

• Author(s): Diana Panke • Publisher: Sage Publications Ltd • Publisher Imprint: Sage Publications Ltd • BISAC: MethodologyHeavily grounded in theory and context, this book explores the philosophical issues and debates surrounding social science ...

• Author(s): Bogdan Kireeve | Chas Clawson • Publisher: Packt Publishing • Publisher Imprint: Packt Publishing • BISAC: Security - NetworkingBuild a modern security intelligence program with Sumo Logic that combines DevSecOps practices, Cloud SIE...

• Author(s): Carlo Cellucci • Publisher: Springer • Publisher Imprint: Springer • BISAC: History & Surveys - GeneralFrom the Back CoverThis volume examines the limitations of mathematical logic and proposes a new approach to logic intended to...

• Author(s): Shirshendu Roy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThe book is designed to serve as a textbook for courses offered to undergraduate and graduate students enr...