Rakuten Kobo

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Edited by Isil Dillig, Serdar Tasiran ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Read more

Free

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical
... Read more
Introduction to Software Testing

by Paul Ammann, Jeff Offutt ...

This extensively classroom-tested text takes an innovative approach to explaining software testing that defines it as the process of applying a few precise, general-purpose criteria to a structure or model of the software. The book incorporates cutting-edge developments, including techniques to test modern types of software such as OO, web applications, and embedded software. This revised second ... Read more

$65.59 USD

This extensively classroom-tested text takes an innovative approach to explaining software testing that defines it as the process of applying a few precise, general-purpose criteria to a structure or model of the software. The book incorporates cutting-edge developments, including techniques to test modern types of software such as OO, web applications, and embedded software. This revised second
... Read more
Code Craft

The Practice of Writing Excellent Code

by Pete Goodliffe ...

You know how to write code that works, but what about code that's well written and easy to understand? And robust and bug-free? If other programmers looked at your handiwork, would they be able to figure out the code's logic and purpose? Exceptional programmers have more than just technical know-how; they adopt the right approach and attitude to development.Code Craft will help take your ... Read more

$26.99 USD

You know how to write code that works, but what about code that's well written and easy to understand? And robust and bug-free? If other programmers looked at your handiwork, would they be able to figure out the code's logic and purpose? Exceptional programmers have more than just technical know-how; they adopt the right approach and attitude to development.Code Craft will help take your
... Read more
Achieving a Mature Software

by Raphael Amoedo ...

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

Free

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
... Read more
The Live Event Video Technician

by Tim Kuschel ...

The Live Event Video Technician covers terms, format types, concepts, and technologies used in video production for corporate meetings, concerts, special events, and theatrical productions.The book begins by providing a history of the industry and an overview of important roles and functions therein. It then discusses various display technologies such as LED walls and video projection, as well as ... Read more

$51.99 USD

The Live Event Video Technician covers terms, format types, concepts, and technologies used in video production for corporate meetings, concerts, special events, and theatrical productions.The book begins by providing a history of the industry and an overview of important roles and functions therein. It then discusses various display technologies such as LED walls and video projection, as well as
... Read more
Programming C#

Building .NET Applications with C#

by Jesse Liberty ...

The programming language C# was built with the future of application development in mind. Pursuing that vision, C#'s designers succeeded in creating a safe, simple, component-based, high-performance language that works effectively with Microsoft's .NET Framework. Now the favored language among those programming for the Microsoft platform, C# continues to grow in popularity as more developers ... Read more

$22.39 USD

The programming language C# was built with the future of application development in mind. Pursuing that vision, C#'s designers succeeded in creating a safe, simple, component-based, high-performance language that works effectively with Microsoft's .NET Framework. Now the favored language among those programming for the Microsoft platform, C# continues to grow in popularity as more developers
... Read more
Software Modeling and Design

UML, Use Cases, Patterns, and Software Architectures

by Hassan Gomaa ...

This book covers all you need to know to model and design software applications from use cases to software architectures in UML and shows how to apply the COMET UML-based modeling and design method to real-world problems. The author describes architectural patterns for various architectures, such as broker, discovery, and transaction patterns for service-oriented architectures, and addresses ... Read more

$98.39 USD

This book covers all you need to know to model and design software applications from use cases to software architectures in UML and shows how to apply the COMET UML-based modeling and design method to real-world problems. The author describes architectural patterns for various architectures, such as broker, discovery, and transaction patterns for service-oriented architectures, and addresses
... Read more
Game and Graphics Programming for iOS and Android with OpenGL ES 2.0

by Romain Marucchi-Foino ...

Develop graphically sophisticated apps and games today!The smart phone app market is progressively growing, and there is new market gap to fill that requires more graphically sophisticated applications and games. Game and Graphics Programming for iOS and Android with OpenGL ES 2.0 quickly gets you up to speed on understanding how powerful OpenGL ES 2.0 technology is in creating apps and games for ... Read more

$27.00 USD

Develop graphically sophisticated apps and games today!The smart phone app market is progressively growing, and there is new market gap to fill that requires more graphically sophisticated applications and games. Game and Graphics Programming for iOS and Android with OpenGL ES 2.0 quickly gets you up to speed on understanding how powerful OpenGL ES 2.0 technology is in creating apps and games for
... Read more
Leading Agile Teams

by Doug Rose ...

Leading Agile Teams is a practical and engaging guide to help your organization embrace a more agile mindset. Most organizations work in large groups when trying to find solutions for big problems. Agile teams are different. They get more done by having a small self-organized team focus on the highest priority items. Each big problem is broken down and solved by a small, stable group of dedicated ... Read more

$33.99 USD or Free with Kobo Plus

Leading Agile Teams is a practical and engaging guide to help your organization embrace a more agile mindset. Most organizations work in large groups when trying to find solutions for big problems. Agile teams are different. They get more done by having a small self-organized team focus on the highest priority items. Each big problem is broken down and solved by a small, stable group of dedicated
... Read more
Visual Basic 2005 Cookbook

Solutions for VB 2005 Programmers

by Tim Patrick, John Clark Craig ...

This book will help you solve more than 300 of the most common and not-so-common tasks that working Visual Basic 2005 programmers face every day. If you're a seasoned .NET developer, beginning Visual Basic programmer, or a developer seeking a simple and clear migration path from VB6 to Visual Basic 2005, the Visual Basic 2005 Cookbook delivers a practical collection of problem-solving recipes for ... Read more

$28.79 USD

This book will help you solve more than 300 of the most common and not-so-common tasks that working Visual Basic 2005 programmers face every day. If you're a seasoned .NET developer, beginning Visual Basic programmer, or a developer seeking a simple and clear migration path from VB6 to Visual Basic 2005, the Visual Basic 2005 Cookbook delivers a practical collection of problem-solving recipes for
... Read more
MySQL Stored Procedure Programming

Building High-Performance Web Applications in MySQL

by Guy Harrison, Steven Feuerstein ...

The implementation of stored procedures in MySQL 5.0 a hugemilestone -- one that is expected to lead to widespread enterprise adoption ofthe already extremely popular MySQL database. If you are serious aboutbuilding the web-based database applications of the future, you need toget up to speed quickly on how stored procedures work -- and how tobuild them the right way. This book, destined to be the ... Read more

$25.99 USD

The implementation of stored procedures in MySQL 5.0 a hugemilestone -- one that is expected to lead to widespread enterprise adoption ofthe already extremely popular MySQL database. If you are serious aboutbuilding the web-based database applications of the future, you need toget up to speed quickly on how stored procedures work -- and how tobuild them the right way. This book, destined to be the
... Read more
Bioinformatics Programming Using Python

Practical Programming for Biological Data

by Mitchell L Model ...

Powerful, flexible, and easy to use, Python is an ideal language for building software tools and applications for life science research and development. This unique book shows you how to program with Python, using code examples taken directly from bioinformatics. In a short time, you'll be using sophisticated techniques and Python modules that are particularly effective for bioinformatics ... Read more

$34.99 USD

Powerful, flexible, and easy to use, Python is an ideal language for building software tools and applications for life science research and development. This unique book shows you how to program with Python, using code examples taken directly from bioinformatics. In a short time, you'll be using sophisticated techniques and Python modules that are particularly effective for bioinformatics
... Read more
Clojure Brain Teasers

Exercise Your Mind

by Alex Miller, Lorilyn Jordan Miller ...

Challenge your knowledge of Clojure with 25 short Clojure teasers, sometimes with surprising results! Inspired by years of developer questions and feedback, these teasers are handpicked to clarify common points of confusion. Each code challenge illustrates Clojure's elegant design, explaining how and why it works. Enjoy these simple exercises solo or with friends to find gaps in your knowledge, ... Read more

$20.99 USD

Challenge your knowledge of Clojure with 25 short Clojure teasers, sometimes with surprising results! Inspired by years of developer questions and feedback, these teasers are handpicked to clarify common points of confusion. Each code challenge illustrates Clojure's elegant design, explaining how and why it works. Enjoy these simple exercises solo or with friends to find gaps in your knowledge,
... Read more
Go Standard Library Cookbook

Over 120 specific ways to make full use of the standard library components in Golang

by Radomír Sohlich ...

Implement solutions by leveraging the power of the GO standard library and reducing dependency on external cratesKey Features\*Develop high quality, fast and portable applications by leveraging the power of Go Standard Library.\*Practical recipes that will help you work with the standard library algorithms to boost your productivity as a Go developer.\*Compose your own algorithms without ... Read more

$41.99 USD or Free with Kobo Plus

Implement solutions by leveraging the power of the GO standard library and reducing dependency on external cratesKey Features\*Develop high quality, fast and portable applications by leveraging the power of Go Standard Library.\*Practical recipes that will help you work with the standard library algorithms to boost your productivity as a Go developer.\*Compose your own algorithms without
... Read more
Mastering Unix Shell Scripting

Bash, Bourne, and Korn Shell Scripting for Programmers, System Administrators, and UNIX Gurus

by Randal K. Michael ...

UNIX expert Randal K. Michael guides you through every detail of writing shell scripts to automate specific tasks. Each chapter begins with a typical, everyday UNIX challenge, then shows you how to take basic syntax and turn it into a shell scripting solution. Covering Bash, Bourne, and Korn shell scripting, this updated edition provides complete shell scripts plus detailed descriptions of each ... Read more

$63.00 USD

UNIX expert Randal K. Michael guides you through every detail of writing shell scripts to automate specific tasks. Each chapter begins with a typical, everyday UNIX challenge, then shows you how to take basic syntax and turn it into a shell scripting solution. Covering Bash, Bourne, and Korn shell scripting, this updated edition provides complete shell scripts plus detailed descriptions of each
... Read more
How to Become a Software Engineer – A Beginners Guide

by Jason Green ...

Software engineering is a career path that requires dedication, hard work, and creativity. It offers an opportunity to create and innovate while making a difference in the world. Individuals who pursue software engineering must be open to learning new things, have excellent problem-solving skills, and possess patience and resilience when they face difficult tasks. It is a rewarding career path ... Read more

$2.99 USD or Free with Kobo Plus

Software engineering is a career path that requires dedication, hard work, and creativity. It offers an opportunity to create and innovate while making a difference in the world. Individuals who pursue software engineering must be open to learning new things, have excellent problem-solving skills, and possess patience and resilience when they face difficult tasks. It is a rewarding career path
... Read more
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

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: