13,369円 This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on a unified theory of register-transfer logi...

9,116円 This book constitutes revised selected papers of the 8th Latin American High Performance Computing Conference, CARLA 2021, held in Guadalajara, Mexico, in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode. The 16 revised full papers and 2 short papers presented ...

4,861円 This book discusses the two fundamental elements that underline the science and design of artificial intelligence (AI) systems: the learning and acquisition of knowledge from observational data, and the reasoning of that knowledge together with whatever information is available about the applicat...

6,624円 This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standar...

500円 With help of design support & code given in this book, you will be able to develop your own Snakes & Ladders Game instantly. In addition to fixed snakes and ladders, the game features two automated escalators, which dramatically send the player up and down. However Design and Code given in this b...

6,685円 This book constitutes the refereed proceedings of the 4th International Conference on Next Generation Arithmetic, CoNGA 2023, held in Singapore, during March 1-2, 2023. The 11 full papers in this book were carefully reviewed and selected from 16 submissions. They were organized in topical section...

1,135円 Heutige Computer stellen technische Meisterwerke dar. Doch wie ist es eigentlich möglich, dass ein Stück Silizium zusammen mit ein bisschen Strom ganz alleine Berechnungen ausführt und logische Entscheidungen trifft? Die Antwort auf diese Frage führt uns auf eine faszinierende Reise zu den Grundl...

2,647円 The eighth edition of this widely popular book is designed to introduce its readers to important concepts in Computer Science, Computer Applications, and Information Technology, through a single book. With numerous illustrative diagrams, practical examples, chapter summaries, end-of-chapter quest...

4,649円 Demystify causal inference and casual discovery by uncovering causal principles and merging them with powerful machine learning algorithms for observational and experimental data Get With Your Book: PDF Copy, AI Assistant, and Next-Gen Reader FreeKey FeaturesExamine Pearlian causal concepts such ...

3,444円 Explore the inner workings of AI along with its limitations and future developments and create your first transparent and trustworthy neuro-symbolic AI system Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesUnderstand symbolic and statistical techniques through examples ...

4,146円 Unlock your programming potential with "Data Structures & Algorithms for All Programmers." Dive into over 90 captivating algorithm challenges, spanning more than 600 pages of insights and real-world applications. With comprehensive coverage of essential data structures like linked lists, stacks, ...

7,900円 This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18–19, 2023. The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They wer...