Rakuten Kobo

Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

Edited by Ruzica Piskac, Zvonimir Rakamarić ...

Series Book 4 - Springer Nature Proceedings Computer Science
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions.The accepted papers cover a wide spectrum of topics, from theoretical ... Read more

Free

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions.The accepted papers cover a wide spectrum of topics, from theoretical
... Read more
Lean DevOps

A Practical Guide to On Demand Service Delivery

by Robert Benefield ...

Deliver Any Service Far More Effectively, Based on What Customers Really WantAs service stacks grow more complex, it becomes even tougher to deliver on-demand IT services that meet customers' expectations for speed, consistency, reliability, security, privacy, and value. Layering on new cloud technologies, architectural approaches, or methodologies can aggravate the problem by widening the gap ... Read more

$42.99 CAD

Deliver Any Service Far More Effectively, Based on What Customers Really WantAs service stacks grow more complex, it becomes even tougher to deliver on-demand IT services that meet customers' expectations for speed, consistency, reliability, security, privacy, and value. Layering on new cloud technologies, architectural approaches, or methodologies can aggravate the problem by widening the gap
... Read more
SystemC: From the Ground Up, Second Edition

by David C. Black, Jack Donovan, Bill Bunton, Anna Keist ...

Series series Engineering (R0)
SystemC provides a robust set of extensions to the C++ language that enables rapid development of complex models of hardware and software systems. The authors focus on practical use of the language for modeling real systems, showing:A step-by-step build-up of syntaxCode examples for each conceptUpdates to reflect the SystemC standard, IEEE 1666Why features are as they are... ... Read more

$140.89 CAD

SystemC provides a robust set of extensions to the C++ language that enables rapid development of complex models of hardware and software systems. The authors focus on practical use of the language for modeling real systems, showing:A step-by-step build-up of syntaxCode examples for each conceptUpdates to reflect the SystemC standard, IEEE 1666Why features are as they are...
... Read more
Rust

Concorrência e alta performance com segurança

by Marcelo Castellani, Willian Molinari ...

Quando falamos em linguagens de programação voltadas à construção de sistemas que exigem performance e agilidade, Rust tem se consolidado como a melhor opção. Ela foi feita para ser segura a ponto de possibilitar uma concorrência limpa sem a famigerada race condition. Trata-se de uma linguagem open source multiparadigma, sendo uma ótima alternativa ao C++. Nesta nova edição, Marcelo Castellani e ... Read more

$13.99 CAD or Free with Kobo Plus

Quando falamos em linguagens de programação voltadas à construção de sistemas que exigem performance e agilidade, Rust tem se consolidado como a melhor opção. Ela foi feita para ser segura a ponto de possibilitar uma concorrência limpa sem a famigerada race condition. Trata-se de uma linguagem open source multiparadigma, sendo uma ótima alternativa ao C++. Nesta nova edição, Marcelo Castellani e
... Read more
Parallel Computing Architectures and APIs

IoT Big Data Stream Processing

by Vivek Kale ...

Parallel Computing Architectures and APIs: IoT Big Data Stream Processing commences from the point high-performance uniprocessors were becoming increasingly complex, expensive, and power-hungry. A basic trade-off exists between the use of one or a small number of such complex processors, at one extreme, and a moderate to very large number of simpler processors, at the other. When combined with a ... Read more

$322.92 CAD

Parallel Computing Architectures and APIs: IoT Big Data Stream Processing commences from the point high-performance uniprocessors were becoming increasingly complex, expensive, and power-hungry. A basic trade-off exists between the use of one or a small number of such complex processors, at one extreme, and a moderate to very large number of simpler processors, at the other. When combined with a
... Read more
Practical Numerical and Scientific Computing with MATLAB® and Python

by Eihab B. M. Bashier ...

Practical Numerical and Scientific Computing with MATLAB® and Python concentrates on the practical aspects of numerical analysis and linear and non-linear programming. It discusses the methods for solving different types of mathematical problems using MATLAB and Python. Although the book focuses on the approximation problem rather than on error analysis of mathematical problems, it provides ... Read more

$174.51 CAD

Practical Numerical and Scientific Computing with MATLAB® and Python concentrates on the practical aspects of numerical analysis and linear and non-linear programming. It discusses the methods for solving different types of mathematical problems using MATLAB and Python. Although the book focuses on the approximation problem rather than on error analysis of mathematical problems, it provides
... Read more
Netcentric System of Systems Engineering with DEVS Unified Process

by Saurabh Mittal, José L. Risco Martín ...

Series series System of Systems Engineering
In areas such as military, security, aerospace, and disaster management, the need for performance optimization and interoperability among heterogeneous systems is increasingly important. Model-driven engineering, a paradigm in which the model becomes the actual software, offers a promising approach toward systems of systems (SoS) engineering. However, model-driven engineering has largely been ... Read more

$200.62 CAD

In areas such as military, security, aerospace, and disaster management, the need for performance optimization and interoperability among heterogeneous systems is increasingly important. Model-driven engineering, a paradigm in which the model becomes the actual software, offers a promising approach toward systems of systems (SoS) engineering. However, model-driven engineering has largely been
... Read more
Outsourcing Software Development Offshore

Making It Work

by Tandy Gold ...

In Offshore Software Development: Making It Work, hands-on managers of Offshore solutions help you answer these questions:What is Offshore and why is it an IT imperative?What do you need to do to successfully evaluate an Offshore solution?How do you avoid common pitfalls?How do you confront security an ... Read more

$229.48 CAD

In Offshore Software Development: Making It Work, hands-on managers of Offshore solutions help you answer these questions:What is Offshore and why is it an IT imperative?What do you need to do to successfully evaluate an Offshore solution?How do you avoid common pitfalls?How do you confront security an
... Read more
Threat Level Red

Cybersecurity Research Programs of the U.S. Government

by Michael Erbschloe ...

There is extensive government research on cyber security science, technology, and applications. Much of this research will be transferred to the private sector to aid in product development and the improvement of protective measures against cyber warfare attacks. This research is not widely publicized. There are initiatives to coordinate these research efforts but there has never been a published ... Read more

$86.56 CAD

There is extensive government research on cyber security science, technology, and applications. Much of this research will be transferred to the private sector to aid in product development and the improvement of protective measures against cyber warfare attacks. This research is not widely publicized. There are initiatives to coordinate these research efforts but there has never been a published
... Read more
Software Application Development

A Visual C++, MFC, and STL Tutorial

by Bud Fox Ph.D., Zhang Wenzu Ph.D., Tan May Ling M.Sc. ...

Series series Chapman & Hall/CRC Computer and Information Science Series
Software Application Development: A Visual C++, MFC, and STL Tutorial provides a detailed account of the software development process using Visual C++, MFC, and STL. It covers everything from the design to the implementation of all software modules, resulting in a demonstration application prototype which may be used to efficiently represent mathem ... Read more

$133.28 CAD

Software Application Development: A Visual C++, MFC, and STL Tutorial provides a detailed account of the software development process using Visual C++, MFC, and STL. It covers everything from the design to the implementation of all software modules, resulting in a demonstration application prototype which may be used to efficiently represent mathem
... Read more
Functional and Logic Programming

16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Edited by Michael Hanus, Atsushi Igarashi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, ... Read more

$83.29 CAD

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics,
... Read more
Tomorrow's Systems Engineering

Commentaries on the Profession

by Howard Eisner ...

This book looks at systems engineering now and comments on the future. It notes the signs of deepening our understanding of the field which includes, digital engineering, interactive model-based systems, decision support frameworks, and points to a grand unified theory. The book also suggests how the systems engineer can be a better designer and architect.Offering commentaries regarding how the ... Read more

$42.59 CAD

This book looks at systems engineering now and comments on the future. It notes the signs of deepening our understanding of the field which includes, digital engineering, interactive model-based systems, decision support frameworks, and points to a grand unified theory. The book also suggests how the systems engineer can be a better designer and architect.Offering commentaries regarding how the
... Read more
DDoS Attacks

Evolution, Detection, Prevention, Reaction, and Tolerance

by Dhruba Kumar Bhattacharyya, Jugal Kumar Kalita ...

DDoS Attacks: Evolution, Detection, Prevention, Reaction, and Tolerance discusses the evolution of distributed denial-of-service (DDoS) attacks, how to detect a DDoS attack when one is mounted, how to prevent such attacks from taking place, and how to react when a DDoS attack is in progress, with the goal of tolerating the attack. It introduces types and characteristics of DDoS attacks, reasons ... Read more

$200.62 CAD

DDoS Attacks: Evolution, Detection, Prevention, Reaction, and Tolerance discusses the evolution of distributed denial-of-service (DDoS) attacks, how to detect a DDoS attack when one is mounted, how to prevent such attacks from taking place, and how to react when a DDoS attack is in progress, with the goal of tolerating the attack. It introduces types and characteristics of DDoS attacks, reasons
... Read more
Embedded Software System Testing

Automatic Testing Solution Based on Formal Method

by Yongfeng Yin, Bo Jiang ...

This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and ... Read more

$101.99 CAD

This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and
... Read more
Multilevel Security for Relational Databases

by Osama S. Faragallah, El-Sayed M. El-Rabaie, Fathi E. Abd El-Samie, Ahmed I. Sallam, Hala S. El-Sayed ...

Since databases are the primary repositories of information for today's organizations and governments, database security has become critically important. Most database security models focus on protecting against external unauthorized users. Because multilevel secure databases provide internal security according to user access type, they are a viable option for the security needs of modern database ... Read more

$119.54 CAD

Since databases are the primary repositories of information for today's organizations and governments, database security has become critically important. Most database security models focus on protecting against external unauthorized users. Because multilevel secure databases provide internal security according to user access type, they are a viable option for the security needs of modern database
... Read more
Intelligent Data Warehousing

From Data Preparation to Data Mining

by Zhengxin Chen ...

Effective decision support systems (DSS) are quickly becoming key to businesses gaining a competitive advantage, and the effectiveness of these systems depends on the ability to construct, maintain, and extract information from data warehouses. While many still perceive data warehousing as a subdiscipline of management information systems (MIS), in fact many of its advances have and will continue ... Read more

$309.18 CAD

Effective decision support systems (DSS) are quickly becoming key to businesses gaining a competitive advantage, and the effectiveness of these systems depends on the ability to construct, maintain, and extract information from data warehouses. While many still perceive data warehousing as a subdiscipline of management information systems (MIS), in fact many of its advances have and will continue
... Read more
Software Engineering: Challenges and Solutions

Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland

Edited by Michał Śmiałek, Zbigniev Huzar, Bogumiła Hnatkowska, Lech Madeyski ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents the proceedings of the KKIO Software Engineering Conference held in Wrocław, Poland in September 15-17, 2016. It contains the carefully reviewed and selected scientific outcome of the conference, which had the motto: “Better software = more efficient enterprise: challenges and solutions”. Following this mission, this book is a compilation of challenges and needs of the industry, ... Read more

$179.39 CAD

This book presents the proceedings of the KKIO Software Engineering Conference held in Wrocław, Poland in September 15-17, 2016. It contains the carefully reviewed and selected scientific outcome of the conference, which had the motto: “Better software = more efficient enterprise: challenges and solutions”. Following this mission, this book is a compilation of challenges and needs of the industry,
... Read more
Mastering Microsoft Endpoint Manager

by Charles Smith, Scott H. Woods ...

This book is everything that every other book on Microsoft Device management is not. The book has been assiduously written to provide insights into how organizations and small businesses that needs extra security for their devices. The book is also very useful for individuals working in IT firms that use Microsoft Endpoint Manager for device security. If you are going for an interview in firms ... Read more

$5.99 CAD or Free with Kobo Plus

This book is everything that every other book on Microsoft Device management is not. The book has been assiduously written to provide insights into how organizations and small businesses that needs extra security for their devices. The book is also very useful for individuals working in IT firms that use Microsoft Endpoint Manager for device security. If you are going for an interview in firms
... Read more
Mastering Claude Cowork

by Michael Kral ...

Mastering Claude Cowork: The Definitive Guidebook for Agentic Knowledge WorkYou didn't get into your career to rename files, chase down data, or spend Friday afternoon assembling the same weekly report for the forty-seventh time. But that's where the hours go — buried in the mechanical work that sits between you and the work that actually matters.Claude Cowork changes that equation. It reads your ... Read more

$20.99 CAD or Free with Kobo Plus

Mastering Claude Cowork: The Definitive Guidebook for Agentic Knowledge WorkYou didn't get into your career to rename files, chase down data, or spend Friday afternoon assembling the same weekly report for the forty-seventh time. But that's where the hours go — buried in the mechanical work that sits between you and the work that actually matters.Claude Cowork changes that equation. It reads your
... Read more
Testing Computers Systems for FDA/MHRA Compliance

by David Stokes ...

There is no substitute for extensive testing when it comes to IT systems. Recognition that problems are easier and cheaper to fix before the system is in use (rather than after), has turned testing into a cost-effective tool. However, when developing computer systems for pharmaceuticals manufacturing, testing to meet regulatory requirements adds an ... Read more

$322.92 CAD

There is no substitute for extensive testing when it comes to IT systems. Recognition that problems are easier and cheaper to fix before the system is in use (rather than after), has turned testing into a cost-effective tool. However, when developing computer systems for pharmaceuticals manufacturing, testing to meet regulatory requirements adds an
... Read more
CloudKit with UIKit

Quick Guides for Masterminds

by J.D Gauchat ...

Quick Guides for Masterminds are excerpts from our best-selling books SwiftUI for Masterminds, UIKit for Masterminds, and HTML5 for Masterminds, providing a cost-effective alternative to getting the information you need.DescriptionWith this guide, you will learn how to share data between devices using CloudKit databases and the UIKit framework.After reading this guide, you will know how to work ... Read more

$3.99 CAD or Free with Kobo Plus

Quick Guides for Masterminds are excerpts from our best-selling books SwiftUI for Masterminds, UIKit for Masterminds, and HTML5 for Masterminds, providing a cost-effective alternative to getting the information you need.DescriptionWith this guide, you will learn how to share data between devices using CloudKit databases and the UIKit framework.After reading this guide, you will know how to work
... Read more
Reliability Engineering in the Cloud

Strategies and Practices for AI-Powered Cloud-Based Systems

by Mariya Breyter, Carlos Rojas ...

Deliver Resilient, Scalable, and Fault-Tolerant Cloud Services with AI, Lean, and Reliability EngineeringThe success of your business hinges on the resilience of your cloud infrastructure. System failures and downtime can devastate your bottom line, erode customer trust, and undermine your competitive edge.Reliability Engineering in the Cloud: Strategies and Practices for Resilient Cloud-Based ... Read more

$35.99 CAD

Deliver Resilient, Scalable, and Fault-Tolerant Cloud Services with AI, Lean, and Reliability EngineeringThe success of your business hinges on the resilience of your cloud infrastructure. System failures and downtime can devastate your bottom line, erode customer trust, and undermine your competitive edge.Reliability Engineering in the Cloud: Strategies and Practices for Resilient Cloud-Based
... Read more
Global Software Development Handbook

by Raghvinder Sangwan, Matthew Bass, Neel Mullick, Daniel J. Paulish, Juergen Kazmeier ...

Economics and technology have dramatically re-shaped the landscape of software development. It is no longer uncommon to find a software development team dispersed across countries or continents. Geographically distributed development challenges the ability to clearly communicate, enforce standards, ensure quality levels, and coordinate tasks. Global Software Development Handbook explores ... Read more

$119.54 CAD

Economics and technology have dramatically re-shaped the landscape of software development. It is no longer uncommon to find a software development team dispersed across countries or continents. Geographically distributed development challenges the ability to clearly communicate, enforce standards, ensure quality levels, and coordinate tasks. Global Software Development Handbook explores
... Read more
Project Management Professional (PMP)® Cert Guide

by Gregory Horine, Asad Haque ...

Series series Certification Guide
This is the eBook version of the print title. Note that the eBook does not provide access to the practice test software that accompanies the print book.Learn, prepare, and practice for the Project Management Professional (PMP)® Exam success with this Cert Guide from Pearson IT Certification, a leader in IT Certification learning.Master PMP exam topicsAssess your knowledge with chapter-ending ... Read more

$65.99 CAD

This is the eBook version of the print title. Note that the eBook does not provide access to the practice test software that accompanies the print book.Learn, prepare, and practice for the Project Management Professional (PMP)® Exam success with this Cert Guide from Pearson IT Certification, a leader in IT Certification learning.Master PMP exam topicsAssess your knowledge with chapter-ending
... 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: