Skip to main content

カート

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

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

おすすめ

Loading...

論理設計 電子書籍

論理設計 の本がお好きな方におすすめです。
414件の検索結果中124を表示
Skip side bar filters
  • 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 円

  • 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 円

  • ASIC/SoC Functional Design Verification

    A Comprehensive Guide to Technologies and Methodologies

    Ashok B. Mehta ...
    シリーズ series Engineering (R0)
    This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon. The author first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its ... もっと見る

    14,585 円

  • Algorithms for Computational Biology

    6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 6th InternationalConference on Algorithms for Computational Biology, AlCoB 2019, held in Berkeley, CA, USA, in May 2019.The 15 full papers presented together with 1 invited paper were carefully reviewed and selected from 30 submissions. They are organized in the following topical sections: Biological networks and graph algorithms; genome rearrangement, ... もっと見る

    7,049 円

  • Integer Programming and Combinatorial Optimization

    20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2019, held in Ann Arbor, MI, USA, in May 2019.The 33 full versions of extended abstracts presented were carefully reviewed and selected from 114 submissions. The conference is a forum for researchers and practitioners working on various aspects of integer ... もっと見る

    8,994 円

  • Data-Driven Methods for Adaptive Spoken Dialogue Systems

    Computational Learning for Conversational Interfaces

    シリーズ series Computer Science (R0)
    Data driven methods have long been used in Automatic Speech Recognition (ASR) and Text-To-Speech (TTS) synthesis and have more recently been introduced for dialogue management, spoken language understanding, and Natural Language Generation. Machine learning is now present “end-to-end” in Spoken Dialogue Systems (SDS). However, these techniques require data collection and annotation campaigns, ... もっと見る

    12,154 円

  • Logic Synthesis and SOC Prototyping

    RTL Design using VHDL

    シリーズ series Engineering (R0)
    This book describes RTL design, synthesis, and timing closure strategies for SOC blocks. It covers high-level RTL design scenarios and challenges for SOC design. The book gives practical information on the issues in SOC and ASIC prototyping using modern high-density FPGAs. The book covers SOC performance improvement techniques, testing, and system-level verification. The book also describes the ... もっと見る

    10,331 円

  • Computational Intelligence in Music, Sound, Art and Design

    8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoApplications.The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of ... もっと見る

    7,049 円

  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI

    Special Issue on Data and Security Engineering

    シリーズ series Computer Science (R0)
    The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected ... もっと見る

    6,076 円

  • Numbers and Computers

    シリーズ series Computer Science (R0)
    This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.The book's first part details standard representations of integers and floating-point numbers. The second explores other number representations, including the wide variety recently developed to support ... もっと見る

    8,507 円

  • From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

    シリーズ series Engineering (R0)
    This book focuses on computing devices and their design at various levels to combat variability. The authors provide a review of key concepts with particular emphasis on timing errors caused by various variability sources. They discuss methods to predict and prevent, detect and correct, and finally conditions under which such errors can be accepted; they also consider their implications on cost, ... もっと見る

    12,154 円

  • 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 円

  • Post-Quantum Cryptography

    9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Workshop on Post-Quantum Cryptography, PQCrypto 2018, held in Fort Lauderdale, FL, USA, in April 2018.The 24 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on Code-based Cryptography; Cryptanalysis; Hash-based Cryptography; Isogenies in ... もっと見る

    6,076 円

  • Computing Principles V11

    An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... もっと見る

    521 円

  • Programming and Performance Visualization Tools

    International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

    シリーズ series Springer Nature Proceedings Computer Science
    This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International ... もっと見る

    7,049 円

  • Advances in Swarm Intelligence

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

    編集 Ying Tan, Yuhui Shi, Ben Niu ...
    シリーズ 本: 2 - 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 円

  • Computer Science – Theory and Applications

    14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019.The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms; ... もっと見る

    6,076 円

  • Toward Robots That Reason: Logic, Probability & Causal Laws

    Vaishak Belle ...
    シリーズ series eBColl Synthesis Collection 12
    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 application at hand. It then presents a mathematical treatment of the core issues that arise when unifying ... もっと見る

    4,861 円

  • Machine Learning and Knowledge Extraction

    Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings

    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the IFIP TC 5, TC 12, WG 8.4, 8.9, 12.9 International Cross-Domain Conference for Machine Learning and Knowledge Extraction, CD-MAKE 2019, held in Canterbury, UK, in August 2019.The 25 revised full papers presented were carefully reviewed and selected from 45 submissions. The cross-domain integration and appraisal of different fields provides an ... もっと見る

    6,076 円

  • Comment créer ton premier site web en une semaine

    Firas Ben Aziza ...
    Ce ebook t'accompagne pour créer ton premier site web facilement, même si tu es débutant.En suivant une méthode simple sur 7 jours, tu apprendras à installer WordPress, personnaliser ton site, rédiger ton contenu et le lancer en ligne.Pas de jargon compliqué, juste des actions concrètes pour avancer pas à pas et obtenir un site professionnel rapidement.Idéal pour ceux qui veulent se lancer sans ... もっと見る

    1,050 円

  • Aprende a Modelar Aplicaciones con UML - Tercera Edición

    El principal problema del desarrollo de nuevos sistemas utilizando la orientación a objetos en las fases de análisis de requisitos, análisis y diseño de sistemas es que no hay una notación estandarizada y realmente eficaz que cubra cualquier tipo de aplicación que se desee. Cada simbología existente tiene sus propios conceptos, gráficos y terminología, lo que resulta en una gran confusión, ... もっと見る

    1,100 円

  • Well-Quasi Orders in Computation, Logic, Language and Reasoning

    A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

    シリーズ series Mathematics and Statistics (R0)
    This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and ... もっと見る

    21,878 円

  • The Unknown Component Problem

    Theory and Applications

    シリーズ series Engineering (R0)
    The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations ... もっと見る

    18,231 円

  • Godel's Incompleteness Theorems

    シリーズ series Oxford Logic Guides
    Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this ... もっと見る

    46,339 円