Rakuten Kobo

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Edited by Tomáš Vojnar, Lijun Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Read more

Free

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of
... Read more
Fluent C

Principles, Practices, and Patterns

by Christopher Preschern ...

Expert advice on C programming is hard to find. While much help is available for object-oriented programming languages, there's surprisingly little for the C language. With this hands-on guide, beginners and experienced C programmers alike will find guidance about design decisions, including how to apply them bit by bit to running code examples when building large-scale programs.Christopher ... Read more

$41.99 USD

Expert advice on C programming is hard to find. While much help is available for object-oriented programming languages, there's surprisingly little for the C language. With this hands-on guide, beginners and experienced C programmers alike will find guidance about design decisions, including how to apply them bit by bit to running code examples when building large-scale programs.Christopher
... Read more
Effective DevOps

Building a Culture of Collaboration, Affinity, and Tooling at Scale

by Jennifer Davis, Ryn Daniels ...

Some companies think that adopting devops means bringing in specialists or a host of new tools. With this practical guide, you’ll learn why devops is a professional and cultural movement that calls for change from inside your organization. Authors Ryn Daniels and Jennifer Davis provide several approaches for improving collaboration within teams, creating affinity among teams, promoting efficient ... Read more

$30.99 USD

Some companies think that adopting devops means bringing in specialists or a host of new tools. With this practical guide, you’ll learn why devops is a professional and cultural movement that calls for change from inside your organization. Authors Ryn Daniels and Jennifer Davis provide several approaches for improving collaboration within teams, creating affinity among teams, promoting efficient
... Read more
Operating OpenShift

An SRE Approach to Managing Infrastructure

by Rick Rackow, Manuel Dewald ...

Kubernetes has gained significant popularity over the past few years, with OpenShift as one of its most mature and prominent distributions. But while OpenShift provides several layers of abstraction over vanilla Kubernetes, this software can quickly become overwhelming because of itsrich feature set and functionality. This practical book helps you understand and manage OpenShift clusters from ... Read more

$41.99 USD

Kubernetes has gained significant popularity over the past few years, with OpenShift as one of its most mature and prominent distributions. But while OpenShift provides several layers of abstraction over vanilla Kubernetes, this software can quickly become overwhelming because of itsrich feature set and functionality. This practical book helps you understand and manage OpenShift clusters from
... Read more
How to Kill the Scrum Monster

Quick Start to Agile Scrum Methodology and the Scrum Master Role

by Ilya Bibik ...

Series series Business and Management (R0)
Implement Scrum or improve how Scrum works in your team or organization using this concise, sharp, and programmatic book. You will quickly learn what you need to know without getting confused with unnecessary details.What You'll LearnBecome familiar with Agile concepts and understand the path from Waterfall to the Agile ManifestoUnderstand the most commonly used Agile methodology—Scrum—and how it ... Read more

$18.99 USD

Implement Scrum or improve how Scrum works in your team or organization using this concise, sharp, and programmatic book. You will quickly learn what you need to know without getting confused with unnecessary details.What You'll LearnBecome familiar with Agile concepts and understand the path from Waterfall to the Agile ManifestoUnderstand the most commonly used Agile methodology—Scrum—and how it
... Read more
Kubernetes Best Practices

Blueprints for Building Successful Applications on Kubernetes

by Brendan Burns, Eddie Villalba, Dave Strebel, Lachlan Evenson ...

In this practical guide, four Kubernetes professionals with deep experience in distributed systems, enterprise application development, and open source will guide you through the process of building applications with this container orchestration system. They distill decades of experience from companies that are successfully running Kubernetes in production and provide concrete code examples to ... Read more

$41.99 USD

In this practical guide, four Kubernetes professionals with deep experience in distributed systems, enterprise application development, and open source will guide you through the process of building applications with this container orchestration system. They distill decades of experience from companies that are successfully running Kubernetes in production and provide concrete code examples to
... Read more
Beginning ASP.NET 4.5 in C#

by Matthew MacDonald ...

This book is the most comprehensive and up to date introduction to ASP.NET ever written. Focussing solely on C#, with no code samples duplicated in other languages, award winning author Matthew MacDonald introduces you to the very latest thinking and best practices for the ASP.NET 4.5 technology.Assuming no prior coding experience, you'll be taught everything you need to know from the ground up. ... Read more

$80.99 USD

This book is the most comprehensive and up to date introduction to ASP.NET ever written. Focussing solely on C#, with no code samples duplicated in other languages, award winning author Matthew MacDonald introduces you to the very latest thinking and best practices for the ASP.NET 4.5 technology.Assuming no prior coding experience, you'll be taught everything you need to know from the ground up.
... Read more
The Complete Guide to Getting Certified Cisco CCNA 200-301

Complete Your CCNA Exam Training and Preparation with 400 Exam Level Practice Question

by BHARAT NISHAD ...

If you want to jumpstart your career in IT and networking by acing the Cisco Certified Network Associate CCNA exam, then this book is for you! It gives you a full understanding of all the concepts and topics you need to earn the most in-demand networking certification today by passing the Cisco CCNA 200-301 exam.(The CCNA 200-301 is the current CCNA exam and replacement for the CCNA 200-125 which ... Read more

$6.99 USD

If you want to jumpstart your career in IT and networking by acing the Cisco Certified Network Associate CCNA exam, then this book is for you! It gives you a full understanding of all the concepts and topics you need to earn the most in-demand networking certification today by passing the Cisco CCNA 200-301 exam.(The CCNA 200-301 is the current CCNA exam and replacement for the CCNA 200-125 which
... Read more
Designing for Situation Awareness

An Approach to User-Centered Design, Third Edition

by Mica R. Endsley, Debra G. Jones ...

Developed by the leading scientists in the field*, Designing for Situation Awareness: An Approach to User-Centered Design, Third Edition* offers a systematic and successful methodology for supporting the situation awareness (SA) of individuals and teams who work in complex and demanding environments.Newly updated to reflect the latest research on SA, this new edition provides needed background on ... Read more

$134.99 USD

Developed by the leading scientists in the field*, Designing for Situation Awareness: An Approach to User-Centered Design, Third Edition* offers a systematic and successful methodology for supporting the situation awareness (SA) of individuals and teams who work in complex and demanding environments.Newly updated to reflect the latest research on SA, this new edition provides needed background on
... Read more
Java 9 Modularity

Patterns and Practices for Developing Maintainable Applications

by Sander Mak, Paul Bakker ...

The upcoming Java 9 module system will affect existing applications and offer new ways of creating modular and maintainable applications. With this hands-on book, Java developers will learn not only about the joys of modularity, but also about the patterns needed to create truly modular and reliable applications. Authors Sander Mak and Paul Bakker teach you the concepts behind the Java 9 module ... Read more

$24.99 USD

The upcoming Java 9 module system will affect existing applications and offer new ways of creating modular and maintainable applications. With this hands-on book, Java developers will learn not only about the joys of modularity, but also about the patterns needed to create truly modular and reliable applications. Authors Sander Mak and Paul Bakker teach you the concepts behind the Java 9 module
... Read more
Making Isometric Social Real-Time Games with HTML5, CSS3, and JavaScript

Rendering Simple 3D Worlds with Sprites and Maps

by Mario Andres Pagella ...

Anyone familiar with Zynga's Farmville understands how fun and addictive real-time social games can be. This hands-on guide shows you how to design and build one of these games from start to finish, with nothing but open source tools. You'll learn how to render graphics, animate with sprites, add sound, validate scores to prevent cheating, and more, using detailed examples and code samples.By the ... Read more

$12.99 USD

Anyone familiar with Zynga's Farmville understands how fun and addictive real-time social games can be. This hands-on guide shows you how to design and build one of these games from start to finish, with nothing but open source tools. You'll learn how to render graphics, animate with sprites, add sound, validate scores to prevent cheating, and more, using detailed examples and code samples.By the
... Read more
Enterprise Application Development with C# 10 and .NET 6

Become a professional .NET developer by learning expert techniques for building scalable applications

by Ravindra Akella, Arun Kumar Tamirisa, Suneel Kumar Kunani, Bhupesh Guptha Muthiyalu ...

A comprehensive guide to every important component of C\# and .NET 6 required to build robust enterprise web applicationsKey FeaturesExplore the advanced features of C\# and .NET 6 to enhance your code and productivityFollow clear and easy instructions for building an end-to-end enterprise applicationLearn how to build scalable web applications and host them on the cloudBook DescriptionBuilding ... Read more

$32.99 USD or Free with Kobo Plus

A comprehensive guide to every important component of C\# and .NET 6 required to build robust enterprise web applicationsKey FeaturesExplore the advanced features of C\# and .NET 6 to enhance your code and productivityFollow clear and easy instructions for building an end-to-end enterprise applicationLearn how to build scalable web applications and host them on the cloudBook DescriptionBuilding
... Read more
Optimizing Cloud Native Java

Practical Techniques for Improving JVM Application Performance

by Benjamin J. Evans, James Gough ...

Performance tuning is an experimental science, but that doesn't mean engineers should resort to guesswork and folklore to get the job done. Yet that's often the case. With this practical book, intermediate to advanced Java technologists working with complex platforms will learn how to tune Java cloud applications for performance using a quantitative, verifiable, and repeatable approach.In response ... Read more

$43.99 USD

Performance tuning is an experimental science, but that doesn't mean engineers should resort to guesswork and folklore to get the job done. Yet that's often the case. With this practical book, intermediate to advanced Java technologists working with complex platforms will learn how to tune Java cloud applications for performance using a quantitative, verifiable, and repeatable approach.In response
... Read more
Selenium and Appium with Python

Build robust and scalable test automation frameworks using Selenium, Appium and Python (English Edition)

by Yogashiva Mathivanan ...

Appium and Selenium are popular open-source frameworks widely used for test automation in the software industry. Python, on the other hand, is a versatile and powerful programming language known for its simplicity and readability. Combining Appium and Selenium with Python offers numerous advantages for test automation, including a simplified testing process, faster test execution, and increased ... Read more

$14.99 USD or Free with Kobo Plus

Appium and Selenium are popular open-source frameworks widely used for test automation in the software industry. Python, on the other hand, is a versatile and powerful programming language known for its simplicity and readability. Combining Appium and Selenium with Python offers numerous advantages for test automation, including a simplified testing process, faster test execution, and increased
... Read more
Domain-Driven Design with Java - A Practitioner's Guide

Create simple, elegant, and valuable software solutions for complex business problems

by Premanand Chandrasekaran, Karthik Krishnan ...

Adopt a practical and modern approach to architecting and implementing DDD-inspired solutions to transform abstract business ideas into working software across the entire spectrum of the software development life cycleKey FeaturesImplement DDD principles to build simple, effective, and well-factored solutionsUse lightweight modeling techniques to arrive at a common collective understanding of the ... Read more

$32.99 USD or Free with Kobo Plus

Adopt a practical and modern approach to architecting and implementing DDD-inspired solutions to transform abstract business ideas into working software across the entire spectrum of the software development life cycleKey FeaturesImplement DDD principles to build simple, effective, and well-factored solutionsUse lightweight modeling techniques to arrive at a common collective understanding of the
... Read more
Computer Aided Verification

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

Edited by Alexandra Silva, K. Rustan M. Leino ...

Series Book 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 ... Read more

Free

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
... Read more
Advanced Game Design with HTML5 and JavaScript

by Rex van der Spuy ...

Series series Professional and Applied Computing (R0)
How do you make a video game? Advanced Game Design with HTML5 and JavaScript is a down to earth education in how to make video games from scratch, using the powerful HTML5 and JavaScript technologies. This book is a point-by-point round up of all the essential techniques that every game designer needs to know.You'll discover how to create and render game graphics, add interactivity, sound, and ... Read more

$71.99 USD

How do you make a video game? Advanced Game Design with HTML5 and JavaScript is a down to earth education in how to make video games from scratch, using the powerful HTML5 and JavaScript technologies. This book is a point-by-point round up of all the essential techniques that every game designer needs to know.You'll discover how to create and render game graphics, add interactivity, sound, and
... Read more
The Art of Immutable Architecture

Theory and Practice of Data Management in Distributed Systems

by Michael L. Perry ...

Series series Professional and Applied Computing (R0)
This book teaches you how to evaluate a distributed system from the perspective of immutable objects. You will understand the problems in existing designs, know how to make small modifications to correct those problems, and learn to apply the principles of immutable architecture to your tools.Most software components focus on the state of objects. They store the current state of a row in a ... Read more

$53.99 USD

This book teaches you how to evaluate a distributed system from the perspective of immutable objects. You will understand the problems in existing designs, know how to make small modifications to correct those problems, and learn to apply the principles of immutable architecture to your tools.Most software components focus on the state of objects. They store the current state of a row in a
... Read more
Android Studio 3.2 Development Essentials - Android 9 Edition

Developing Android 9 Apps Using Android Studio 3.2, Java and Android Jetpack

by Neil Smyth ...

Fully updated for Android Studio 3.2, Android 9 and the Android Jetpack modern architectural guidelines and components, the goal of this book is to teach the skills necessary to develop Android-based applications using the Java programming language.Beginning with the basics, this book provides an outline of the steps necessary to set up an Android development and testing environment.An overview of ... Read more

$34.99 USD or Free with Kobo Plus

Fully updated for Android Studio 3.2, Android 9 and the Android Jetpack modern architectural guidelines and components, the goal of this book is to teach the skills necessary to develop Android-based applications using the Java programming language.Beginning with the basics, this book provides an outline of the steps necessary to set up an Android development and testing environment.An overview of
... Read more
Beautiful Teams

Inspiring and Cautionary Tales from Veteran Team Leaders

by Andrew Stellman, Jennifer Greene ...

What's it like to work on a great software development team facing an impossible problem? How do you build an effective team? Can a group of people who don't get along still build good software? How does a team leader keep everyone on track when the stakes are high and the schedule is tight?Beautiful Teams takes you behind the scenes with some of the most interesting teams in software engineering ... Read more

$23.99 USD

What's it like to work on a great software development team facing an impossible problem? How do you build an effective team? Can a group of people who don't get along still build good software? How does a team leader keep everyone on track when the stakes are high and the schedule is tight?Beautiful Teams takes you behind the scenes with some of the most interesting teams in software engineering
... Read more
Hexagonal Architecture Explained

by Alistair Cockburn, Juan Manuel Garrido de Paz ...

Note: A newer, updated edition of this book is available (ISBN 979-8-9985862-0-0)."Hexagonal Architecture Explained How the Ports & Adapters architecture simplifies your life, and how to implement it Updated 1st Edition". Please prefer that one to this "Preview Edition"."Looking at the screen of my laptop, I realized that it was full of code that didn't let me understand what it did regarding ... Read more

$9.99 USD

Note: A newer, updated edition of this book is available (ISBN 979-8-9985862-0-0)."Hexagonal Architecture Explained How the Ports & Adapters architecture simplifies your life, and how to implement it Updated 1st Edition". Please prefer that one to this "Preview Edition"."Looking at the screen of my laptop, I realized that it was full of code that didn't let me understand what it did regarding
... Read more
Oracle Primavera P6 Version 8: Project and Portfolio Management

For project managers and consultants, this book will help you master the main elements of Primavera P6, together with the new features in Version 8. Lots of screenshots and clear explanations make for an easy ride.

by Daniel Williams, Elaine Britt Krazer ...

For project managers and consultants, this book will help you master the main elements of Primavera P6, together with the new features in Version 8. Lots of screenshots and clear explanations make for an easy ride.Key FeaturesGet a detailed overview of Oracle Primavera P6 Enterprise Project Portfolio Management.Manage your projects from just anywhere using simple e-mail and the P6 iPhone app.Learn ... Read more

$37.99 USD or Free with Kobo Plus

For project managers and consultants, this book will help you master the main elements of Primavera P6, together with the new features in Version 8. Lots of screenshots and clear explanations make for an easy ride.Key FeaturesGet a detailed overview of Oracle Primavera P6 Enterprise Project Portfolio Management.Manage your projects from just anywhere using simple e-mail and the P6 iPhone app.Learn
... Read more
Testing IT

An Off-the-Shelf Software Testing Process

by John Watkins, Simon Mills ...

Testing IT provides a complete, off-the-shelf software testing process framework for any testing practitioner who is looking to research, implement, roll out, adopt, and maintain a software testing process. It covers all aspects of testing for software developed or modified in-house, modified or extended legacy systems, and software developed by a third party. Software professionals can customize ... Read more

$89.99 USD

Testing IT provides a complete, off-the-shelf software testing process framework for any testing practitioner who is looking to research, implement, roll out, adopt, and maintain a software testing process. It covers all aspects of testing for software developed or modified in-house, modified or extended legacy systems, and software developed by a third party. Software professionals can customize
... Read more
Making Software

What Really Works, and Why We Believe It

by Andy Oram, Greg Wilson ...

Many claims are made about how certain tools, technologies, and practices improve software development. But which claims are verifiable, and which are merely wishful thinking? In this book, leading thinkers such as Steve McConnell, Barry Boehm, and Barbara Kitchenham offer essays that uncover the truth and unmask myths commonly held among the software development community. Their insights may ... Read more

$25.99 USD

Many claims are made about how certain tools, technologies, and practices improve software development. But which claims are verifiable, and which are merely wishful thinking? In this book, leading thinkers such as Steve McConnell, Barry Boehm, and Barbara Kitchenham offer essays that uncover the truth and unmask myths commonly held among the software development community. Their insights may
... 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: