Rakuten Kobo

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Edición de Alexandra Silva, K. Rustan M. Leino ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Leer más

Gratis

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Leer más
Securing the Perimeter

Deploying Identity and Access Management with Free Open Source Software

de Michael Schwartz, Maciej Machulak ...

Series series Professional and Applied Computing (R0)
Leverage existing free open source software to build an identity and access management (IAM) platform that can serve your organization for the long term. With the emergence of open standards and open source software, it’s now easier than ever to build and operate your own IAM stack.The most common culprit of the largest hacks has been bad personal identification. In terms of bang for your buck, ... Leer más

$62.99 USD

Leverage existing free open source software to build an identity and access management (IAM) platform that can serve your organization for the long term. With the emergence of open standards and open source software, it’s now easier than ever to build and operate your own IAM stack.The most common culprit of the largest hacks has been bad personal identification. In terms of bang for your buck,
... Leer más
Lecture Notes on Collaborative Software Projects

Practices, Concepts, and Key Events for Designing, Managing, and Prototyping Successful Products

de Alejandra J Magana ...

Lecture Notes on Collaborative Software Projects: Practices, Concepts, and Key Events for Designing, Managing, and Prototyping Successful Products provides a practical, integrated approach to systems analysis and design, guiding readers through the complete process of developing working software prototypes.Featuring a comprehensive case study with real project artifacts, this book emphasizes ... Leer más

$34.19 USD

Lecture Notes on Collaborative Software Projects: Practices, Concepts, and Key Events for Designing, Managing, and Prototyping Successful Products provides a practical, integrated approach to systems analysis and design, guiding readers through the complete process of developing working software prototypes.Featuring a comprehensive case study with real project artifacts, this book emphasizes
... Leer más
Scripting in Java

Integrating with Groovy and JavaScript

de Kishori Sharan ...

Series series Professional and Applied Computing (R0)
Scripting in Java teaches you how to use the Java Scripting API and JavaScript to execute scripts and take advantage of the features of a scripting language while developing Java applications. The book also covers topics that enable scripting languages to take advantage of Java features and the Java class library, including the new Java Collections and JavaFX 8 APIs. Most of the examples in this ... Leer más

$40.49 USD

Scripting in Java teaches you how to use the Java Scripting API and JavaScript to execute scripts and take advantage of the features of a scripting language while developing Java applications. The book also covers topics that enable scripting languages to take advantage of Java features and the Java class library, including the new Java Collections and JavaFX 8 APIs. Most of the examples in this
... Leer más
Semantic Software Design

A New Theory and Practical Guide for Modern Architects

de Eben Hewitt ...

With this practical book, architects, CTOs, and CIOs will learn a set of patterns for the practice of architecture, including analysis, documentation, and communication. Author Eben Hewitt shows you how to create holistic and thoughtful technology plans, communicate them clearly, lead people toward the vision, and become a great architect or Chief Architect.This book covers each key aspect of ... Leer más

$30.99 USD

With this practical book, architects, CTOs, and CIOs will learn a set of patterns for the practice of architecture, including analysis, documentation, and communication. Author Eben Hewitt shows you how to create holistic and thoughtful technology plans, communicate them clearly, lead people toward the vision, and become a great architect or Chief Architect.This book covers each key aspect of
... Leer más
Agile Processes, in Software Engineering, and Extreme Programming

17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings

Edición de Helen Sharp, Tracy Hall ...

Series series Springer Nature Proceedings Computer Science
This book contains the refereed proceedings of the 17th International Conference on Agile Software Development, XP 2016, held in Edinburgh, UK, in May 2016.While agile development has already become mainstream in industry, this field is still constantly evolving and continues to spur an enormous interest both in industry and academia. To this end, the XP conference attracts a large number of ... Leer más

Gratis

This book contains the refereed proceedings of the 17th International Conference on Agile Software Development, XP 2016, held in Edinburgh, UK, in May 2016.While agile development has already become mainstream in industry, this field is still constantly evolving and continues to spur an enormous interest both in industry and academia. To this end, the XP conference attracts a large number of
... Leer más
Terraform for Developers

Essentials of Infrastructure Automation and Provisioning

de Kimiko Lee ...

"Terraform for Developers" provides a comprehensive guide to mastering infrastructure as code with Terraform, intended for both beginners and experienced practitioners. The book starts by introducing foundational Terraform concepts like its architecture, setup on various cloud platforms, and the syntax of its configuration language HCL. This grounds the reader in core skills needed to author ... Leer más

$28.49 USD

"Terraform for Developers" provides a comprehensive guide to mastering infrastructure as code with Terraform, intended for both beginners and experienced practitioners. The book starts by introducing foundational Terraform concepts like its architecture, setup on various cloud platforms, and the syntax of its configuration language HCL. This grounds the reader in core skills needed to author
... Leer más
Domain-Driven Refactoring

A hands-on DDD guide to transforming monoliths into modular systems and microservices

de Alessandro Colla, Alberto Acerbis ...

Apply domain-driven design practices effortlessly to evolve your system into a modern, robust application while mastering refactoring techniques that drive real-world resultsKey FeaturesLearn how to modernize your system to make it as frictionless as possibleGain hands-on experience in applying strategic and tactical patterns through real-world examplesTransform your architecture with practical ... Leer más

$28.79 USD o gratis con Kobo Plus

Apply domain-driven design practices effortlessly to evolve your system into a modern, robust application while mastering refactoring techniques that drive real-world resultsKey FeaturesLearn how to modernize your system to make it as frictionless as possibleGain hands-on experience in applying strategic and tactical patterns through real-world examplesTransform your architecture with practical
... Leer más
QGIS Python Programming Cookbook, Second Edition

Automating geospatial development

de Joel Lawhead ...

Master over 170 recipes that will help you turn QGIS from a desktop GIS tool into a powerful automated geospatial frameworkKey Features\[\*\] Delve into the undocumented features of the QGIS API\[\*\] Get a set of user-friendly recipes that can automate entire geospatial workflows by connecting Python GIS building blocks into comprehensive processes\[\*\] This book has a complete code upgrade to ... Leer más

$41.39 USD o gratis con Kobo Plus

Master over 170 recipes that will help you turn QGIS from a desktop GIS tool into a powerful automated geospatial frameworkKey Features\[\*\] Delve into the undocumented features of the QGIS API\[\*\] Get a set of user-friendly recipes that can automate entire geospatial workflows by connecting Python GIS building blocks into comprehensive processes\[\*\] This book has a complete code upgrade to
... Leer más
Docker for Beginner: Practical Guide to Containerization Mastery

de Nolan Vautrin ...

"Docker for Beginners - Practical Guide to Containerization Mastery" is a comprehensive guide designed for those who want to discover and master Docker, a revolutionary technology in the field of containerization. This book is tailored to be accessible to a wide audience, whether you are a developer, system administrator, or simply a tech enthusiast.Book ObjectivesThe primary goal of this guide is ... Leer más

$6.00 USD o gratis con Kobo Plus

"Docker for Beginners - Practical Guide to Containerization Mastery" is a comprehensive guide designed for those who want to discover and master Docker, a revolutionary technology in the field of containerization. This book is tailored to be accessible to a wide audience, whether you are a developer, system administrator, or simply a tech enthusiast.Book ObjectivesThe primary goal of this guide is
... Leer más
GitHub Actions in Action

Continuous integration and delivery for DevOps

de Michael Kaufmann ...

Automate your build, test, and deploy pipelines using GitHub Actions!Continuous delivery (CI/CD) pipelines help you automate the software development process and maximize your team’s efficiency. GitHub Actions in Action teaches you how to build, test, and deploy pipelines in GitHub Actions through hands-on labs and projects.In GitHub Actions in Action you will learn how to:Create and share GitHub ... Leer más

$49.99 USD

Automate your build, test, and deploy pipelines using GitHub Actions!Continuous delivery (CI/CD) pipelines help you automate the software development process and maximize your team’s efficiency. GitHub Actions in Action teaches you how to build, test, and deploy pipelines in GitHub Actions through hands-on labs and projects.In GitHub Actions in Action you will learn how to:Create and share GitHub
... Leer más
Achieving a Mature Software

de Raphael Amoedo ...

Series Libro 1 - Achieving a Mature Software
A mature software is the software that is reliable, secure, stable, flexible, robust. Knowing which technologies choose for specific problems is essential to achieve a mature software. However, for this you need to know various technologies, frameworks, concepts and etc.To sum up: being a better professional is the first step to reach the goal.The professional that is always learning knows ... Leer más

Gratis

A mature software is the software that is reliable, secure, stable, flexible, robust. Knowing which technologies choose for specific problems is essential to achieve a mature software. However, for this you need to know various technologies, frameworks, concepts and etc.To sum up: being a better professional is the first step to reach the goal.The professional that is always learning knows
... Leer más
Embedded Software Development for Safety-Critical Systems

de Chris Hobbs ...

"I highly recommend Mr. Hobbs' book." - Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.comSafety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know ... Leer más

$62.99 USD

"I highly recommend Mr. Hobbs' book." - Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.comSafety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know
... Leer más
Mapping with ArcGIS Pro

Design accurate and user-friendly maps to share the story of your data

de Amy Rock, Ryan Malhoski ...

Implementing the ArcGIS Pro technique to design accurate, user friendly maps and making appropriate cartographic decisionsKey Features- Build visually stunning and useful maps;- Understand the cartographic workflows and the decisions you must take before creating the map;- Learn to create appropriate map elements and layout designs-Use the ArcGIS Online's Smart Mapping technique to create clear ... Leer más

$37.79 USD o gratis con Kobo Plus

Implementing the ArcGIS Pro technique to design accurate, user friendly maps and making appropriate cartographic decisionsKey Features- Build visually stunning and useful maps;- Understand the cartographic workflows and the decisions you must take before creating the map;- Learn to create appropriate map elements and layout designs-Use the ArcGIS Online's Smart Mapping technique to create clear
... Leer más
Introduction to Ethical Software Development

de Jan Gogoll, Niina Zuber ...

Series series Computer Science (R0)
This open access book bridges the gap between ethical theory and software practice. It introduces foundational concepts in digital ethics, highlights the distinctive nature of software as a technology, and offers a systematic approach to integrating ethics into the development process.The book is structured in eight chapters: it starts with an Introduction presenting a historical overview that ... Leer más

Gratis

This open access book bridges the gap between ethical theory and software practice. It introduces foundational concepts in digital ethics, highlights the distinctive nature of software as a technology, and offers a systematic approach to integrating ethics into the development process.The book is structured in eight chapters: it starts with an Introduction presenting a historical overview that
... Leer más
Agentic SDLC: Rethinking How We Build Software with AI Agents

de LEONARDO SAMPAIO ...

SOFTWARE DEVELOPMENT WAS DESIGNED AROUND THE COST OF HUMAN EXECUTION. AGENTIC SDLC IS DESIGNED AROUND THE COST OF MACHINE EXECUTION.That single distinction changes everything.Agile, Scrum, sprint planning, daily stand-ups, user stories, story points, INVEST criteria, pull requests, architecture review boards — all of these practices exist, at least in part, because human beings have limited ... Leer más

$9.99 USD

SOFTWARE DEVELOPMENT WAS DESIGNED AROUND THE COST OF HUMAN EXECUTION. AGENTIC SDLC IS DESIGNED AROUND THE COST OF MACHINE EXECUTION.That single distinction changes everything.Agile, Scrum, sprint planning, daily stand-ups, user stories, story points, INVEST criteria, pull requests, architecture review boards — all of these practices exist, at least in part, because human beings have limited
... Leer más
Safe C++

How to avoid common mistakes

de Vladimir Kushnir ...

It’s easy to make lots of programming mistakes in C++—in fact, any program over a few hundred lines is likely to contain bugs. With this book, you’ll learn about many common coding errors that C++ programmers produce, along with rules and strategies you can use to avoid them.Author Vladimir Kushnir shows you how to use his Safe C++ library, based in part on programming practices developed by the C ... Leer más

$15.89 USD

It’s easy to make lots of programming mistakes in C++—in fact, any program over a few hundred lines is likely to contain bugs. With this book, you’ll learn about many common coding errors that C++ programmers produce, along with rules and strategies you can use to avoid them.Author Vladimir Kushnir shows you how to use his Safe C++ library, based in part on programming practices developed by the C
... Leer más
Modern Linux Application Development: A Practical Guide to Building, Packaging and Deploying Software

de J. P. Raymond ...

Are you ready to master Linux application development from the ground up? Whether you're transitioning from another operating system, starting your programming journey, or aspiring to work in DevOps, this comprehensive guide provides everything you need to build, package, and deploy professional Linux software.Modern Linux Application Development takes you on a complete journey through the entire ... Leer más

$5.99 USD o gratis con Kobo Plus

Are you ready to master Linux application development from the ground up? Whether you're transitioning from another operating system, starting your programming journey, or aspiring to work in DevOps, this comprehensive guide provides everything you need to build, package, and deploy professional Linux software.Modern Linux Application Development takes you on a complete journey through the entire
... Leer más
Jenkins 2: Up and Running

Evolve Your Deployment Pipeline for Next Generation Automation

de Brent Laster ...

Design, implement, and execute continuous delivery pipelines with a level of flexibility, control, and ease of maintenance that was not possible with Jenkins before. With this practical book, build administrators, developers, testers, and other professionals will learn how the features in Jenkins 2 let you define pipelines as code, leverage integration with other key technologies, and create ... Leer más

$41.99 USD

Design, implement, and execute continuous delivery pipelines with a level of flexibility, control, and ease of maintenance that was not possible with Jenkins before. With this practical book, build administrators, developers, testers, and other professionals will learn how the features in Jenkins 2 let you define pipelines as code, leverage integration with other key technologies, and create
... Leer más
Intel Threading Building Blocks

Outfitting C++ for Multi-core Processor Parallelism

de James Reinders ...

Multi-core chips from Intel and AMD offer a dramatic boost in speed and responsiveness, and plenty of opportunities for multiprocessing on ordinary desktop computers. But they also present a challenge: More than ever, multithreading is a requirement for good performance. This guide explains how to maximize the benefits of these processors through a portable C++ library that works on Windows, Linux ... Leer más

$23.99 USD

Multi-core chips from Intel and AMD offer a dramatic boost in speed and responsiveness, and plenty of opportunities for multiprocessing on ordinary desktop computers. But they also present a challenge: More than ever, multithreading is a requirement for good performance. This guide explains how to maximize the benefits of these processors through a portable C++ library that works on Windows, Linux
... Leer más
Aprende a Desarrollar Videojuegos

de Ángel Arias ...

El desarrollo de un juego no es una tarea trivial, ya que requiere una atención especial, ya que es un software bastante complejo que cubre varias áreas de computación, tales como la programación, el diseño, la creación de redes, la infografía, la inteligencia artificial, o el sonidos entre otros. Sin embargo, las nuevas herramientas y métodos han facilitado el desarrollo de desarrollo de juegos, ... Leer más

$2.95 USD o gratis con Kobo Plus

El desarrollo de un juego no es una tarea trivial, ya que requiere una atención especial, ya que es un software bastante complejo que cubre varias áreas de computación, tales como la programación, el diseño, la creación de redes, la infografía, la inteligencia artificial, o el sonidos entre otros. Sin embargo, las nuevas herramientas y métodos han facilitado el desarrollo de desarrollo de juegos,
... Leer más
JavaScript Quick Syntax Reference

de Mikael Olsson ...

Series series Professional and Applied Computing (R0)
JavaScript Quick Syntax Reference is a condensed syntax reference to the JavaScript language. It presents the essentials of JavaScript in a well-organized format that can be used as a handy reference. This includes the latest ECMAScript 5, JSON (JavaScript Object Notation) and DOM (Document Object Model) specifications and implementations.You won’t find any technical jargon, bloated samples, drawn ... Leer más

$23.99 USD

JavaScript Quick Syntax Reference is a condensed syntax reference to the JavaScript language. It presents the essentials of JavaScript in a well-organized format that can be used as a handy reference. This includes the latest ECMAScript 5, JSON (JavaScript Object Notation) and DOM (Document Object Model) specifications and implementations.You won’t find any technical jargon, bloated samples, drawn
... Leer más
CMake Best Practices

Discover proven techniques for creating and maintaining programming projects with CMake

de Dominik Berner, Mustafa Kemal Gilor ...

Explore a compendium of tips, tricks, and techniques for leveraging CMake and empowering your software development workflow.Key FeaturesUnderstand what CMake is, how it works, and how to interact with itDiscover how to properly create and maintain well-structured CMake projectsExplore tools and techniques to get the most out of your CMake projectBook DescriptionCMake is a powerful tool used to ... Leer más

$35.99 USD o gratis con Kobo Plus

Explore a compendium of tips, tricks, and techniques for leveraging CMake and empowering your software development workflow.Key FeaturesUnderstand what CMake is, how it works, and how to interact with itDiscover how to properly create and maintain well-structured CMake projectsExplore tools and techniques to get the most out of your CMake projectBook DescriptionCMake is a powerful tool used to
... Leer más
Clean Code in Python

Write Scalable, Readable, and Maintainable Code with Modern Python

de Mariano Anaya ...

Write professional, scalable, and maintainable Python code by applying industry-approved clean coding principles. Learn to refactor, implement SOLID principles, and structure code efficiently using the latest features in Python 3.9Key FeaturesEnhance your coding skills using the new features introduced in Python 3.9Implement the refactoring techniques and SOLID principles in PythonApply ... Leer más

$37.99 USD o gratis con Kobo Plus

Write professional, scalable, and maintainable Python code by applying industry-approved clean coding principles. Learn to refactor, implement SOLID principles, and structure code efficiently using the latest features in Python 3.9Key FeaturesEnhance your coding skills using the new features introduced in Python 3.9Implement the refactoring techniques and SOLID principles in PythonApply
... 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: