Rakuten Kobo

Scratch by Example

Programming for All Ages

de Eduardo A. Vlieg ...

Series series Professional and Applied Computing (R0)
This is a book about learning the Scratch language so that you can use it in teaching and other instructional situations. The book explains the visual nature of the language, showing you how to write programs by dragging and dropping visual blocks representing common compute operations.Scratch is visual language that even young children can master. and makes computer programming as easy as ... Leer más

$31.99 USD

This is a book about learning the Scratch language so that you can use it in teaching and other instructional situations. The book explains the visual nature of the language, showing you how to write programs by dragging and dropping visual blocks representing common compute operations.Scratch is visual language that even young children can master. and makes computer programming as easy as
... Leer más
Design Patterns with Java

An Introduction

de Olaf Musch ...

Series series Computer Science (R0)
A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented Software" by the author group Gamma, Helm, Johnson and Vlissides (also called "Gang of Four", GoF for short). All patterns are explained in detail by means of examples and also critically appreciated. Furthermore, design principles of object-oriented ... Leer más

$58.99 USD

A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented Software" by the author group Gamma, Helm, Johnson and Vlissides (also called "Gang of Four", GoF for short). All patterns are explained in detail by means of examples and also critically appreciated. Furthermore, design principles of object-oriented
... Leer más
Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

Edición de Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic ...

Series series Computer Science (R0)
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has ... Leer más

$49.99 USD

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has
... Leer más
Haskell Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

de Stefania Loredana Nita, Marius Mihailescu ...

Series series Professional and Applied Computing (R0)
This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical ... Leer más

$31.99 USD

This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical
... Leer más
Evaluation of Novel Approaches to Software Engineering

12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Edición de Ernesto Damiani, George Spanoudakis, Leszek Maciaszek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT
... Leer más
Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Edición de Adrian Riesco, Min Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such ... Leer más

$49.99 USD

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such
... Leer más
Economics of Grids, Clouds, Systems, and Services

14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

Edición de Congduc Pham, Jörn Altmann, José Ángel Bañares ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2017, held in Biarritz, France, in September 2017.The 10 full papers and 10 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions.This volume of the GECON 2017 proceedings has been structured in ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 14th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2017, held in Biarritz, France, in September 2017.The 10 full papers and 10 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions.This volume of the GECON 2017 proceedings has been structured in
... Leer más
OpenCode 擴展開發

從自訂工具到生態發布的建造者指南

de Happy eBook Authors ...

用完了、看懂了，現在輪到你動手造。《OpenCode 擴展開發》是「OpenCode 技術叢書」第四冊，帶你從使用者變成建造者。八個擴充點一次攤開：自訂指令、Agent Skills、代理工程、主題設計、MCP、自訂工具、外掛鉤子、SDK 整合——從改一句提示，到把 OpenCode 裝進你的自動化管線。延續系列鐵律「只寫能驗證的事」：十七支外掛鉤子逐一對照官方型別定義、SDK 方法對照 OpenAPI 生成碼、快取目錄實機解剖。書中範例可直接放進專案的 .opencode/ 目錄運行。五篇二十章：・工坊地圖——擴充點選型決策、載入時序、除錯三管道・提示層——指令插值、Skills 發現機制、代理權限工程・程式碼層——第一支外掛、攔截改寫、事件驅動、npm 發布・介面層——theme.json 主題、TUI 外掛、注意力與音效系統・整合層——SDK 自動化、json_schema ... Leer más

$5.99 USD o gratis con Kobo Plus

用完了、看懂了，現在輪到你動手造。《OpenCode 擴展開發》是「OpenCode 技術叢書」第四冊，帶你從使用者變成建造者。八個擴充點一次攤開：自訂指令、Agent Skills、代理工程、主題設計、MCP、自訂工具、外掛鉤子、SDK 整合——從改一句提示，到把 OpenCode 裝進你的自動化管線。延續系列鐵律「只寫能驗證的事」：十七支外掛鉤子逐一對照官方型別定義、SDK 方法對照 OpenAPI 生成碼、快取目錄實機解剖。書中範例可直接放進專案的 .opencode/ 目錄運行。五篇二十章：・工坊地圖——擴充點選型決策、載入時序、除錯三管道・提示層——指令插值、Skills 發現機制、代理權限工程・程式碼層——第一支外掛、攔截改寫、事件驅動、npm 發布・介面層——theme.json 主題、TUI 外掛、注意力與音效系統・整合層——SDK 自動化、json_schema
... Leer más
NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Edición de Clark Barrett, Misty Davies, Temesghen Kahsai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, ... Leer más

$49.99 USD

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations,
... Leer más
Membrane Computing Models: Implementations

de Gexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze, Marian Gheorghe ...

Series series Computer Science (R0)
The theoretical basis of membrane computing was established in the early 2000s with fundamental research into the computational power, complexity aspects and relationships with other (un)conventional computing paradigms. Although this core theoretical research has continued to grow rapidly and vigorously, another area of investigation has since been added, focusing on the applications of this ... Leer más

$170.99 USD

The theoretical basis of membrane computing was established in the early 2000s with fundamental research into the computational power, complexity aspects and relationships with other (un)conventional computing paradigms. Although this core theoretical research has continued to grow rapidly and vigorously, another area of investigation has since been added, focusing on the applications of this
... Leer más
Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Edición de Didier Galmiche, Stephan Schulz, Roberto Sebastiani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic
... Leer más
Requirements Engineering: Foundation for Software Quality

24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Edición de Erik Kamsties, Jennifer Horkoff, Fabiano Dalpiaz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018.The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers were organized in topical sections named: RE in Industrial ... Leer más

$49.99 USD

This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018.The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers were organized in topical sections named: RE in Industrial
... Leer más
Trends in Functional Programming

18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Edición de Meng Wang, Scott Owens ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. ... Leer más

$53.99 USD

This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.
... Leer más
Guide to Scientific Computing in C++

de Joe Pitt-Francis, Jonathan Whiteley ...

Series series Computer Science (R0)
This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a ... Leer más

$49.99 USD

This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a
... Leer más
Testing Software and Systems

30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Edición de Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing
... Leer más
PROGRAMMING IN C# 10 - Basic Techniques

de Mario De Ghetto ...

Do you want to learn the basic techniques for programming in C# 10 and gain enough knowledge to start creating your own applications? Do you want to know how .NET 6.0, the compiler, Garbage Collector and Visual Studio 2022 work? Do you want to start laying the foundation for your new profession in software development? Or do you simply need to pass college exams in computer science or computer ... Leer más

$10.99 USD o gratis con Kobo Plus

Do you want to learn the basic techniques for programming in C# 10 and gain enough knowledge to start creating your own applications? Do you want to know how .NET 6.0, the compiler, Garbage Collector and Visual Studio 2022 work? Do you want to start laying the foundation for your new profession in software development? Or do you simply need to pass college exams in computer science or computer
... Leer más
Mastering Rust: The Ultimate Starter Guide

de Dan Miller ...

Ready to dive into Rust but not sure where to start? Mastering Rust: The Ultimate Starter Guide by Dan Miller is your comprehensive companion on this exciting journey. Dan's unique approach to writing makes learning Rust a personable and rewarding experience.What sets this guide apart is its focus on practical application. You'll not only learn the "how" but also the "why," gaining insights into ... Leer más

$1.99 USD o gratis con Kobo Plus

Ready to dive into Rust but not sure where to start? Mastering Rust: The Ultimate Starter Guide by Dan Miller is your comprehensive companion on this exciting journey. Dan's unique approach to writing makes learning Rust a personable and rewarding experience.What sets this guide apart is its focus on practical application. You'll not only learn the "how" but also the "why," gaining insights into
... Leer más
Beginning F# 4.0

de Robert Pickering, Kit Eason ...

Series Libro 4.0 - Professional and Applied Computing (R0)
This book is a great foundation for exploring functional-first programming and its role in the future of application development. The best-selling introduction to F#, now thoroughly updated to version 4.0, will help you learn the language and explore its new features.F# 4.0 is a mature, open source, cross-platform, functional-first programming language which empowers users and organizations to ... Leer más

$62.99 USD

This book is a great foundation for exploring functional-first programming and its role in the future of application development. The best-selling introduction to F#, now thoroughly updated to version 4.0, will help you learn the language and explore its new features.F# 4.0 is a mature, open source, cross-platform, functional-first programming language which empowers users and organizations to
... Leer más
Exploring Robotics with ROBOTIS Systems

de Chi N. Thai ...

Series 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 ... Leer más

$44.99 USD

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
... Leer más
Programming Languages and Systems

22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Edición de Oleg Kiselyov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative ... Leer más

$53.99 USD

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative
... Leer más
C++ Template Metaprogramming in Practice

A Deep Learning Framework

de Li Wei ...

Using the implementation of a deep learning framework as an example, C++ Template Metaprogramming in Practice: A Deep Learning Framework explains the application of metaprogramming in a relatively large project and emphasizes ways to optimize systems performance. The book is suitable for developers with a basic knowledge of C++. Developers familiar with mainstream deep learning frameworks can also ... Leer más

$159.99 USD

Using the implementation of a deep learning framework as an example, C++ Template Metaprogramming in Practice: A Deep Learning Framework explains the application of metaprogramming in a relatively large project and emphasizes ways to optimize systems performance. The book is suitable for developers with a basic knowledge of C++. Developers familiar with mainstream deep learning frameworks can also
... Leer más
Software Architecture

11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Edición de Rogério de Lemos, Antónia Lopes ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture ... Leer más

$49.99 USD

This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture
... Leer más
MATLAB Recipes

A Problem-Solution Approach

de Michael Paluszek, Stephanie Thomas ...

Series series Professional and Applied Computing (R0)
Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. This is a practical reference for industry engineers using MATLAB to solve everyday problems. With MATLAB Recipes: A Problem-Solution Approach you will review contemporary MATLAB coding including the latest language features and use MATLAB as a software development environment ... Leer más

$53.99 USD

Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. This is a practical reference for industry engineers using MATLAB to solve everyday problems. With MATLAB Recipes: A Problem-Solution Approach you will review contemporary MATLAB coding including the latest language features and use MATLAB as a software development environment
... Leer más
An Introduction to Statistics with Python

With Applications in the Life Sciences

de Thomas Haslwanter ...

Series series Mathematics and Statistics (R0)
This textbook provides an introduction to the free software Python and its use for statistical data analysis. It covers common statistical tests for continuous, discrete and categorical data, as well as linear regression analysis and topics from survival analysis and Bayesian statistics. Working code and data for Python solutions for each test, together with easy-to-follow Python examples, can be ... Leer más

$49.99 USD

This textbook provides an introduction to the free software Python and its use for statistical data analysis. It covers common statistical tests for continuous, discrete and categorical data, as well as linear regression analysis and topics from survival analysis and Bayesian statistics. Working code and data for Python solutions for each test, together with easy-to-follow Python examples, can be
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Compiladores

Mostrar: