Skip to main content
Search Button
台灣 Kobo 商店 禮物卡 說明

Kobo 樂天

我的願望清單

購物車

您會獲得 VIP 禮遇！

無法購買的項目
請檢閱您的購物車。您可以即刻移除無法購買的項目，或者我們將於結帳時為您自動移除。
項目項目
項目項目

專屬於您的推薦

Loading...

邏輯設計 電子書

如果您喜歡 邏輯設計 電子書，或許您也會喜歡這些熱門精選。
顯示第 1 － 24 個結果，共 427 個
Skip side bar filters

  • Fundamentals of Software Architecture

    A Modern Engineering Approach

    由 Mark Richards, Neal Ford ……
    Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural …… 閱讀更多內容

    NT$1,624 TWD

  • The Little Typer

    由 Daniel P. Friedman, David Thrane Christiansen ……
    An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains …… 閱讀更多內容

    NT$1,432 TWD

  • Mastering ROS for Robotics Programming

    Design, build, and simulate complex robots using the Robot Operating System

    由 Jonathan Cacace, Lentin Joseph ……
    Discover best practices and troubleshooting solutions when working on ROSKey FeaturesDevelop complex robotic applications using ROS to interface robot manipulators and mobile robotsGain insight into autonomous navigation in mobile robots and motion planning in robot manipulatorsDiscover best practices and troubleshooting solutionsBook DescriptionIn this day and age, robotics has been gaining a lot …… 閱讀更多內容

    NT$1,761 TWD 透過 Kobo Plus 免費享用

  • VLSI Physical Design: From Graph Partitioning to Timing Closure

    由 Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu ……
    系列 series Engineering (R0)
    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 the underlying mathematical models and algorithms. In addition, a developer of such software must have a keen understanding of relevant computer science aspects, including algorithmic performance …… 閱讀更多內容

    NT$2,086 TWD

  • Causal Inference and Discovery in Python

    Unlock the secrets of modern causal machine learning with DoWhy, EconML, PyTorch and more

    由 Aleksander Molak ……
    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 as structural causal models, interventions, counterfactuals, and moreDiscover modern causal inference …… 閱讀更多內容

    NT$1,132 TWD 透過 Kobo Plus 免費享用

  • WordPress For Beginners - How To Set Up A Self Hosted WordPress Blog

    由 Cyrus Jackson ……
    NEW & UPDATED FOR 2018Would you love to learn how to set up a jaw-dropping, secure and professional WordPress blog? (Even if you're not a technical wizard)Then:***"WordPress For Beginners"*** is the most compact guide you'll ever need.WordPress is the biggest blogging platform on the planet powering big blogs like CNN, New York Times, Mashable …the list is endless.This speaks volume of its …… 閱讀更多內容

    NT$126 TWD 透過 Kobo Plus 免費享用

  • Guide to Discrete Mathematics

    An Accessible Introduction to the History, Theory, Logic and Applications

    由 Gerard O'Regan ……
    系列 series Computer Science (R0)
    This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill.Features: provides an introduction to the building blocks of discrete mathematics, including sets …… 閱讀更多內容

    NT$1,843 TWD

  • Learn Digital and Microprocessor Techniques on your Smartphone

    由 Clive W. Humphris ……
    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 …… 閱讀更多內容

    NT$121 TWD

  • Model-Driven Engineering and Software Development

    5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

    編輯者: Luís Ferreira Pires, Slimane Hammoudi, Bran Selic ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017.The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant …… 閱讀更多內容

    NT$1,739 TWD

  • Numbers and Computers

    由 Ronald T. Kneusel ……
    系列 series Computer Science (R0)
    This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring, …… 閱讀更多內容

    NT$2,086 TWD

  • Let's Play with Excel

    由 Anurag Pandey ……
    Let's Play with ExcelWhat can you really make Excel do with VBA?Excel is much more than a tool for entering data, making tables, and performing calculations. With VBA, logical thinking, and a little creativity, you can automate repetitive work, manipulate data, generate useful documents, solve programming problems, and explore possibilities that go beyond ordinary spreadsheet operations.Let's Play …… 閱讀更多內容

    NT$126 TWD 透過 Kobo Plus 免費享用

  • Supercomputing Frontiers

    4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

    編輯者: Rio Yokota, Weigang Wu ……
    系列 series Springer Nature Proceedings Computer Science
    It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks:Application, Algorithms & LibrariesProgramming System SoftwareArchitecture, …… 閱讀更多內容

    免費

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    編輯者: Tomáš Vojnar, Lijun Zhang ……
    系列 第 2 冊 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of …… 閱讀更多內容

    免費

  • Scientific Computing, Computer Arithmetic, and Validated Numerics

    16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

    編輯者: Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other …… 閱讀更多內容

    NT$1,739 TWD

  • Stabilization, Safety, and Security of Distributed Systems

    20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

    編輯者: Taisuke Izumi, Petr Kuznetsov ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018.The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical …… 閱讀更多內容

    NT$1,739 TWD

  • Dual Mode Logic

    A New Paradigm for Digital IC Design

    由 Itamar Levi, Alexander Fish ……
    系列 series Engineering (R0)
    This book presents Dual Mode Logic (DML), a new design paradigm for digital integrated circuits. DML logic gates can operate in two modes, each optimized for a different metric. Its on-the-fly switching between these operational modes at the gate, block and system levels provide maximal E-D optimization flexibility. Each highly detailed chapter has multiple illustrations showing how the DML …… 閱讀更多內容

    NT$2,086 TWD

  • Supercomputing

    6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers

    編輯者: Vladimir Voevodin, Sergey Sobolev ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held in Moscow, Russia, in September 2020.*The 51 revised full and 4 revised short papers presented were carefully reviewed and selected from 106 submissions. The papers are organized in the following topical sections: parallel algorithms; supercomputer simulation; HPC, BigData, AI …… 閱讀更多內容

    NT$3,130 TWD

  • Software Architecture

    13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

    編輯者: Tomas Bures, Laurence Duchien, Paola Inverardi ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019.In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in …… 閱讀更多內容

    NT$1,981 TWD

  • Logical Foundations of Computer Science

    (In 2 volumes)Vol 1: Propositional LogicVol 2: Predicate Logic

    由 Peter A Fejer, Dan A Simovici ……
    Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in …… 閱讀更多內容

    NT$10,747 TWD

  • Architectures and Circuits for Distributed Quantum Computing

    由 Daniele Cuomo ……
    系列 series Physics and Astronomy (R0)
    This thesis treats networks providing quantum computation based on distributed paradigms. Compared to architectures relying on one processor, a network promises to be more scalable and less fault-prone. Developing a distributed system able to provide practical quantum computation comes with numerous challenges, each of which need to be faced with careful analysis in order to create a seamless …… 閱讀更多內容

    NT$5,564 TWD

  • PIC® Micro Principles Teachers Pack V11

    由 Clive W. Humphris ……
    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 …… 閱讀更多內容

    NT$121 TWD

  • Introduction to Logic Circuits & Logic Design with VHDL

    由 Brock J. LaMeres ……
    系列 series Engineering (R0)
    This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) …… 閱讀更多內容

    NT$2,783 TWD

  • Fundamentals of Electronic Systems Design

    由 Jens Lienig, Hans Bruemmer ……
    系列 series Engineering (R0)
    This textbook covers the design of electronic systems from the ground up, from drawing and CAD essentials to recycling requirements. Chapter by chapter, it deals with the challenges any modern system designer faces: The design process and its fundamentals, such as technical drawings and CAD, electronic system levels, assembly and packaging issues and appliance protection classes, reliability …… 閱讀更多內容

    NT$2,261 TWD

  • Reversible Computation

    12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

    編輯者: Ivan Lanese, Mariusz Rawski ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions.The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of …… 閱讀更多內容

    NT$1,739 TWD