Rakuten Kobo

Software Architecture

17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings

Edited by Bedir Tekinerdogan, Catia Trubiani, Chouki Tibermacine, Patrizia Scandurra, Carlos E. Cuesta ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences in the field of software ... Read more

$76.49 USD

This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences in the field of software
... Read more
Testing Software and Systems

35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings

Edited by Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and ... Read more

$71.99 USD

This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and
... Read more
Reachability Problems

17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

Edited by Olivier Bournez, Enrico Formenti, Igor Potapov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of
... Read more
Virtual Threads, Structured Concurrency, and Scoped Values

Explore Java’s New Threading Model

by Ron Veen, David Vlijmincx ...

Series series Professional and Applied Computing (R0)
Discover the exciting new APIs introduced by Java’s Project Loom. This quick guide covers all the essential concepts the Java developer needs in order to understand virtual threads, structured concurrency, and scoped values.Authors Ron Veen and David Vlijmincx clearly explain the superiority of virtual threads, introduced in Java 21, over the traditional Java threads of the past 25 years. Then ... Read more

$44.99 USD

Discover the exciting new APIs introduced by Java’s Project Loom. This quick guide covers all the essential concepts the Java developer needs in order to understand virtual threads, structured concurrency, and scoped values.Authors Ron Veen and David Vlijmincx clearly explain the superiority of virtual threads, introduced in Java 21, over the traditional Java threads of the past 25 years. Then
... Read more
Future-Oriented Technology Assessment

A Manager's Guide with Case Applications

Edited by Haydar Yalcin, Tugrul U. Daim ...

Series series IEEE Press Series on Technology Management, Innovation, and Leadership
Comprehensive resource explaining how to evaluate technologies for different purposes in any industry using four different practical approachesFuture-Oriented Technology Assessment offers a comprehensive view of technology assessment structured into three different practical approaches: Technology Evaluation, Technology Roadmapping, and Technology Intelligence.The first four chapters include ... Read more

$103.00 USD

Comprehensive resource explaining how to evaluate technologies for different purposes in any industry using four different practical approachesFuture-Oriented Technology Assessment offers a comprehensive view of technology assessment structured into three different practical approaches: Technology Evaluation, Technology Roadmapping, and Technology Intelligence.The first four chapters include
... Read more
Navigating Unpredictability: Collaborative Networks in Non-linear Worlds

25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part I

Edited by Luis M. Camarinha-Matos, Angel Ortiz, Xavier Boucher, Anne-Marie Barthe-Delanoë ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set, IFIP AICT 726 and 727, constitutes the refereed proceedings of the 25th IFIP WG 5.5 Working Conference on Virtual Enterprise, PRO-VE 2024, held in Albi, France, during October 28–30, 2024.The 56 full papers presented in these two volumes were carefully reviewed and selected from 113 submissions. The papers presented in these two volumes are organized in the following topical ... Read more

$116.09 USD

This two-volume set, IFIP AICT 726 and 727, constitutes the refereed proceedings of the 25th IFIP WG 5.5 Working Conference on Virtual Enterprise, PRO-VE 2024, held in Albi, France, during October 28–30, 2024.The 56 full papers presented in these two volumes were carefully reviewed and selected from 113 submissions. The papers presented in these two volumes are organized in the following topical
... Read more
Programming with GitHub Copilot

Write Better Code--Faster!

by Kurt Dowswell ...

Series series Tech Today
Accelerate your programming with the most popular AI coding tool on the market: GitHub CopilotIn Programming with GitHub Copilot: Write Better Code — Faster, veteran software developer and GitHub community hero Kurt Dowswell delivers an insightful and hands-on exploration of GitHub's powerful, new AI coding assistant, Copilot. In the book, you'll discover how to use the tool's capabilities to push ... Read more

$50.00 USD

Accelerate your programming with the most popular AI coding tool on the market: GitHub CopilotIn Programming with GitHub Copilot: Write Better Code — Faster, veteran software developer and GitHub community hero Kurt Dowswell delivers an insightful and hands-on exploration of GitHub's powerful, new AI coding assistant, Copilot. In the book, you'll discover how to use the tool's capabilities to push
... Read more
Parallel C++

Efficient and Scalable High-Performance Parallel Programming Using HPX

by Patrick Diehl, Steven R. Brandt, Hartmut Kaiser ...

Series series Computer Science (R0)
This textbook focuses on practical parallel C++ programming at the graduate student level. In particular, it shows the APIs and related language features in the C++ 17 and C++ 20 standards, covering both single node and distributed systems. It shows that with the parallel features in the C++ 17 and C++ 20 standards, learning meta-languages like OpenMP is no longer necessary. Using the C++ standard ... Read more

$71.99 USD

This textbook focuses on practical parallel C++ programming at the graduate student level. In particular, it shows the APIs and related language features in the C++ 17 and C++ 20 standards, covering both single node and distributed systems. It shows that with the parallel features in the C++ 17 and C++ 20 standards, learning meta-languages like OpenMP is no longer necessary. Using the C++ standard
... Read more
Taming Your Dragon

Addressing Your Technical Debt

by Dr. Andrew Richard Brown ...

Series series Professional and Applied Computing (R0)
Technical debt is an often-overlooked problem that the software industry needs to take more seriously. All organizations are impacted by it, most wish that they had less of it, but need help in understanding the nature of the beast. This book aims to clear up any misconceptions and show you how to implement a sound technical debt management program to suit your company’s needs.You’ll learn the ... Read more

$53.99 USD

Technical debt is an often-overlooked problem that the software industry needs to take more seriously. All organizations are impacted by it, most wish that they had less of it, but need help in understanding the nature of the beast. This book aims to clear up any misconceptions and show you how to implement a sound technical debt management program to suit your company’s needs.You’ll learn the
... Read more
Technologies and Innovation

9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13–16, 2023, Proceedings

Edited by Rafael Valencia-García, Martha Bucaram-Leverone, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Pablo Humberto Centanaro-Quiroz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13–16, 2023.The 20 full papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Machine Learning; Natural Language Processing and Semantic Web; ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 9th International Conference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13–16, 2023.The 20 full papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Machine Learning; Natural Language Processing and Semantic Web;
... Read more
Multicore Computing

Algorithms, Architectures, and Applications

Edited by Sanguthevar Rajasekaran, Lance Fiondella, Mohamed Ahmed, Reda A. Ammar ...

Series series Chapman & Hall/CRC Computer and Information Science Series
Every area of science and engineering today has to process voluminous data sets. Using exact, or even approximate, algorithms to solve intractable problems in critical areas, such as computational biology, takes time that is exponential in some of the underlying parameters. Parallel computing addresses this issue and has become affordable with the ... Read more

$233.99 USD

Every area of science and engineering today has to process voluminous data sets. Using exact, or even approximate, algorithms to solve intractable problems in critical areas, such as computational biology, takes time that is exponential in some of the underlying parameters. Parallel computing addresses this issue and has become affordable with the
... Read more
OpenJS Node.js Application Developer (JSNAD) Certification Guide

by Liora Venith ...

Get certified in Node.js application development and take your career to the next level! The JSNAD certification is your ticket to proving your deep understanding and proficiency in Node.js application development. This fantastic book is perfect for anyone aiming to ace the JSNAD exam.The book is packed with essential Node.js concepts, including asynchronous programming, middleware integration, ... Read more

$29.99 USD or Free with Kobo Plus

Get certified in Node.js application development and take your career to the next level! The JSNAD certification is your ticket to proving your deep understanding and proficiency in Node.js application development. This fantastic book is perfect for anyone aiming to ace the JSNAD exam.The book is packed with essential Node.js concepts, including asynchronous programming, middleware integration,
... Read more
Logic-Based Program Synthesis and Transformation

31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

Edited by Emanuele De Angelis, Wim Vanhoof ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.*Conference was held as a ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.*Conference was held as a
... Read more
Security and Trust Management

18th International Workshop, STM 2022, Copenhagen, Denmark, September 29, 2022, Proceedings

Edited by Gabriele Lenzini, Weizhi Meng ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the post proceedings of the 18th International Workshop on Security and Trust Management, STM 2022, co-located with the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in Copenhagen, Denmark, in September 2022.The 7 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 18 submissions ... Read more

$53.99 USD

This book constitutes the post proceedings of the 18th International Workshop on Security and Trust Management, STM 2022, co-located with the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in Copenhagen, Denmark, in September 2022.The 7 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 18 submissions
... Read more
敏捷软件开发：珍藏版

by （美）罗伯特·C.马丁（Robert C. Martin） ...

Translated by 鄢倩，徐进 ...

《敏捷软件开发(珍藏版)》作为敏捷软件开发的里程碑之作，重点介绍了敏捷软件开发的原则、模式和实践。全书共6部分30章4个附录，以场景化方式阐述了什么敏捷软件开发的核心，强调了工程实践是敏捷软件开发的重要基石。本书的写作风格诙谐幽默，巧妙地通过通俗易懂和画面感十足的的表述漫画来帮助读者理解可能枯燥晦涩的专业技术要点。《敏捷软件开发(珍藏版)》适合真正想要通过敏捷方式来提升软件开发技能以及及时交付软件价值的所有读者阅读和参考。 ... Read more

$30.20 USD

《敏捷软件开发(珍藏版)》作为敏捷软件开发的里程碑之作，重点介绍了敏捷软件开发的原则、模式和实践。全书共6部分30章4个附录，以场景化方式阐述了什么敏捷软件开发的核心，强调了工程实践是敏捷软件开发的重要基石。本书的写作风格诙谐幽默，巧妙地通过通俗易懂和画面感十足的的表述漫画来帮助读者理解可能枯燥晦涩的专业技术要点。《敏捷软件开发(珍藏版)》适合真正想要通过敏捷方式来提升软件开发技能以及及时交付软件价值的所有读者阅读和参考。
... Read more
ABAQUS 2020有限元分析从入门到精通

by CAD/CAM/CAE技术联盟 ...

《ABAQUS 2020 有限元分析从入门到精通》以有限元软件ABAQUS 2020 为对象，系统地介绍了ABAQUS 2020 的各种基本功能。全书分为11 章，主要从线性结构静力问题、接触问题、材料非线性问题、结构模态问题、显式非线性问题、热应力问题、多体系统问题、多步骤问题及子程序开发9 个方面系统地讲解了ABAQUS 2020 的基本功能和简单建模与仿真实例。本书内容从实用出发，侧重于 ABAQUS 的实际操作和工程问题的解决。书中对重点问题及需要注意的方面均给出了提示，有利于初学者快速掌握ABAQUS的基本操作。 ... Read more

$13.26 USD

《ABAQUS 2020 有限元分析从入门到精通》以有限元软件ABAQUS 2020 为对象，系统地介绍了ABAQUS 2020 的各种基本功能。全书分为11 章，主要从线性结构静力问题、接触问题、材料非线性问题、结构模态问题、显式非线性问题、热应力问题、多体系统问题、多步骤问题及子程序开发9 个方面系统地讲解了ABAQUS 2020 的基本功能和简单建模与仿真实例。本书内容从实用出发，侧重于 ABAQUS 的实际操作和工程问题的解决。书中对重点问题及需要注意的方面均给出了提示，有利于初学者快速掌握ABAQUS的基本操作。
... Read more
A Guide to Software Quality Engineering

by Shravan Pargaonkar ...

In today’s fast-paced digital world, delivering high-quality software is not just a goal; it’s an absolute necessity. A Guide to Software Quality Engineering is a companion book for anyone involved in software development, testing, or quality assurance.This comprehensive book takes you on a transformative journey through the world of software quality engineering, providing invaluable insights, ... Read more

$70.99 USD

In today’s fast-paced digital world, delivering high-quality software is not just a goal; it’s an absolute necessity. A Guide to Software Quality Engineering is a companion book for anyone involved in software development, testing, or quality assurance.This comprehensive book takes you on a transformative journey through the world of software quality engineering, providing invaluable insights,
... Read more
Deploying Enterprise Systems

How to Select, Configure, Build, Deploy, and Maintain a Successful ES in Your Organization

by David Mattson ...

This book focuses on topics that business managers and project teams in global enterprises need to understand and follow to successfully deploy an Enterprise System (ES) for their organization. It explains: Why this type of software product will appeal to global organizations with the promise to replace their older individual systems with a single integrated ES and how an ES allows companies to ... Read more

$59.99 USD

This book focuses on topics that business managers and project teams in global enterprises need to understand and follow to successfully deploy an Enterprise System (ES) for their organization. It explains: Why this type of software product will appeal to global organizations with the promise to replace their older individual systems with a single integrated ES and how an ES allows companies to
... Read more
Formal Methods: Foundations and Applications

26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings

Edited by Haniel Barbosa, Yoni Zohar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification
... Read more
Demystifying DevSecOps in AWS

Achieve operational excellence in the cloud with DevSecOps (English Edition)

by Picklu Paul ...

“Demystifying DevSecOps in AWS” is a practical and insightful handbook designed to empower you in your pursuit of securing modern enterprises within Amazon Web Services (AWS) environments. This book delves deep into the world of DevSecOps, offering a thorough understanding of its fundamentals, principles, methodologies, and real-world implementation strategies. It equips you with the knowledge and ... Read more

$14.39 USD or Free with Kobo Plus

“Demystifying DevSecOps in AWS” is a practical and insightful handbook designed to empower you in your pursuit of securing modern enterprises within Amazon Web Services (AWS) environments. This book delves deep into the world of DevSecOps, offering a thorough understanding of its fundamentals, principles, methodologies, and real-world implementation strategies. It equips you with the knowledge and
... Read more
Digital Personality: A Man Forever

Volume 1: Introduction

by Kuldeep Singh Kaswan, Jagjit Singh Dhatterwal, Anand Nayyar ...

This book delves into the very core of our digital existence, unearthing the essence of a digital persona. It's a realm where authenticity meets multiplicity, as we decipher the nuanced art of crafting and managing our online identities. We confront issues of privacy and ethics, exploring the profound impact of our digital footprints on our lives and society. The integration of AI paves the way ... Read more

$73.99 USD

This book delves into the very core of our digital existence, unearthing the essence of a digital persona. It's a realm where authenticity meets multiplicity, as we decipher the nuanced art of crafting and managing our online identities. We confront issues of privacy and ethics, exploring the profound impact of our digital footprints on our lives and society. The integration of AI paves the way
... Read more
Blockchain – ICBC 2024

7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Edited by Jun Feng, Songlin He, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Conference on Blockchain – ICBC 2024, held as part of the Services Conference Federation, SCF 2024, held in Bangkok, Thailand, during November 16–19, 2024.The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. These papers discussed the latest fundamental advances in the state-of-the-art ... Read more

$53.99 USD

This book constitutes the proceedings of the 7th International Conference on Blockchain – ICBC 2024, held as part of the Services Conference Federation, SCF 2024, held in Bangkok, Thailand, during November 16–19, 2024.The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. These papers discussed the latest fundamental advances in the state-of-the-art
... Read more
Programmieren für Ingenieure und Naturwissenschaftler

Intelligente Algorithmen und digitale Technologien

by Sebastian Dörn ...

Series series Computer Science and Engineering (German Language)
Ziel des Buches ist es, Ingenieuren oder Naturwissenschaftlern die Programmierung als Schlüsselqualifikation mit zahlreichen Anwendungsmöglichkeiten vorzustellen. Der Autor erläutert algorithmische Methoden, die heute hinter digitalen Produkten und Dienstleistungen stehen. Zentrale Anwendungen sind die Künstliche Intelligenz, das Data Mining, die Predictive Analytics, die Industrie 4.0 oder das ... Read more

$31.49 USD

Ziel des Buches ist es, Ingenieuren oder Naturwissenschaftlern die Programmierung als Schlüsselqualifikation mit zahlreichen Anwendungsmöglichkeiten vorzustellen. Der Autor erläutert algorithmische Methoden, die heute hinter digitalen Produkten und Dienstleistungen stehen. Zentrale Anwendungen sind die Künstliche Intelligenz, das Data Mining, die Predictive Analytics, die Industrie 4.0 oder das
... Read more
Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Edited by Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...

Series series Computer Science (R0)
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... Read more

$49.49 USD

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Software Development eBooks

Show: