Rakuten Kobo

NASA Formal Methods

17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

Edición de Aaron Dutle, Laura Humphrey, Laura Titolo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurancefor applications in space, aviation, robotics, and other ... Leer más

$143.09 USD

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurancefor applications in space, aviation, robotics, and other
... Leer más
SwiftUI Framework

Quick Guides for Masterminds

de J.D Gauchat ...

Quick Guides for Masterminds are excerpts from our best-selling books SwiftUI for Masterminds, UIKit for Masterminds, and HTML5 for Masterminds, providing a cost-effective alternative to getting the information you need.DescriptionWith this guide, you will learn how to create user interfaces using SwiftUI.After reading this guide, you will know how to define views with SwiftUI, how to keep the ... Leer más

$4.36 USD o gratis con Kobo Plus

Quick Guides for Masterminds are excerpts from our best-selling books SwiftUI for Masterminds, UIKit for Masterminds, and HTML5 for Masterminds, providing a cost-effective alternative to getting the information you need.DescriptionWith this guide, you will learn how to create user interfaces using SwiftUI.After reading this guide, you will know how to define views with SwiftUI, how to keep the
... Leer más
Networked Systems

10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings

Edición de Mohammed-Amine Koulali, Mira Mezini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design ... Leer más

$49.49 USD

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design
... Leer más
Erweiterungen für SAP S/4HANA

Das Praxishandbuch

de Werner Wolf, Thomas Schneider ...

Über dieses BuchAuch SAP S/4HANA können Sie individuell anpassen! Erfahren Sie in diesem Buch, wie Sie z. B. Felder auf der Benutzeroberfläche ein- und ausblenden, die SAP-Datenmodelle erweitern oder benutzerdefinierte Business-Objekte erstellen. Die Autoren erklären Ihnen den Unterschied zwischen In-App- und Side-by-Side-Erweiterbarkeit und verdeutlichen, welche Methode für welche Anford... ... Leer más

$84.49 USD

Über dieses BuchAuch SAP S/4HANA können Sie individuell anpassen! Erfahren Sie in diesem Buch, wie Sie z. B. Felder auf der Benutzeroberfläche ein- und ausblenden, die SAP-Datenmodelle erweitern oder benutzerdefinierte Business-Objekte erstellen. Die Autoren erklären Ihnen den Unterschied zwischen In-App- und Side-by-Side-Erweiterbarkeit und verdeutlichen, welche Methode für welche Anford...
... Leer más
Mobile Application Architecture: Structuring Maintainable Android Codebases

de Andrei Vale ...

Is your Android codebase becoming too complex to manage, scale, or test?Building a basic Android application is straightforward. However, structuring a maintainable, enterprise-level mobile system that survives framework updates and scaling demands is a completely different challenge. If you are tired of dealing with tangled dependencies, view models exposing mutable states, and brittle tests that ... Leer más

$5.99 USD o gratis con Kobo Plus

Is your Android codebase becoming too complex to manage, scale, or test?Building a basic Android application is straightforward. However, structuring a maintainable, enterprise-level mobile system that survives framework updates and scaling demands is a completely different challenge. If you are tired of dealing with tangled dependencies, view models exposing mutable states, and brittle tests that
... Leer más
Software Engineering and Advanced Applications

52nd Euromicro Conference, SEAA 2026, Kraków, Poland, September 2–4, 2026, Proceedings, Part II

Edición de Christian Berger, Verena Klös ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set constitutes the refereed proceedings of the 52nd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2026, held in Kraków, Poland, during September 2–4, 2026.The 50 full papers and 22 short papers were carefully reviewed and selected from 146 submissions.These papers were organized in the following topical sections:Part I: Cyber-Physical Systems; Data ... Leer más

$98.09 USD

This two-volume set constitutes the refereed proceedings of the 52nd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2026, held in Kraków, Poland, during September 2–4, 2026.The 50 full papers and 22 short papers were carefully reviewed and selected from 146 submissions.These papers were organized in the following topical sections:Part I: Cyber-Physical Systems; Data
... Leer más
API Testing and Development with Postman

A practical guide to creating, testing, and managing APIs for automated software testing

de Dave Westerveld ...

Explore the world of APIs and learn how to integrate them with production-ready applications using Postman and the Newman CLIKey FeaturesLearn the tenets of effective API testing and API designGain an in-depth understanding of the various features Postman has to offerKnow when and how to use Postman for creating high-quality APIs for software and web appsBook DescriptionPostman enables the ... Leer más

$39.59 USD o gratis con Kobo Plus

Explore the world of APIs and learn how to integrate them with production-ready applications using Postman and the Newman CLIKey FeaturesLearn the tenets of effective API testing and API designGain an in-depth understanding of the various features Postman has to offerKnow when and how to use Postman for creating high-quality APIs for software and web appsBook DescriptionPostman enables the
... Leer más
From Data to Models and Back

9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Edición de Juliana Bowles, Giovanna Broccia, Mirco Nanni ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches ... Leer más

$58.49 USD

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches
... Leer más
Python Programming

A Practical Approach

de Vijay Kumar Sharma, Vimal Kumar, Swati Sharma, Shashwat Pathak ...

Maintaining a practical perspective, Python Programming: A Practical Approachacquaints you with the wonderful world of programming. The book is a starting point for those who want to learn Python programming. The backbone of any programming, which is the data structure and components such as strings, lists, etc., have been illustrated with many examples and enough practice problems to instill a ... Leer más

$82.99 USD

Maintaining a practical perspective, Python Programming: A Practical Approachacquaints you with the wonderful world of programming. The book is a starting point for those who want to learn Python programming. The backbone of any programming, which is the data structure and components such as strings, lists, etc., have been illustrated with many examples and enough practice problems to instill a
... Leer más
Illustrator CC 2018基础与实战教程

de 麓山文化 ...

本书是为初学者量身定做的一本Illustrator CC 2018学习手册。全书采用教程+实例的形式编写，共分为4篇13章内容，系统且全面地讲解了Illustrator CC 2018的各项功能和使用技巧，从图形图像的基本概念讲起，逐步深入到绘图、填充上色、图形编辑、文本、图层、符号、图表、打印等软件核心功能及应用方法。通过本教程，读者不但可以学习到Illustrator CC 2018各项功能的使用，还可以通过大量精美实例，拓展设计思路，掌握Illustrator CC 2018在各个行业的应用方法和技巧，轻松完成各类商业设计工作。 ... Leer más

$13.18 USD

本书是为初学者量身定做的一本Illustrator CC 2018学习手册。全书采用教程+实例的形式编写，共分为4篇13章内容，系统且全面地讲解了Illustrator CC 2018的各项功能和使用技巧，从图形图像的基本概念讲起，逐步深入到绘图、填充上色、图形编辑、文本、图层、符号、图表、打印等软件核心功能及应用方法。通过本教程，读者不但可以学习到Illustrator CC 2018各项功能的使用，还可以通过大量精美实例，拓展设计思路，掌握Illustrator CC 2018在各个行业的应用方法和技巧，轻松完成各类商业设计工作。
... Leer más
短视频编辑与制作

de 王晓翠, 章慧云 ...

本书结合短视频平台与短视频制作工具，详细介绍了短视频编辑与制作的各种实用技能，内容包括全面认识短视频、短视频内容的策划与定位、短视频的构图方法、短视频的拍摄准备与技巧、抖音短视频的拍摄与特效应用、使用剪映编辑与制作短视频、计算机端短视频后期制作等。本书内容新颖，实操性强，既适合作为高等院校网络与新媒体、市场营销、电子商务等相关专业的教材，也可供各行各业的新媒体运营人员和对短视频编辑与制作感兴趣的读者阅读。 ... Leer más

$15.83 USD

本书结合短视频平台与短视频制作工具，详细介绍了短视频编辑与制作的各种实用技能，内容包括全面认识短视频、短视频内容的策划与定位、短视频的构图方法、短视频的拍摄准备与技巧、抖音短视频的拍摄与特效应用、使用剪映编辑与制作短视频、计算机端短视频后期制作等。本书内容新颖，实操性强，既适合作为高等院校网络与新媒体、市场营销、电子商务等相关专业的教材，也可供各行各业的新媒体运营人员和对短视频编辑与制作感兴趣的读者阅读。
... Leer más
Photoshop 2020实战从入门到精通（超值版）

de 涵品教育 ...

本书通过精选案例引导读者深入学习，系统地介绍Photoshop 2020的相关知识和应用方法。本书分为4篇，共15章。第1篇为基础入门篇，主要介绍Photoshop 2020的基本操作，通过对本篇的学习，读者可以了解Photoshop 2020的基础知识，学会如何安装与设置Photoshop 2020、文件的基本操作及图像的基本操作等；第2篇为功能应用篇，主要介绍Photoshop 2020中的各种功能操作，通过对本篇的学习，读者可以掌握Photoshop 2020的基本操作，如选区操作、图像的绘制与修饰、图层及图层样式的应用、蒙版与通道的应用、绘制矢量图像、文字编辑与排版，以及使用滤镜快速美化图片等操作；第3篇为综合案例篇，主要介绍Photoshop 2020在照片处理、艺术设计和淘宝美工中的应用；第4篇为高手秘籍篇，主要介绍印刷方面的知识及Photoshop全自动处理图像。 ... Leer más

$19.95 USD

本书通过精选案例引导读者深入学习，系统地介绍Photoshop 2020的相关知识和应用方法。本书分为4篇，共15章。第1篇为基础入门篇，主要介绍Photoshop 2020的基本操作，通过对本篇的学习，读者可以了解Photoshop 2020的基础知识，学会如何安装与设置Photoshop 2020、文件的基本操作及图像的基本操作等；第2篇为功能应用篇，主要介绍Photoshop 2020中的各种功能操作，通过对本篇的学习，读者可以掌握Photoshop 2020的基本操作，如选区操作、图像的绘制与修饰、图层及图层样式的应用、蒙版与通道的应用、绘制矢量图像、文字编辑与排版，以及使用滤镜快速美化图片等操作；第3篇为综合案例篇，主要介绍Photoshop 2020在照片处理、艺术设计和淘宝美工中的应用；第4篇为高手秘籍篇，主要介绍印刷方面的知识及Photoshop全自动处理图像。
... Leer más
Choose your WoW - Second Edition (JAPANESE)

A Disciplined Agile Approach to Optimizing Your Way of Working

de Scott Ambler, Mark Lines ...

Hundreds of organizations around the world have already benefited from Disciplined Agile Delivery (DAD). Disciplined Agile® (DA™) is the only comprehensive tool kit available for guidance on building high-performance agile teams and optimizing your way of working (WoW). As a hybrid of the leading agile, lean, and predictive approaches, DA provides hundreds of strategies to help you make better ... Leer más

$19.95 USD o gratis con Kobo Plus

Hundreds of organizations around the world have already benefited from Disciplined Agile Delivery (DAD). Disciplined Agile® (DA™) is the only comprehensive tool kit available for guidance on building high-performance agile teams and optimizing your way of working (WoW). As a hybrid of the leading agile, lean, and predictive approaches, DA provides hundreds of strategies to help you make better
... Leer más
Testing Software and Systems

32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

Edición de Valentina Casola, Alessandra De Benedictis, Massimiliano Rak ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic.The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic.The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of
... Leer más
Pro Python System Administration

de Rytis Sileika ...

Series series Professional and Applied Computing (R0)
Pro Python System Administration, Second Edition explains and shows how to apply Python scripting in practice. It will show you how to approach and resolve real-world issues that most system administrators will come across in their careers. This book has been updated using Python 2.7 and Python 3 where appropriate. It also uses various new and relevant open source projects and tools that should ... Leer más

$49.49 USD

Pro Python System Administration, Second Edition explains and shows how to apply Python scripting in practice. It will show you how to approach and resolve real-world issues that most system administrators will come across in their careers. This book has been updated using Python 2.7 and Python 3 where appropriate. It also uses various new and relevant open source projects and tools that should
... Leer más
Agile in Digital Transformation: A Comprehensive Guide

de Tom Henricksen ...

Unlock the power of Agile to revolutionize your organization's Digital Transformation journey. This book provides a roadmap for navigating technological disruption and achieving tangible results. Learn how to build high-performing, collaborative teams, foster a culture of innovation, and adapt quickly to changing market conditions. Discover strategies to overcome resistance to change, implement ... Leer más

$2.99 USD o gratis con Kobo Plus

Unlock the power of Agile to revolutionize your organization's Digital Transformation journey. This book provides a roadmap for navigating technological disruption and achieving tangible results. Learn how to build high-performing, collaborative teams, foster a culture of innovation, and adapt quickly to changing market conditions. Discover strategies to overcome resistance to change, implement
... Leer más
Mastering Software Product Management

Practical Solutions and Expert Tips for Strategy, Decision-Making, and Building & Selling Market-Leading Software Products (English Edition)

de Sambit Dash ...

A Guide to Conceiving Products for Sustained Competitive Advantage.Book DescriptionProduct management is the backbone of successful businesses, bridging strategy, innovation, and execution. Mastering Software Product Management takes a goal-driven approach to product management, helping readers understand how software products create differentiated value while reducing costs. It explores the ... Leer más

$17.99 USD o gratis con Kobo Plus

A Guide to Conceiving Products for Sustained Competitive Advantage.Book DescriptionProduct management is the backbone of successful businesses, bridging strategy, innovation, and execution. Mastering Software Product Management takes a goal-driven approach to product management, helping readers understand how software products create differentiated value while reducing costs. It explores the
... Leer más
Mastering Software Product Management

Practical Solutions and Expert Tips for Strategy, Decision-Making, and Building & Selling Market-Leading Software Products (English Edition)

de Sambit Kumar Dash ...

A Guide to Conceiving Products for Sustained Competitive Advantage.Key Features● Step-by-step framework for building competitive, market-driven products.● Practical guidance on strategy, pricing, user experience, and agility.● Proven techniques to handle competition, compliance, and intellectual property.Book DescriptionProduct management is the backbone of successful businesses, bridgin... ... Leer más

$17.99 USD o gratis con Kobo Plus

A Guide to Conceiving Products for Sustained Competitive Advantage.Key Features● Step-by-step framework for building competitive, market-driven products.● Practical guidance on strategy, pricing, user experience, and agility.● Proven techniques to handle competition, compliance, and intellectual property.Book DescriptionProduct management is the backbone of successful businesses, bridgin...
... Leer más
Aprendizaje automático y profundo en Python

de Carlos M. Pineda ...

Esta obra pretende ser una herramienta de apoyo y de consulta para estudiantes y profesionales interesados en dominar los fundamentos del aprendizaje automático y profundo, y así poder desarrollar sus propios modelos de aprendizaje aptos para realizar predicciones con base en los datos, para ello el autor combina explicaciones teóricas con ejemplos prácticos._x000D_ _x000D_ El libro se inicia con ... Leer más

$10.59 USD o gratis con Kobo Plus

Esta obra pretende ser una herramienta de apoyo y de consulta para estudiantes y profesionales interesados en dominar los fundamentos del aprendizaje automático y profundo, y así poder desarrollar sus propios modelos de aprendizaje aptos para realizar predicciones con base en los datos, para ello el autor combina explicaciones teóricas con ejemplos prácticos._x000D_ _x000D_ El libro se inicia con
... Leer más
Programming Languages for Business Problem Solving

de Shouhong Wang, Hai Wang ...

It has become crucial for managers to be computer literate in today's business environment. It is also important that those entering the field acquire the fundamental theories of information systems, the essential practical skills in computer applications, and the desire for life-long learning in information technology. Programming Languages ... Leer más

$166.99 USD

It has become crucial for managers to be computer literate in today's business environment. It is also important that those entering the field acquire the fundamental theories of information systems, the essential practical skills in computer applications, and the desire for life-long learning in information technology. Programming Languages
... Leer más
Everything that you MUST know as an IT Scrum Master

de Ms. Sweta Suman ...

This book highly focuses on the key responsibilities of a Scrum Master and what they should know in this role. This is a complete quick guide that offers deep insight into what knowledge a Scrum Master must have to lead a team. This book is based on personal experience and is undoubtedly helpful to anyone newly shifting to this role and who wants to succeed there. It also details about tools that ... Leer más

Antes $17.89 USD Ahora $4.99 USD o gratis con Kobo Plus

This book highly focuses on the key responsibilities of a Scrum Master and what they should know in this role. This is a complete quick guide that offers deep insight into what knowledge a Scrum Master must have to lead a team. This book is based on personal experience and is undoubtedly helpful to anyone newly shifting to this role and who wants to succeed there. It also details about tools that
... Leer más
Harness 才是關鍵

為什麼同一個模型，在不同 Coding Agent 裡表現天差地遠

de Happy eBook Authors ...

同一個模型，為什麼放進不同 Coding Agent，成果會天差地遠？關鍵往往不只在模型，而在它背後的 Harness：工具介面、Context 管理、Session 記憶、沙箱權限、驗證迴路與多 Agent 編排。本書從原始碼與實際工作流程出發，解剖 Pi／omp、OpenCode、DeepSeek Harness、Claude Code 與 Codex 的架構指紋，並以同一個 spine demo 對照五種實作。你將學會判讀 benchmark、設計可攜指令、控制 Context 成本、建立安全防線，以及依團隊需求選擇合適的 Coding Agent。這不是產品功能清單，而是一套理解、比較與駕馭 AI Coding Harness 的工程方法。 ... Leer más

$12.99 USD o gratis con Kobo Plus

同一個模型，為什麼放進不同 Coding Agent，成果會天差地遠？關鍵往往不只在模型，而在它背後的 Harness：工具介面、Context 管理、Session 記憶、沙箱權限、驗證迴路與多 Agent 編排。本書從原始碼與實際工作流程出發，解剖 Pi／omp、OpenCode、DeepSeek Harness、Claude Code 與 Codex 的架構指紋，並以同一個 spine demo 對照五種實作。你將學會判讀 benchmark、設計可攜指令、控制 Context 成本、建立安全防線，以及依團隊需求選擇合適的 Coding Agent。這不是產品功能清單，而是一套理解、比較與駕馭 AI Coding Harness 的工程方法。
... Leer más
AI開発環境の全攻略

Windows 11 + WSL 2 + VS Code + OpenCode + Zen

de Happy eBook Authors ...

Windows 11でAI開発環境を一気通貫：WSL 2のセットアップ、VS Code統合、OpenCode AIコーディングエージェント、oh-my-openagentマルチエージェント協調ワークフローまで、完全な技術スタックガイド。 ... Leer más

$13.99 USD o gratis con Kobo Plus

Windows 11でAI開発環境を一気通貫：WSL 2のセットアップ、VS Code統合、OpenCode AIコーディングエージェント、oh-my-openagentマルチエージェント協調ワークフローまで、完全な技術スタックガイド。
... Leer más
Agile Best Practices

Navigating Organizational Transformation with Agility and Resilience

de Daniel Green ...

In the fast-paced world of software development and project management, agility is more than a buzzword—it's a necessity. "Agile Best Practices: Navigating Organizational Transformation with Agility and Resilience" is an essential resource for professionals seeking to implement Agile methodologies in their projects and organizations effectively. This comprehensive guide not only demystifies the ... Leer más

$3.95 USD o gratis con Kobo Plus

In the fast-paced world of software development and project management, agility is more than a buzzword—it's a necessity. "Agile Best Practices: Navigating Organizational Transformation with Agility and Resilience" is an essential resource for professionals seeking to implement Agile methodologies in their projects and organizations effectively. This comprehensive guide not only demystifies the
... 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 Desarrollo de software

Mostrar: