Skip to main content

カート

VIP 特典をお楽しみいただけます!

購入できない書籍
お買い物かごをご確認ください。購入不可の商品を削除できます。削除されなかった購入不可の商品は、購入手続き時に削除されます。

おすすめ

Loading...

論理設計 電子書籍

論理設計 の本がお好きな方におすすめです。
414件の検索結果中124を表示
Skip side bar filters
  • About Face

    The Essentials of Interaction Design

    The essential interaction design guide, fully revised and updated for the mobile ageAbout Face: The Essentials of Interaction Design, Fourth Edition is the latest update to the book that shaped and evolved the landscape of interaction design. This comprehensive guide takes the worldwide shift to smartphones and tablets into account. New information includes discussions on mobile apps, touch ... もっと見る

    5,271 円

  • Polynomial Theory of Error Correcting Codes

    シリーズ series Engineering (R0)
    The book offers an original view on channel coding, based on a unitary approach to block and convolutional codes for error correction. It presents both new concepts and new families of codes. For example, lengthened and modified lengthened cyclic codes are introduced as a bridge towards time-invariant convolutional codes and their extension to time-varying versions. The novel families of codes ... もっと見る

    18,231 円

  • Reversible Computation: Extending Horizons of Computing

    Selected Results of the COST Action IC1405

    シリーズ series Computer Science (R0)
    This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.Reversible computation is a new paradigm that extends the traditional forwards-only ... もっと見る

    無料

  • Advances in Swarm Intelligence

    10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I

    編集 Ying Tan, Yuhui Shi, Ben Niu ...
    シリーズ 本: 1 - Springer Nature Proceedings Computer Science
    The two-volume set of LNCS 11655 and 11656 constitutes the proceedings of the 10th International Conference on Advances in Swarm Intelligence, ICSI 2019, held in Chiang Mai, Thailand, in June 2019.The total of 82 papers presented in these volumes was carefully reviewed and selected from 179 submissions. The papers were organized in topical sections as follows:Part I: Novel methods and algorithms ... もっと見る

    8,994 円

  • High Performance Computing. ISC High Performance 2022 International Workshops

    Hamburg, Germany, May 29 – June 2, 2022, Revised Selected Papers

    シリーズ series Springer Nature Proceedings Computer Science
    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 papers were included in this book were carefully reviewed and selected from 43 submissions.ISC High Performance 2022 presents the following workshops:Compiler-assisted Correctness Checking and Performance ... もっと見る

    8,021 円

  • Algorithms and Architectures for Parallel Processing

    18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

    編集 Jaideep Vaidya, Jin Li ...
    シリーズ 本: 2 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel ... もっと見る

    6,076 円

  • Accelerator Programming Using Directives

    5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... もっと見る

    6,076 円

  • Come creare l’immagine coordinata di marca

    L’approccio e gli strumenti indispensabili per definire con coerenza l’espressione visiva della marca

    Livio Savioli ...
    シリーズ 本: 2 - I Quaderni di Liquid Diamond
    Come si fa a scegliere l’abito corretto per la propria marca?Quali sono i meccanismi che permettono di farsi riconoscere visivamente nel mercato?Come si fa a dare uniformità estetica agli strumenti di comunicazione di una marca?Come si fa a trasformare un concetto in un’immagine?Questo quaderno è per i professionisti del marketing e per chi deve coordinare il proprio ufficio comunicazione, ... もっと見る

    1,528 円

  • Reliable and Energy Efficient Streaming Multiprocessor Systems

    シリーズ series Engineering (R0)
    This book discusses analysis, design and optimization techniques for streaming multiprocessor systems, while satisfying a given area, performance, and energy budget. The authors describe design flows for both application-specific and general purpose streaming systems. Coverage also includes the use of machine learning for thermal optimization at run-time, when an application is being executed. The ... もっと見る

    6,076 円

  • High Performance Computing

    36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 36th International Conference on High Performance Computing, ISC High Performance 2021, held virtually in June/July 2021.The 24 full papers presented were carefully reviewed and selected from 74 submissions. The papers cover a broad range of topics such as architecture, networks, and storage; machine learning, AI, and emerging technologies; HPC ... もっと見る

    6,076 円

  • Formal Verification of Floating-Point Hardware Design

    A Mathematical Approach

    シリーズ series Computer Science (R0)
    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 logic and floating-point arithmetic that has been developed and applied to the formal verification of ... もっと見る

    13,369 円

  • Kickstart PLC Programming

    Design and Build Scalable Control Systems Using IEC 61131-3, Ladder Logic, SCADA and HMI for Modern Industrial Automation (English Edition)

    Henrique Morata ...
    Your Fast-Track Guide to PLCs, SCADA, and Smart Control.Key Features● Learn core IEC 61131-3 PLC languages like Ladder, ST, and FBD in depth.● Design scalable control systems with reusable, modular logic.● Integrate PLCs with HMI, SCADA, and modern industrial networks.Book DescriptionEmbark on a structured, hands-on journey into the world of PLC Programming and Machine Automation. This c... ... もっと見る

    3,051 円

  • Regular Nanofabrics in Emerging Technologies

    Design and Fabrication Methods for Nanoscale Digital Circuits

    シリーズ series Engineering (R0)
    Regular Nanofabrics in Emerging Technologies gives a deep insight into both fabrication and design aspects of emerging semiconductor technologies, that represent potential candidates for the post-CMOS era. Its approach is unique, across different fields, and it offers a synergetic view for a public of different communities ranging from technologists, to circuit designers, and computer scientists. ... もっと見る

    18,231 円

  • Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

    A Cross-layer Approach

    シリーズ series Engineering (R0)
    This book describes the state-of-the art of industrial and academic research in the architectural design of heterogeneous, multi/many-core processors. The authors describe methods and tools to enable next-generation embedded and high-performance heterogeneous processors to confront cost-effectively the inevitable variations by providing Dependable-Performance: correct functionality and timing ... もっと見る

    12,154 円

  • Logic Circuit Design

    Selected Methods

    シリーズ series Engineering (R0)
    In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memorising ability, while sequential circuits have such an ability to various degrees. Latches are the simplest sequential circuits, ones with the shortest memory. The presentation is decidedly non-standard.The design of combinational circuits is discussed ... もっと見る

    12,154 円

  • Graph-Theoretic Concepts in Computer Science

    44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus, Germany, in June 2018.The 30 full papers presented in this volume were carefully reviewed and selected from 66 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... もっと見る

    6,076 円

  • Beyond-CMOS Technologies for Next Generation Computer Design

    シリーズ series Engineering (R0)
    This book describes the bottleneck faced soon by designers of traditional CMOS devices, due to device scaling, power and energy consumption, and variability limitations. This book aims at bridging the gap between device technology and architecture/system design. Readers will learn about challenges and opportunities presented by “beyond-CMOS devices” and gain insight into how these might be ... もっと見る

    14,585 円

  • Introduction to Computer Science Unlocking the World of Technology

    "Introduction to Computer Science: Unlocking the World of Technology" is a comprehensive guide that introduces the exciting field of computer science to school students. This book covers a wide range of topics, starting with the basics of computer science and its history, and then delving into the fundamentals of computing, programming languages, software development, data structures and ... もっと見る

    800 円

  • Computer Information Systems and Industrial Management

    18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, held in Belgrade, Serbia, in September 2019.The 43 full papers presented together with 3 abstracts of keynotes were carefully reviewed and selected from 70 submissions. The main topics covered by the chapters in this book are biometrics, ... もっと見る

    6,076 円

  • Pattern Recognition and Image Analysis

    9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I

    シリーズ 本: 1 - Springer Nature Proceedings Computer Science
    This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019.The 99 papers in these volumes were carefully reviewed and selected from 137 submissions. They are organized in topical sections named:Part I: best ranked papers; machine learning; pattern recognition; image processing and ... もっと見る

    6,076 円

  • Noise-Aware Quantum Circuit Simulation with Decision Diagrams

    シリーズ series Synthesis Collection of Technology (R0)
    This book provides an easy-to-read introduction to quantum computing, as well the classical simulation of quantum circuits with common types of error effects. The authors showcase the enormous potential that can be unleashed when doing these simulations using decision diagrams–a data-structure common in the design automation community, often used in quantum computing design tasks. The algorithms ... もっと見る

    6,076 円

  • Heterogeneous SoC Design and Verification

    HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging

    シリーズ series Synthesis Collection of Technology (R0)
    This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed decisions, guiding them to strike the perfect balance between flexibility and performance for their SoC designs. Readers will benefit from a detailed exploration of the essential elements of the ... もっと見る

    6,076 円

  • New Developments in Legal Reasoning and Logic

    From Ancient Law to Modern Legal Systems

    シリーズ series Philosophy and Religion (R0)
    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 reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science.This ... もっと見る

    14,585 円

  • Computational Science – ICCS 2019

    19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

    シリーズ 本: 1 - Springer Nature Proceedings Computer Science
    The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the ... もっと見る

    10,938 円