Skip to main content
Search Button
香港 Kobo 商店 禮物卡 說明

Kobo 樂天

我的願望清單

購物車

您會獲得 VIP 禮遇！

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

專屬於您的推薦

Loading...

編纂者 電子書

如果您喜歡 編纂者 電子書，或許您也會喜歡這些熱門精選。
顯示第 1 － 24 個結果，共 1246 個
Skip side bar filters

  • Crafting Interpreters

    由 Robert Nystrom ……
    Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That …… 閱讀更多內容

    $311.99 HKD 透過 Kobo Plus 免費享用

  • The Python Workbook

    A Brief Introduction with Exercises and Solutions

    由 Ben Stephenson ……
    系列 series Computer Science (R0)
    While other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice. Designed to support and encourage hands-on learning about programming, this student-friendly work contains 174 exercises, spanning a variety of …… 閱讀更多內容

    $376.19 HKD

  • Exploring Robotics with ROBOTIS Systems

    由 Chi N. Thai ……
    系列 series Computer Science (R0)
    This book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self-learner. It covers wheel-based robots, as well as walking robots. Although it uses the standard “Sense, Think, Act” approach, communications (bot-to-bot and PC-to-bot) programming concepts are …… 閱讀更多內容

    $334.39 HKD

  • Practical MATLAB Deep Learning

    A Project-Based Approach

    由 Michael Paluszek, Stephanie Thomas ……
    系列 series Professional and Applied Computing (R0)
    Harness the power of MATLAB for deep-learning challenges. This book provides an introduction to deep learning and using MATLAB's deep-learning toolboxes. You’ll see how these toolboxes provide the complete set of functions needed to implement all aspects of deep learning.Along the way, you'll learn to model complex systems, including the stock market, natural language, and angles-only orbit …… 閱讀更多內容

    $289.09 HKD

  • Design and Implementation of the MTX Operating System

    由 K. C. Wang ……
    系列 series Computer Science (R0)
    This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, complete …… 閱讀更多內容

    $710.59 HKD

  • Pro TBB

    C++ Parallel Programming with Threading Building Blocks

    由 Michael Voss, Rafael Asenjo, James Reinders ……
    系列 series Professional and Applied Computing (R0)
    This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices …… 閱讀更多內容

    免費

  • Python For ArcGIS

    由 Laura Tateosian ……
    系列 series Earth and Environmental Science (R0)
    This book introduces Python scripting for geographic information science (GIS) workflow optimization using ArcGIS. It builds essential programming skills for automating GIS analysis. Over 200 sample Python scripts and 175 classroom-tested exercises reinforce the learning objectives. Readers will learn to: • Write and run Python in the ArcGIS Python Window, the PythonWin IDE, and the PyScripter IDE …… 閱讀更多內容

    $710.59 HKD

  • Language Constructs for Describing Features

    Proceedings of the FIREworks workshop

    編輯者: Stephen Gilmore, Mark Ryan ……
    A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and …… 閱讀更多內容

    $417.99 HKD

  • Multi-Paradigm Programming using C++

    由 Dirk Vermeir ……
    An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such …… 閱讀更多內容

    $752.39 HKD

  • Formal Verification of Just-in-Time Compilation

    由 Aurèle Barrière ……
    系列 series ACM Books
    This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time …… 閱讀更多內容

    $309.39 HKD

  • Topics in Theoretical Computer Science

    Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

    編輯者: Mohammad Reza Mousavi, Jiří Sgall ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming …… 閱讀更多內容

    $417.99 HKD

  • JAVA Aufgaben und Übungen

    Aufgaben, Lösungen, PAP und Struktogramme für den IT-Unterricht

    由 Erich J. Schreiber ……
    系列 series Computer Science and Engineering (German Language)
    Dieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vorhanden mit Lösungen im Quellcode (Source). Das Buch bietet ebenfalls Präsentationsvorlagen, die auf die Syntax der Programmanweisungen eingehen.Zu der Planung von Software gehört die UML (Unified Modeling Language), eine grafische Modellierungssprache. …… 閱讀更多內容

    $273.39 HKD

  • Rigorous State-Based Methods

    11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

    編輯者: Michael Leuschel, Fuyuki Ishikawa ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full …… 閱讀更多內容

    $1,003.19 HKD

  • Maîtriser le Développement d'Applications Mobiles : De Swift à Kotlin, une Approche Complète

    Un Guide Pratique pour Créer des Applications Mobiles Modernes sur iOS et Android

    由 YVES SITBON ……
    Ce livre est un guide complet destiné aux développeurs cherchant à exceller dans la création d'applications mobiles sur les plateformes iOS et Android. Couvrant les langages de programmation Swift et Kotlin, ainsi que les frameworks tels que Flutter, ce livre offre une exploration détaillée des meilleures pratiques, des outils essentiels et des techniques avancées nécessaires pour réussir dans le …… 閱讀更多內容

    $111.38 HKD 透過 Kobo Plus 免費享用

  • Interactive Theorem Proving

    8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

    編輯者: Mauricio Ayala-Rincón, César A. Muñoz ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in …… 閱讀更多內容

    $417.99 HKD

  • Conceptual Modeling

    36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

    編輯者: Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and …… 閱讀更多內容

    $417.99 HKD

  • Coordination Models and Languages

    20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

    編輯者: Giovanna Di Marzo Serugendo, Michele Loreti ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide …… 閱讀更多內容

    $417.99 HKD

  • Unifying Theories of Programming

    7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

    編輯者: Pedro Ribeiro, Augusto Sampaio ……
    系列 series Springer Nature Proceedings Computer Science
    This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP …… 閱讀更多內容

    $417.99 HKD

  • Accelerator Programming Using Directives

    8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

    編輯者: Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel …… 閱讀更多內容

    $459.79 HKD

  • Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

    編輯者: Rupak Majumdar, Viktor Kunčak ……
    系列 第 2 冊 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is …… 閱讀更多內容

    $417.99 HKD

  • Software Engineering for Resilient Systems

    9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

    編輯者: Alexander Romanovsky, Elena A. Troubitsyna ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, …… 閱讀更多內容

    $417.99 HKD

  • Provenance and Annotation of Data and Processes

    7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

    編輯者: Khalid Belhajjame, Ashish Gehani, Pinar Alper ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of …… 閱讀更多內容

    $417.99 HKD

  • High Performance Computing

    ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

    編輯者: Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International …… 閱讀更多內容

    $417.99 HKD

  • Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

    編輯者: Christian Colombo, Martin Leucker ……
    系列 series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more …… 閱讀更多內容

    $626.99 HKD