著者:Zhe Hou
出版社: Springer International Publishing
発売日: 2022年01月04日
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exe……続きを見る
This book describes digital design techniques with exercises. The concepts and exercises discussed are useful to design digital logic from a set of given specifications. Looking at current trends of……続きを見る
Esta es la primera entrega de cuatro del ciclo dedicado a los entornos. El contenido establece un mecanismo que sirve para que todos los agentes que conviven en un entorno virtual puedan sincronizar……続きを見る
出版社: Springer International Publishing
発売日: 2021年12月31日
This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal rea……続きを見る
Bienvenue dans InDesign, l’application professionnelle de mise en page. Dans ce manuel, vous découvrirez la manière de travailler efficacement avec le texte en utilisant les menus, l’espace de trava……続きを見る
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois a……続きを見る
Covering both the fundamentals and the in-depth topics related to Verilog digital design, both students and experts can benefit from reading this book by gaining a comprehensive understanding of how……続きを見る
出版社: Springer International Publishing
発売日: 2022年06月29日
This book constitutes the refereed proceedings of the 37th International Conference on High Performance Computing, ISC High Performance 2022, held in Hamburg, Germany, during May 29 – June 2, 2022.
……続きを見る
The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer s……続きを見る
The complexity of modern chip design requires extensive use of specialized software throughout the process. To achieve the best results, a user of this software needs a high-level understanding of t……続きを見る
出版社: Springer International Publishing
発売日: 2022年07月19日
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.
The 10 full papers and……続きを見る
出版社: Springer International Publishing
発売日: 2022年08月14日
This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1–3, 2022.
The 8 full papers……続きを見る
Explore the ins-and-outs of optimizing your code to improve performance
KEY FEATURES
● Contains a variety of approaches and tools for resolving, repairing, and fine-tuning enterprise applications.
●……続きを見る
著者:Leo Corry
出版社: Springer International Publishing
発売日: 2022年10月20日
This book discusses the changing conceptions about the relationship between geometry and arithmetic within the Euclidean tradition that developed in the British context of the sixteenth and seventee……続きを見る
This volume covers digital design techniques, exercises and applications. The book discusses digital design and implementation in the context of VLSI and embedded system design. It covers basic digi……続きを見る
This is the first book of a two-volume book set which introduces software defined chips. In this book, it introduces the conceptual evolution of software defined chips from the development of integr……続きを見る
Learn the principles of quantum machine learning and how to apply them
While focus is on financial use cases, all the methods and techniques are transferable to other fields
Purchase of Print or Kin……続きを見る
Discover easy-to-follow solutions and techniques to help you to implement applied mathematical concepts such as probability, calculus, and equations using Python's numeric and scientific libraries K……続きを見る
This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolut……続きを見る
This book constitutes the proceedings of the 19th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2022, which was held in Jinan, China, during September 24-25, 2022.
The……続きを見る
出版社: Springer International Publishing
発売日: 2023年01月03日
This book constitutes the refereed conference proceedings of the workshops held at the 37th International ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022.
The 27 full pape……続きを見る
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event……続きを見る
著者:Afshin Izadian
出版社: Springer International Publishing
発売日: 2023年02月14日
This textbook explains the fundamentals of electric circuits and uses the transfer function as a tool to analyze circuits, systems, and filters. The author avoids the Fourier transform, since this t……続きを見る
著者:David M. Russinoff
出版社: Springer International Publishing
発売日: 2023年01月17日
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, Sec……続きを見る
出版社: Springer International Publishing
発売日: 2023年02月22日
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 ……続きを見る
著者:Vaishak Belle
出版社: Springer International Publishing
発売日: 2023年02月24日
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……続きを見る
This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctne……続きを見る
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 ……続きを見る
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 bo……続きを見る
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 Ents……続きを見る