Rakuten Kobo

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

Edited by Constantin Enea, Akash Lal ...

Series Book 3 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Read more

Free

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Read more
Adaptive Leadership

Accelerating Enterprise Agility

by Jim Highsmith ...

Lessons from Agile’s First Decade…Leadership for Agile’s Next DecadeThe agile software movement has now been around for a full decade. As coauthor of the original Agile Manifesto, Jim Highsmith has been at its heart since the beginning. He’s spent the past decade helping hundreds of organizations transition to agile/lean. When it comes to agile, he’s seen it all–in a variety of industries, ... Read more

$28.99 USD

Lessons from Agile’s First Decade…Leadership for Agile’s Next DecadeThe agile software movement has now been around for a full decade. As coauthor of the original Agile Manifesto, Jim Highsmith has been at its heart since the beginning. He’s spent the past decade helping hundreds of organizations transition to agile/lean. When it comes to agile, he’s seen it all–in a variety of industries,
... Read more
Essential Test-Driven Development

by Rob Myers ...

Series series Addison-Wesley Signature Series (Cohn)
Techniques and Insights to Deliver High-Quality, Maintainable CodeTest-Driven Development (TDD) is not only a way to test your code but a complete method of crafting software: How you think about code, the act of writing code, and how you continuously interact with your team's code. Essential Test-Driven Development guides you through writing tests before code, ensuring that every feature is ... Read more

$34.19 USD

Techniques and Insights to Deliver High-Quality, Maintainable CodeTest-Driven Development (TDD) is not only a way to test your code but a complete method of crafting software: How you think about code, the act of writing code, and how you continuously interact with your team's code. Essential Test-Driven Development guides you through writing tests before code, ensuring that every feature is
... Read more
GitOps and Kubernetes

Continuous Deployment with Argo CD, Jenkins X, and Flux

by Billy Yuen, Alex Matyushentsev, Jesse Suen, Todd Ekenstam ...

GitOps and Kubernetes teaches you how to use Git and the GitOps methodology to manage a Kubernetes cluster.SummaryGitOps and Kubernetes introduces a radical idea—managing your infrastructure with the same Git pull requests you use to manage your codebase. In this in-depth tutorial, you’ll learn to operate infrastructures based on powerful-but-complex technologies such as Kubernetes with the same ... Read more

$49.99 USD

GitOps and Kubernetes teaches you how to use Git and the GitOps methodology to manage a Kubernetes cluster.SummaryGitOps and Kubernetes introduces a radical idea—managing your infrastructure with the same Git pull requests you use to manage your codebase. In this in-depth tutorial, you’ll learn to operate infrastructures based on powerful-but-complex technologies such as Kubernetes with the same
... Read more
Kotlin Design Patterns and Best Practices

Elevate your Kotlin skills with classical and modern design patterns, coroutines, and microservices

by Alexey Soshin ...

Dive deep into Kotlin design patterns, explore idiomatic functional programming, and master microservices with frameworks like Arrow, Ktor, and Vert.x.Key FeaturesStart from basic Kotlin syntax and go all the way to advanced topics like Coroutines and structural concurrencyLearn how to select and implement the right design pattern for your next Kotlin projectGet to grips with concurrent and ... Read more

$34.99 USD or Free with Kobo Plus

Dive deep into Kotlin design patterns, explore idiomatic functional programming, and master microservices with frameworks like Arrow, Ktor, and Vert.x.Key FeaturesStart from basic Kotlin syntax and go all the way to advanced topics like Coroutines and structural concurrencyLearn how to select and implement the right design pattern for your next Kotlin projectGet to grips with concurrent and
... Read more
Beginning Java 8 Fundamentals

Language Syntax, Arrays, Data Types, Objects, and Regular Expressions

by Kishori Sharan ...

Series series Professional and Applied Computing (R0)
Beginning Java 8 Fundamentals provides a comprehensive approach to learning the Java programming language, especially the object-oriented fundamentals necessary at all levels of Java development.Author Kishori Sharan provides over 90 diagrams and 240 complete programs to help beginners and intermediate level programmers learn the topics faster. Starting with basic programming concepts, the author ... Read more

$44.99 USD

Beginning Java 8 Fundamentals provides a comprehensive approach to learning the Java programming language, especially the object-oriented fundamentals necessary at all levels of Java development.Author Kishori Sharan provides over 90 diagrams and 240 complete programs to help beginners and intermediate level programmers learn the topics faster. Starting with basic programming concepts, the author
... Read more
Engineering Agile Big-Data Systems

by Kevin Feeney, Jim Davies, James Welch ...

To be effective, data-intensive systems require extensive ongoing customisation to reflect changing user requirements, organisational policies, and the structure and interpretation of the data they hold. Manual customisation is expensive, time-consuming, and error-prone. In large complex systems, the value of the data can be such that exhaustive testing is necessary before any new feature can be ... Read more

Free

To be effective, data-intensive systems require extensive ongoing customisation to reflect changing user requirements, organisational policies, and the structure and interpretation of the data they hold. Manual customisation is expensive, time-consuming, and error-prone. In large complex systems, the value of the data can be such that exhaustive testing is necessary before any new feature can be
... Read more
Mastering Prometheus

Monitor your infrastructure, applications, and services with expert tips and tricks

by William Hegedus ...

Learn how to effectively implement, manage, and optimize Prometheus for monitoring your systemsKey FeaturesAchieve high availability with Prometheus by using Thanos with the help of real-world use casesIntegrate Prometheus into your broader observability stack with OpenTelemetryTweak, tune, and debug Prometheus to reliably scale without limitsPurchase of the print or Kindle book includes a free ... Read more

$34.19 USD or Free with Kobo Plus

Learn how to effectively implement, manage, and optimize Prometheus for monitoring your systemsKey FeaturesAchieve high availability with Prometheus by using Thanos with the help of real-world use casesIntegrate Prometheus into your broader observability stack with OpenTelemetryTweak, tune, and debug Prometheus to reliably scale without limitsPurchase of the print or Kindle book includes a free
... Read more
Scaling Fast

Software Engineering Through the Hockeystick

by Swizec Teller ...

What happens when your startup hits the hockey stick?Customers are flooding in, deadlines are relentless, and your engineering team is drowning in technical debt. Scaling isn’t optional—it’s survival.InScaling Fast: Software Engineering Through the Hockeystick, veteran startup engineer Swizec Teller shares hard-won lessons from leading teams through hypergrowth. From women’s health startups ... Read more

$9.99 USD

What happens when your startup hits the hockey stick?Customers are flooding in, deadlines are relentless, and your engineering team is drowning in technical debt. Scaling isn’t optional—it’s survival.InScaling Fast: Software Engineering Through the Hockeystick, veteran startup engineer Swizec Teller shares hard-won lessons from leading teams through hypergrowth. From women’s health startups
... Read more
Think Data Structures

Algorithms and Information Retrieval in Java

by Allen B. Downey ...

If you’re a student studying computer science or a software developer preparing for technical interviews, this practical book will help you learn and review some of the most important ideas in software engineering—data structures and algorithms—in a way that’s clearer, more concise, and more engaging than other materials.By emphasizing practical knowledge and skills over theory, author Allen ... Read more

$24.49 USD

If you’re a student studying computer science or a software developer preparing for technical interviews, this practical book will help you learn and review some of the most important ideas in software engineering—data structures and algorithms—in a way that’s clearer, more concise, and more engaging than other materials.By emphasizing practical knowledge and skills over theory, author Allen
... Read more
Handbook of Neuroevolution Through Erlang

by Gene I. Sher ...

Handbook of Neuroevolution Through Erlang presents both the theory behind, and the methodology of, developing a neuroevolutionary-based computational intelligence system using Erlang. With a foreword written by Joe Armstrong, this handbook offers an extensive tutorial for creating a state of the art Topology and Weight Evolving Artificial Neural Network (TWEANN) platform. In a step-by-step format, ... Read more

$215.09 USD

Handbook of Neuroevolution Through Erlang presents both the theory behind, and the methodology of, developing a neuroevolutionary-based computational intelligence system using Erlang. With a foreword written by Joe Armstrong, this handbook offers an extensive tutorial for creating a state of the art Topology and Weight Evolving Artificial Neural Network (TWEANN) platform. In a step-by-step format,
... Read more
Deployment and Operation of Complex Software in Heterogeneous Execution Environments

The SODALITE Approach

Edited by Elisabetta Di Nitto, Jesús Gorroñogoitia Cruz, Indika Kumara, Dragan Radolović, Kamil Tokmakov, Zoe Vasileiou ...

Series series Computer Science (R0)
This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and ... Read more

Free

This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and
... Read more
Play to Submission

Gaming Capitalism in a Tech Firm

by Tongyu Wu ...

Games are often a fun perk of a tech company job, and employees can “play to win” in the competition to succeed. But in studying “Behemoth” (a pseudonym for a top American tech company), Tongyu Wu discovered that gaming work culture was far more insidious.Play to Submission shows how Behemoth’s games undermined and manipulated workers. They lost their work-life balance and the constant competition ... Read more

$22.29 USD

Games are often a fun perk of a tech company job, and employees can “play to win” in the competition to succeed. But in studying “Behemoth” (a pseudonym for a top American tech company), Tongyu Wu discovered that gaming work culture was far more insidious.Play to Submission shows how Behemoth’s games undermined and manipulated workers. They lost their work-life balance and the constant competition
... Read more
Crossing the Rubycon

How to Learn to Code and Build a Programming Career By

by Nadia Zhuk ...

This is a comprehensive self-help book for aspiring coders, filled with concrete, practical advice as well as useful insider tips and encouraging stories about learning to code and finding a programming job as a code newbie.Unlike most learn-to-code books, this one is actually written by someone who had no technical background whatsoever just several years ago—a former journalist and translator ... Read more

$9.99 USD or Free with Kobo Plus

This is a comprehensive self-help book for aspiring coders, filled with concrete, practical advice as well as useful insider tips and encouraging stories about learning to code and finding a programming job as a code newbie.Unlike most learn-to-code books, this one is actually written by someone who had no technical background whatsoever just several years ago—a former journalist and translator
... Read more
From Culture to Code

Leading Software Engineering Teams Effectively

by Jonathan Sosa ...

Series series Professional and Applied Computing (R0)
This book is a comprehensive guide written for software engineering professionals who are, or aspire to be, in leadership positions. It begins with essential soft skills, teaching you how to build an influential presence, make confident decisions, guide teams through challenges, and inspire excellence by setting high standards.It continues with sections on acquiring talent, managing, and ... Read more

$18.99 USD

This book is a comprehensive guide written for software engineering professionals who are, or aspire to be, in leadership positions. It begins with essential soft skills, teaching you how to build an influential presence, make confident decisions, guide teams through challenges, and inspire excellence by setting high standards.It continues with sections on acquiring talent, managing, and
... Read more
Developer Relations

How to Build and Grow a Successful Developer Program

by Caroline Lewko, James Parton ...

Series series Business and Management (R0)
Increasingly, business leaders are either looking to start a new developer program at their company or looking to increase the impact of their existing DevRel program. In this context, software developers are finally recognized as legitimate decision makers in the technology buying process, regardless of the size of their organization. New companies are appearing with the sole purpose of making ... Read more

$44.99 USD

Increasingly, business leaders are either looking to start a new developer program at their company or looking to increase the impact of their existing DevRel program. In this context, software developers are finally recognized as legitimate decision makers in the technology buying process, regardless of the size of their organization. New companies are appearing with the sole purpose of making
... Read more
Docker for Beginner: Practical Guide to Containerization Mastery

by 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 ... Read more

$6.00 USD or Free with 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
... Read more
Team Guide to Software Testability

Better software through greater testability

by Ash Winter, Rob Meaney ...

Series Book 3 - Team Guides for Software
Testability is a vital property of modern software. It enables software teams to make changes rapidly and safely with clear feedback loops to understand the impact of changes. When your product is testable, it is more likely to meet all of your customer's needs. If you want to drive improvements in both speed and agility, testability is the fuel you need to deliver modern software. ... Read more

$14.99 USD

Testability is a vital property of modern software. It enables software teams to make changes rapidly and safely with clear feedback loops to understand the impact of changes. When your product is testable, it is more likely to meet all of your customer's needs. If you want to drive improvements in both speed and agility, testability is the fuel you need to deliver modern software.
... Read more
Ace the Trading Systems Engineer Interview (C++ Edition): Insider's Guide to Top Tech Jobs in Finance

by Dennis Thompson ...

Top 3 reasons why a software engineer might be interested to work at financial firms in the capital markets areawork with top Hedge Funds, Investment Banks, HFT firms, Algorithmic Trading firms, Exchanges, etc.implement smart algorithms and build low-latency, high-performance and mission-critical software with talented engineersearn top compensationThis book will help you with interview ... Read more

$24.99 USD or Free with Kobo Plus

Top 3 reasons why a software engineer might be interested to work at financial firms in the capital markets areawork with top Hedge Funds, Investment Banks, HFT firms, Algorithmic Trading firms, Exchanges, etc.implement smart algorithms and build low-latency, high-performance and mission-critical software with talented engineersearn top compensationThis book will help you with interview
... Read more
Essential TypeScript 5, Third Edition

by Adam Freeman ...

Now in its third edition, this bestselling guide to TypeScript takes you through the nuts and bolts of the language. No frills, no fuss—just TypeScript essentials!TypeScript enhances JavaScript with static typing, while keeping all the JS flexibility you know and love! It’s the perfect choice for any developer looking to improve the predictability and reliability of their code. Essential ... Read more

$49.99 USD

Now in its third edition, this bestselling guide to TypeScript takes you through the nuts and bolts of the language. No frills, no fuss—just TypeScript essentials!TypeScript enhances JavaScript with static typing, while keeping all the JS flexibility you know and love! It’s the perfect choice for any developer looking to improve the predictability and reliability of their code. Essential
... Read more
Platform Engineering on Kubernetes

by Mauricio Salatino ...

Empower your team with platforms built on top of Kubernetes using open source tools.Adopting Kubernetes is complex—especially when you’re working in an organization with multiple teams, deploying to multiple cloud providers, and working with different stacks. Platform Engineering on Kubernetes shows you how to solve these common cloud native problems with open-source tools and emerging best ... Read more

$49.99 USD

Empower your team with platforms built on top of Kubernetes using open source tools.Adopting Kubernetes is complex—especially when you’re working in an organization with multiple teams, deploying to multiple cloud providers, and working with different stacks. Platform Engineering on Kubernetes shows you how to solve these common cloud native problems with open-source tools and emerging best
... Read more
Building Resilient Distributed Systems

Patterns and Practices for Stable Software

by Sam Newman ...

When every safeguard is in place and your distributed system still fails, a simplistic, narrow view of system resilience is no longer enough. Modern software architectures, amplified by unpredictable AI components, demand a different approach to preventing catastrophic downtime.In Building Resilient Distributed Systems, author Sam Newman offers a modern blueprint for surviving real-world system ... Read more

$43.99 USD

When every safeguard is in place and your distributed system still fails, a simplistic, narrow view of system resilience is no longer enough. Modern software architectures, amplified by unpredictable AI components, demand a different approach to preventing catastrophic downtime.In Building Resilient Distributed Systems, author Sam Newman offers a modern blueprint for surviving real-world system
... Read more
Start With AI Agents In PHP

The Market Opportunity Every PHP Developer Is Missing

by Valerio Barbera ...

The gap between modern agentic technologies and traditional PHP development has been widening in recent years. While Python developers enjoy a wealth of libraries and frameworks to create AI Agents, PHP developers have often been left wondering how they can participate in this technological revolution without completely retooling their skillsets or rebuilding their applications from scratch.Neuron ... Read more

$10.47 USD

The gap between modern agentic technologies and traditional PHP development has been widening in recent years. While Python developers enjoy a wealth of libraries and frameworks to create AI Agents, PHP developers have often been left wondering how they can participate in this technological revolution without completely retooling their skillsets or rebuilding their applications from scratch.Neuron
... Read more
Databricks Data Intelligence Platform

Powering the Agentic Era

by Jason Yip, Nikhil Gupta, Marcin Wojtyczka ...

Series series Professional and Applied Computing (R0)
Unlock the full potential of the Databricks Data Intelligence Platform in this fully updated second edition—your definitive guide to building enterprise-ready Generative AI (GenAI) solutions, managing complex data workflows, and deploying intelligent applications at scale. Whether you're a data engineer, AI developer, data scientist, or technology leader, this book empowers you to transform your ... Read more

Free

Unlock the full potential of the Databricks Data Intelligence Platform in this fully updated second edition—your definitive guide to building enterprise-ready Generative AI (GenAI) solutions, managing complex data workflows, and deploying intelligent applications at scale. Whether you're a data engineer, AI developer, data scientist, or technology leader, this book empowers you to transform your
... 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: