Rakuten Kobo

Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Edited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson ...

Series series Springer Nature Proceedings Computer Science
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving ... Read more

Free

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving
... Read more
Ruby in a Nutshell

A Desktop Quick Reference

by Yukihiro Matsumoto ...

Ruby is an absolutely pure object-oriented scripting language written in C and designed with Perl and Python capabilities in mind. While its roots are in Japan, Ruby is slowly but surely gaining ground in the US. The goal of Yukihiro Matsumoto, creator of Ruby and author of this book, is to incorporate the strengths of languages like Perl, Python, Lisp and Smalltalk. Ruby is a genuine attempt to ... Read more

$14.99 USD

Ruby is an absolutely pure object-oriented scripting language written in C and designed with Perl and Python capabilities in mind. While its roots are in Japan, Ruby is slowly but surely gaining ground in the US. The goal of Yukihiro Matsumoto, creator of Ruby and author of this book, is to incorporate the strengths of languages like Perl, Python, Lisp and Smalltalk. Ruby is a genuine attempt to
... Read more
Learn 2D Game Development with C#

For iOS, Android, Windows Phone, Playstation Mobile and More

by Kelvin Sung, Jack Keng-Wei Chang, Rob Zhu, Jebediah Pavleas ...

Series series Professional and Applied Computing (R0)
2D games are hugely popular across a wide range of platforms and the ideal place to start if you’re new to game development. With Learn 2D Game Development with C#, you'll learn your way around the universal building blocks of game development, and how to put them together to create a real working game.C# is increasingly becoming the language of choice for new game developers. Productive and ... Read more

$40.99 USD

2D games are hugely popular across a wide range of platforms and the ideal place to start if you’re new to game development. With Learn 2D Game Development with C#, you'll learn your way around the universal building blocks of game development, and how to put them together to create a real working game.C# is increasingly becoming the language of choice for new game developers. Productive and
... Read more
Software Architecture with C# 12 and .NET 8

Build enterprise applications using microservices, DevOps, EF Core, and design patterns for Azure

by Gabriel Baptista, Francesco Abbruzzese ...

A book for the aspiring .NET software architect – design scalable and high-performance enterprise solutions using the latest features of C\# 12 and .NET 8 Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesGet introduced to software architecture fundamentals and begin applying them in .NETExplore the main technologies used by software architects and choose the best ones for ... Read more

$37.99 USD or Free with Kobo Plus

A book for the aspiring .NET software architect – design scalable and high-performance enterprise solutions using the latest features of C\# 12 and .NET 8 Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesGet introduced to software architecture fundamentals and begin applying them in .NETExplore the main technologies used by software architects and choose the best ones for
... Read more
Use Cases: Requirements in Context

Requirements in Context

by Daryl Kulak, Eamonn Guiney ...

This book describes how to gather and define software requirements using a process based on use cases. It shows systems analysts and designers how use cases can provide solutions to the most challenging requirements issues, resulting in effective, quality systems that meet the needs of users.Use Cases, Second Edition: Requirements in Context describes a three-step method for establishing ... Read more

$43.19 USD

This book describes how to gather and define software requirements using a process based on use cases. It shows systems analysts and designers how use cases can provide solutions to the most challenging requirements issues, resulting in effective, quality systems that meet the needs of users.Use Cases, Second Edition: Requirements in Context describes a three-step method for establishing
... Read more
Securing Healthcare Software

A Practical Guide to Functional Testing, Penetration Testing, and Compliance

by Tamerlan Mammadzada ...

Healthcare software must be both high-quality and secure. Yet many healthcare platforms today are vulnerable to cyberattacks, compliance gaps, and functional defects. Securing Healthcare Software: A Practical Guide to Functional Testing, Penetration Testing, and Compliance provides a powerful, hands-on blueprint for addressing these challenges.Written by experienced software quality engineer and ... Read more

$0.99 USD

Healthcare software must be both high-quality and secure. Yet many healthcare platforms today are vulnerable to cyberattacks, compliance gaps, and functional defects. Securing Healthcare Software: A Practical Guide to Functional Testing, Penetration Testing, and Compliance provides a powerful, hands-on blueprint for addressing these challenges.Written by experienced software quality engineer and
... 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
Kodi Made Easy

Complete Beginners Step by Step Guide on How to Install Kodi on Amazon Firestick

by Johnny Cott ...

Our world of streaming media is changing every day. Thus, yesterday's instruction becomes useless today. You can save yourself the frustration and headache of trying to use a guide that might not work anymore. This brand new guide reveals strategies you can use to enjoy the entertainment world.Below is a preview of what this guide provides:- What Amazon Kodi firestick is all about- Description of ... Read more

$2.95 USD or Free with Kobo Plus

Our world of streaming media is changing every day. Thus, yesterday's instruction becomes useless today. You can save yourself the frustration and headache of trying to use a guide that might not work anymore. This brand new guide reveals strategies you can use to enjoy the entertainment world.Below is a preview of what this guide provides:- What Amazon Kodi firestick is all about- Description of
... Read more
Beyond Effective Go

Part 1 - Achieving High-Performance Code

by Corey S Scott, Siew May Tan ...

Series Book 1 - Beyond Effective Go
Are you an experienced Go developer that wants to be more productive? Do you want to write cleaner, faster, and easier to maintain code?Then the Beyond Effective Go book series is for you.This series is aimed at competent Gophers. It does not mess around with the basics but instead dives right into the daily problems that professional programmers face. Chiefly, how to write fast, robust ... Read more

$23.79 USD

Are you an experienced Go developer that wants to be more productive? Do you want to write cleaner, faster, and easier to maintain code?Then the Beyond Effective Go book series is for you.This series is aimed at competent Gophers. It does not mess around with the basics but instead dives right into the daily problems that professional programmers face. Chiefly, how to write fast, robust
... Read more
Expert Angular

Build deep understanding of Angular to set you apart from the developer crowd

by Sridhar Rao Chivukula ...

Learn everything you need to build highly scalable, robust web applications using Angular release 4Key FeaturesApply best practices and design patterns to achieve higher scalability in your Angular applicationsUnderstand the latest features of Angular and create your own componentsGet acquainted with powerful, advanced techniques in Angular to build professional web applicationsBook DescriptionGot ... Read more

$41.39 USD or Free with Kobo Plus

Learn everything you need to build highly scalable, robust web applications using Angular release 4Key FeaturesApply best practices and design patterns to achieve higher scalability in your Angular applicationsUnderstand the latest features of Angular and create your own componentsGet acquainted with powerful, advanced techniques in Angular to build professional web applicationsBook DescriptionGot
... Read more
Introduction to Disciplined Agile Delivery - Second Edition

by Scott Ambler, Mark Lines ...

How does a small development team in an established enterprise apply Disciplined Agile (DA) strategies to successfully improve their agility and provide real value to their stakeholders? Find out how in Introduction to Disciplined Agile Delivery— Second Edition. This guide to Disciplined Agile Delivery (DAD) provides the foundation from which to scale agile and lean software development strategies ... Read more

$13.99 USD or Free with Kobo Plus

How does a small development team in an established enterprise apply Disciplined Agile (DA) strategies to successfully improve their agility and provide real value to their stakeholders? Find out how in Introduction to Disciplined Agile Delivery— Second Edition. This guide to Disciplined Agile Delivery (DAD) provides the foundation from which to scale agile and lean software development strategies
... Read more
Operations Anti-Patterns, DevOps Solutions

by Jeffery Smith ...

Operations Anti-Patterns, DevOps Solutions shows how to implement DevOps techniques in the kind of imperfect environments most developers work in. Part technology tutorial, part reference manual, and part psychology handbook, this practical guide shows you realistic ways to bring DevOps to your team when you don’t have the flexibility to make sweeping changes in organizational structure ... Read more

$49.99 USD

Operations Anti-Patterns, DevOps Solutions shows how to implement DevOps techniques in the kind of imperfect environments most developers work in. Part technology tutorial, part reference manual, and part psychology handbook, this practical guide shows you realistic ways to bring DevOps to your team when you don’t have the flexibility to make sweeping changes in organizational structure
... Read more
Learn Raspberry Pi 2 with Linux and Windows 10

by Peter Membrey, David Hows ...

Series series Professional and Applied Computing (R0)
Learn Raspberry Pi 2 with Linux and Windows 10 will tell you everything you need to know about working with Raspberry Pi 2 so you can get started doing amazing things. You'll learn how to set up your new Raspberry Pi 2 with a monitor, keyboard and mouse, and how to install both Linux and Windows on your new Pi 2.Linux has always been a great fit for the Pi, but it can be a steep learning curve if ... Read more

$35.99 USD

Learn Raspberry Pi 2 with Linux and Windows 10 will tell you everything you need to know about working with Raspberry Pi 2 so you can get started doing amazing things. You'll learn how to set up your new Raspberry Pi 2 with a monitor, keyboard and mouse, and how to install both Linux and Windows on your new Pi 2.Linux has always been a great fit for the Pi, but it can be a steep learning curve if
... Read more
System Assurance

Beyond Detecting Vulnerabilities

by Nikolai Mansourov, Djenana Campara ...

Series series The MK/OMG Press
System Assurance teaches students how to use Object Management Group's (OMG) expertise and unique standards to obtain accurate knowledge about existing software and compose objective metrics for system assurance. OMG's Assurance Ecosystem provides a common framework for discovering, integrating, analyzing, and distributing facts about existing enterprise software. Its foundation is the standard ... Read more

$55.79 USD

System Assurance teaches students how to use Object Management Group's (OMG) expertise and unique standards to obtain accurate knowledge about existing software and compose objective metrics for system assurance. OMG's Assurance Ecosystem provides a common framework for discovering, integrating, analyzing, and distributing facts about existing enterprise software. Its foundation is the standard
... Read more
Pro XAML with C#

Application Development Strategies (covers WPF, Windows 8.1, and Windows Phone 8.1)

by Buddy James, Lori Lalonde ...

Series series Professional and Applied Computing (R0)
Pro XAML with C#: Application Development Strategies is your guide to real-world development practices on Microsoft’s XAML-based platforms, with examples in WPF, Windows 8.1, and Windows Phone 8.1. Learn how to properly plan and architect an application on one or more of these platforms for a robust, scalable solution.In Part I, authors Buddy James and Lori Lalonde introduce you to XAML and reveal ... Read more

$62.99 USD

Pro XAML with C#: Application Development Strategies is your guide to real-world development practices on Microsoft’s XAML-based platforms, with examples in WPF, Windows 8.1, and Windows Phone 8.1. Learn how to properly plan and architect an application on one or more of these platforms for a robust, scalable solution.In Part I, authors Buddy James and Lori Lalonde introduce you to XAML and reveal
... Read more
Working with Static Sites

Bringing the Power of Simplicity to Modern Sites

by Raymond Camden, Brian Rinaldi ...

Just like vinyl LPs, static sites are making a comeback, evidenced by the wide array of static-site generators now available. This practical book shows you hands-on how to build these simple sites for blogs and other use cases, and how to make them more powerful. In the process, you’ll work with some of today’s more mature and popular static-site generators.Authors Raymond Camden and Brian Rinaldi ... Read more

$24.99 USD

Just like vinyl LPs, static sites are making a comeback, evidenced by the wide array of static-site generators now available. This practical book shows you hands-on how to build these simple sites for blogs and other use cases, and how to make them more powerful. In the process, you’ll work with some of today’s more mature and popular static-site generators.Authors Raymond Camden and Brian Rinaldi
... Read more
Agile Project Management para Principiantes: Dominar los Conocimientos Básicos con Scrum

by Bryan Mathis ...

Escrito para principiantes, este libro explica los conceptos de Agile usando un enfoque de Scrum y los junta en un mismo marco. En vez de simplemente definir términos, presenta Agile como un sistéma vivo y dinámico que sirve para eliminar lo banal y volver a lo básico a la vez que se gestionan proyectos. La primera mitad del libro explica en detalle el Manifesto Agile, tanto la teoría como la ... Read more

$2.99 USD

Escrito para principiantes, este libro explica los conceptos de Agile usando un enfoque de Scrum y los junta en un mismo marco. En vez de simplemente definir términos, presenta Agile como un sistéma vivo y dinámico que sirve para eliminar lo banal y volver a lo básico a la vez que se gestionan proyectos. La primera mitad del libro explica en detalle el Manifesto Agile, tanto la teoría como la
... Read more
Tiny C Projects

by Dan Gookin ...

Learn the big skills of C programming by creating bite-size projects! Work your way through these 15 fun and interesting tiny challenges to master essential C techniques you’ll use in full-size applications.In Tiny C Projects you will learn how to:Create libraries of functions for handy use and re-useProcess input through an I/O filter to generate customized outputUse recursion to explore a ... Read more

$49.99 USD

Learn the big skills of C programming by creating bite-size projects! Work your way through these 15 fun and interesting tiny challenges to master essential C techniques you’ll use in full-size applications.In Tiny C Projects you will learn how to:Create libraries of functions for handy use and re-useProcess input through an I/O filter to generate customized outputUse recursion to explore a
... Read more
AWS Certified Developer Study Guide

Associate (DVA-C02) Exam

by Brandon Rich ...

Series series Sybex Study Guide
The AWS Certified Developer exam has been updated. Your study guide should be, too.The AWS Certified Developer Study Guide*–*Associate (DVA-C02) Exam is your ultimate preparation resource for the latest exam! Covering the exam objectives, this invaluable resource provides expert guidance, clear explanations, and the wisdom of experience with AWS best practices. You’ll master core services and ... Read more

$50.00 USD

The AWS Certified Developer exam has been updated. Your study guide should be, too.The AWS Certified Developer Study Guide*–*Associate (DVA-C02) Exam is your ultimate preparation resource for the latest exam! Covering the exam objectives, this invaluable resource provides expert guidance, clear explanations, and the wisdom of experience with AWS best practices. You’ll master core services and
... Read more
Learning Microsoft Project 2019

Streamline project, resource, and schedule management with Microsoft's project management software

by Srikanth Shirodkar ...

Explore detailed explanations and examples to get up and running with the five phases of the project management lifecycle and integrate project management principles in a variety of projectsKey FeaturesExplore various algorithms and the latest features of MS Project to organize and keep track of your projectsUnderstand Work Breakdown Structure (WBS) to improve productivityApply real-world best ... Read more

$32.99 USD or Free with Kobo Plus

Explore detailed explanations and examples to get up and running with the five phases of the project management lifecycle and integrate project management principles in a variety of projectsKey FeaturesExplore various algorithms and the latest features of MS Project to organize and keep track of your projectsUnderstand Work Breakdown Structure (WBS) to improve productivityApply real-world best
... Read more
Modern Vim

Craft Your Development Environment with Vim 8 and Neovim

by Drew Neil ...

Turn Vim into a full-blown development environment using Vim 8's new features and this sequel to the beloved bestseller Practical Vim. Integrate your editor with tools for building, testing, linting, indexing, and searching your codebase. Discover the future of Vim with Neovim: a fork of Vim that includes a built-in terminal emulator that will transform your workflow. Whether you choose to switch ... Read more

$24.99 USD

Turn Vim into a full-blown development environment using Vim 8's new features and this sequel to the beloved bestseller Practical Vim. Integrate your editor with tools for building, testing, linting, indexing, and searching your codebase. Discover the future of Vim with Neovim: a fork of Vim that includes a built-in terminal emulator that will transform your workflow. Whether you choose to switch
... Read more
Rust All-in-One For Dummies

by Paul McFedries ...

Your guide to the programming language that's revolutionizing software d****evelopmentReady to learn Rust, the language that combines blazing performance with memory safety? Rust All-in-One For Dummies takes you from complete beginner to confident developer, covering the essentials of writing Rust code through applying it to real-world projects.Unlike programming books that throw you into the deep ... Read more

$24.00 USD

Your guide to the programming language that's revolutionizing software d****evelopmentReady to learn Rust, the language that combines blazing performance with memory safety? Rust All-in-One For Dummies takes you from complete beginner to confident developer, covering the essentials of writing Rust code through applying it to real-world projects.Unlike programming books that throw you into the deep
... Read more
High Performance with MongoDB

Best practices for performance tuning, scaling, and architecture

by Asya Kamsky, Ger Hartnett, Alex Bevilacqua, MongoDB Inc. ...

Design, optimize, and operate high-performance MongoDB deployments, now with a bonus chapter exploring evolving practices and capabilitiesKey FeaturesIdentify and fix performance bottlenecks with practical diagnostic and optimization strategiesOptimize schema design, indexing, storage, and system resources for real-world workloadsScale confidently with in-depth coverage of replication, sharding, ... Read more

$57.59 USD or Free with Kobo Plus

Design, optimize, and operate high-performance MongoDB deployments, now with a bonus chapter exploring evolving practices and capabilitiesKey FeaturesIdentify and fix performance bottlenecks with practical diagnostic and optimization strategiesOptimize schema design, indexing, storage, and system resources for real-world workloadsScale confidently with in-depth coverage of replication, sharding,
... Read more
Picks and Shovels

Marketing to Developers During the AI Gold Rush

by Prashant Sridharan ...

Master the art of developer marketing and make it big in the AI Gold Rush.During the California Gold Rush, it wasn't the miners who struck it rich-it was the merchants selling them picks and shovels. Today's AI Gold Rush is no different. The real winners are the ones building tools for developers, and it takes special skills to stand out and successfully market to people who hate being marketed to ... Read more

$9.99 USD

Master the art of developer marketing and make it big in the AI Gold Rush.During the California Gold Rush, it wasn't the miners who struck it rich-it was the merchants selling them picks and shovels. Today's AI Gold Rush is no different. The real winners are the ones building tools for developers, and it takes special skills to stand out and successfully market to people who hate being marketed to
... 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: