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

• Author(s): Taraate • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis volume covers digital design techniques, exercises and applications. The book ...

• Author(s): Elahi | Ata • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralThis updated textbook covers digital design, fundamentals of computer architecture, and ARM assemb...

• Author(s): Michael Genesereth • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: GeneralThis book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at ...

• Author(s): Lameres | Brock J. • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralThis textbook introduces readers to the fundamental hardware used in modern computers. The ...

• Author(s): Laszlo Csirmaz • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicThis book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 3...

• Author(s): Brock J. LaMeres • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralThis textbook for courses in Digital Systems Design introduces students to the fundamental ha...

• Author(s): Asadi | Farzin • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis textbook provides a compact but comprehensive treatment that guides stu...

• Author(s): João Rasga | Cristina Sernadas • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicFrom the Back CoverThis textbook provides a self-contained introduction to decidability of ...

• Author(s): Moerdijk • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicAbout the Book This textbook provides a concise and self-contained introduction to mathematical logic, with a foc...

• Author(s): Supowit • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Computer ScienceLogicians have developed beautiful algorithmic techniques for the construction of comp...

• Author(s): C.T. Chong • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• 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): 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): Heinz-Dieter Ebbinghaus • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicThis introduction to first-order logic clearly works out the role of first-order logic in the foun...

• Author(s): A.S. Kechris | D.A. Martin • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics

• Author(s): Heinz-Dieter Ebbinghaus | Gert H. Muller • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• Author(s): Asadi • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis textbook provides a compact but comprehensive treatment that guides students thr...

• Author(s): Damir D. Dzhafarov • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Data Science - GeneralReverse mathematics studies the complexity of proving mathematical theorems and solvin...

• 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): Singh, Himanshu • Publisher: Springer Verlag • Publisher Imprint: Apress • Subject: Computer Science and Information Technology • BISAC: Artificial Intelligence - GeneralFrom the Back CoverGain insight into fuzzy logic and neural net...

• Author(s): C. Berline | K. McAloon • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• Author(s): Farzin Asadi • Publisher: Springer Verlag • Publisher Imprint: Apress • Subject: Computer Science and Information Technology • BISAC: Hardware - GeneralLearn the fundamental principles of electronic components in a simple, easy-to-fo...

• Author(s): Donzellini | Giuliano • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: ElectricalFrom the Back CoverThis book has been designed for a first course on digital design for engineering and comput...

• Author(s): Ulrike Barthelmeß • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Artificial Intelligence - GeneralFrom the Back CoverDigitalization is inexorably conquering ...

• Author(s): Sutherland | Stuart • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralFrom the Back CoverSystemVerilog is a rich set of extensions to the Verilog Hardware Descr...

• Author(s): Charu C. Aggarwal • Publisher: Springer Verlag • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis textbook covers the broader field of artificial intelligence. The chapters for this textbo...

• Author(s): Hayashi | Takashi • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Game TheoryFrom the Back CoverThis textbook covers microeconomic theory at the level of intermediate and adva...

• Author(s): Markus Janczyk • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: BiostatisticsWhat actually is a p-value for? And what is a significant result? This book answers such questions ...

• Author(s): Robert S. Rumely • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Geometry - AlgebraicAbout the Book Capacity is a measure of size for sets, with diverse applications in pote...

• Author(s): Craig Dilworth • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Religion and Philosophy • BISAC: EpistemologyFrom the Back CoverKuhn and Feyerabend formulated the problem. Dilworth provides the solution. In th...

• Author(s): ÆGidius Mogensen | Torben • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Languages - GeneralThis textbook is intended as a guide for programming-language des...

• Author(s): Belous • Publisher: Springer Verlag • Publisher Imprint: Springer Verlag • Subject: Engineering • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book describes for readers the entire, interconnected complex of theoret...

• Author(s): Edward A. David • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Religion and Philosophy • BISAC: Business EthicsThis book addresses one of the most urgent issues in contemporary American law--namely, the logic a...

• Author(s): Marco T. Morazán • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis textbook presents a s...

• Author(s): Johannesson • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - GeneralThis book is an introductory text on design scienc...