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 免費享用

  • 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 免費享用

  • 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 免費享用

  • 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

  • Computer Architecture and Organization

    Fundamentals and Architecture Security

    由 Shuangbao Paul Wang ……
    系列 series Computer Science (R0)
    In today’s workplace, computer and cybersecurity professionals must understand both hardware and software to deploy effective security solutions. This book introduces readers to the fundamentals of computer architecture and organization for security, and provides them with both theoretical and practical solutions to design and implement secure computer systems. Offering an in-depth and innovative …… 閱讀更多內容

    NT$1,913 TWD

  • Reversible Computation

    11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

    編輯者: Michael Kirkedal Thomsen, Mathias Soeken ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and …… 閱讀更多內容

    NT$1,981 TWD

  • Stabilization, Safety, and Security of Distributed Systems

    19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

    編輯者: Paul Spirakis, Philippas Tsigas ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017.The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks …… 閱讀更多內容

    NT$1,739 TWD

  • Non-Axiomatic Logic

    A Model of Intelligent Reasoning

    由 Pei Wang ……
    This book provides a comprehensive, up-to-date, and rigorously detailed introduction to Non-Axiomatic Logic (NAL), a groundbreaking framework for adaptive systems operating under conditions of insufficient knowledge and resources. Designed according to the principles of human cognition, NAL serves as a cornerstone for advancing general-purpose Artificial Intelligence while addressing many topics …… 閱讀更多內容

    NT$3,045 TWD

  • Computational Science and Its Applications – ICCSA 2019

    19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

    編輯者: Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino ……
    系列 第 4 冊 - Springer Nature Proceedings Computer Science
    The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five …… 閱讀更多內容

    NT$3,130 TWD

  • Develop Snakes & Ladders Game Complete Guide with Code & Design

    由 Anurag Pandey ……
    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 book are complete and need no modification, but you can also improvise them. If you are a beginner then …… 閱讀更多內容

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

  • Conceptual Spaces: Elaborations and Applications

    編輯者: Mauri Kaipainen, Frank Zenker, Antti Hautamäki, Peter Gärdenfors ……
    系列 series Philosophy and Religion (R0)
    This edited book focuses on concepts and their applications using the theory of conceptual spaces, one of today’s most central tracks of cognitive science discourse. It features 15 papers based on topics presented at the Conceptual Spaces @ Work 2016 conference.The contributors interweave both theory and applications in their papers. Among the first mentioned are studies on metatheories, logical …… 閱讀更多內容

    NT$3,825 TWD

  • Advanced HDL Synthesis and SOC Prototyping

    RTL Design Using Verilog

    由 Vaibbhav Taraate ……
    系列 series Engineering (R0)
    This book describes RTL design using Verilog, synthesis and timing closure for System On Chip (SOC) design blocks. It covers the complex RTL design scenarios and challenges for SOC designs and provides practical information on performance improvements in SOC, as well as Application Specific Integrated Circuit (ASIC) designs. Prototyping using modern high density Field Programmable Gate Arrays …… 閱讀更多內容

    NT$5,564 TWD

  • Artificial Intelligence and Soft Computing

    18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I

    編輯者: Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ……
    系列 第 1 冊 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 11508 and 11509 constitutes the refereed proceedings of of the 18th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2019, held in Zakopane, Poland, in June 2019.The 122 revised full papers presented were carefully reviewed and selected from 333 submissions. The papers included in the first volume are organized in the following five parts: …… 閱讀更多內容

    NT$3,130 TWD

  • Computer Information Systems and Industrial Management

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

    編輯者: Khalid Saeed, Rituparna Chaki, Valentina Janev ……
    系列 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, …… 閱讀更多內容

    NT$1,739 TWD

  • Graph-Theoretic Concepts in Computer Science

    45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

    編輯者: Ignasi Sau, Dimitrios M. Thilikos ……
    系列 series Springer Nature Proceedings excluding Computer Science
    This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic …… 閱讀更多內容

    NT$2,261 TWD

  • The Digital Monadology: Revival of the Characteristica Universalis in the Age of Large Language Models

    Frontiers of Intelligence, #1

    由 Elan Moritz ……
    系列 第 1 冊 - Frontiers of Intelligence
    What if the source code for modern Artificial Intelligence was written in 1666?In the 17th century, the polymath Gottfried Wilhelm Leibniz dreamed of the Characteristica Universalis —a perfect, mathematical language capable of expressing all human thought—and the Calculus Ratiocinator, a machine that could calculate truth as easily as arithmetic. He believed that if we could reduce concepts to …… 閱讀更多內容

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

  • Pattern Recognition and Image Analysis

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

    編輯者: Aythami Morales, Julian Fierrez, José Salvador Sánchez, Bernardete Ribeiro ……
    系列 第 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 …… 閱讀更多內容

    NT$1,739 TWD

  • Genetic Programming

    21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

    編輯者: Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st European Conference on Genetic Programming, EuroGP 2018, held in Parma, Italy, in April 2018, co-located with the Evo* 2018 events, EvoCOP, EvoMUSART, and EvoApplications.The 11 revised full papers presented together with 8 poster papers were carefully reviewed and selected from 36 submissions. The wide range of topics in this volume …… 閱讀更多內容

    NT$1,739 TWD

  • High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation

    8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

    編輯者: Stephen Jarvis, Steven Wright, Simon Hammond ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings papers from the 8th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems, PMBS 2017, held in Denver, Colorado, USA, in November 2017.The 10 full papers and 3 short papers included in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections …… 閱讀更多內容

    NT$1,739 TWD

  • Quick Start Guide to VHDL

    由 Brock J. LaMeres ……
    系列 series Engineering (R0)
    This textbook provides a starter’s guide to VHDL. This book can be used in conjunction with a one-semester course in Digital Systems Design or on its own for designers who only need an introduction to the language. This book is designed to provide a bottoms-up approach to learning the VHDL language. This design supports a course in which foundational knowledge is covered before moving into …… 閱讀更多內容

    NT$2,434 TWD

  • OpenMP: Portable Multi-Level Parallelism on Modern Systems

    16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings

    編輯者: Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies; …… 閱讀更多內容

    NT$2,608 TWD

  • Making Futures Work

    Integrating Futures Thinking for Design, Innovation, and Strategy

    由 Phil Balagtas ……
    Learn how to get started with Futures Thinking. With this practical guide, Phil Balagtas, founder of the Design Futures Initiative and the global Speculative Futures network, shows you how designers and futurists have made futures work at companies such as Atari, IBM, Apple, Disney, Autodesk, Lufthansa, and McKinsey & Company.This book demystifies the process of Futures Thinking into a language …… 閱讀更多內容

    NT$1,027 TWD