Rakuten Kobo

Computer Aided Verification

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

Edición de Ruzica Piskac, Zvonimir Rakamarić ...

Series Libro 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 ... Leer más

Gratis

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
... Leer más
Lean DevOps

A Practical Guide to On Demand Service Delivery

de 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 ... Leer más

$38.69 USD

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
... Leer más
More Agile Testing

Learning Journeys for the Whole Team

de Janet Gregory, Lisa Crispin ...

Series series Addison-Wesley Signature Series (Cohn)
Janet Gregory and Lisa Crispin pioneered the agile testing discipline with their previous work, Agile Testing. Now, in More Agile Testing, they reflect on all they’ve learned since. They address crucial emerging issues, share evolved agile practices, and cover key issues agile testers have asked to learn more about.Packed with new examples from real teams, this insightful guide offers detailed ... Leer más

$46.79 USD

Janet Gregory and Lisa Crispin pioneered the agile testing discipline with their previous work, Agile Testing. Now, in More Agile Testing, they reflect on all they’ve learned since. They address crucial emerging issues, share evolved agile practices, and cover key issues agile testers have asked to learn more about.Packed with new examples from real teams, this insightful guide offers detailed
... Leer más
Rust

Concorrência e alta performance com segurança

de 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 ... Leer más

$9.99 USD o gratis con 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
... Leer más
Parallel Computing Architectures and APIs

IoT Big Data Stream Processing

de 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 ... Leer más

$234.99 USD

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
... Leer más
Practical Numerical and Scientific Computing with MATLAB® and Python

de 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 ... Leer más

$126.99 USD

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
... Leer más
Netcentric System of Systems Engineering with DEVS Unified Process

de 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 ... Leer más

$145.99 USD

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
... Leer más
Outsourcing Software Development Offshore

Making It Work

de 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 ... Leer más

$166.99 USD

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
... Leer más
Threat Level Red

Cybersecurity Research Programs of the U.S. Government

de 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 ... Leer más

$62.99 USD

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
... Leer más
Software Application Development

A Visual C++, MFC, and STL Tutorial

de 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 ... Leer más

$96.99 USD

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
... Leer más
Functional and Logic Programming

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

Edición de 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, ... Leer más

$62.99 USD

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,
... Leer más
Tomorrow's Systems Engineering

Commentaries on the Profession

de 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 ... Leer más

$30.99 USD

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
... Leer más
DDoS Attacks

Evolution, Detection, Prevention, Reaction, and Tolerance

de 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 ... Leer más

$145.99 USD

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
... Leer más
Embedded Software System Testing

Automatic Testing Solution Based on Formal Method

de 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 ... Leer más

$73.99 USD

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
... Leer más
Multilevel Security for Relational Databases

de 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 ... Leer más

$86.99 USD

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
... Leer más
Intelligent Data Warehousing

From Data Preparation to Data Mining

de 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 ... Leer más

$224.99 USD

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
... Leer más
Software Engineering: Challenges and Solutions

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

Edición de 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, ... Leer más

$143.09 USD

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,
... Leer más
Mastering Microsoft Endpoint Manager

de 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 ... Leer más

$3.99 USD o gratis con 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
... Leer más
Mastering Claude Cowork

de 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 ... Leer más

$14.88 USD o gratis con 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
... Leer más
Creating Agile Organizations

A Systemic Approach

de Cesario Ramos, Illia Pavhlichenko ...

Design Your Organization for Maximum Agile Success at Scale"[A] unique view of organizational agility. Cesario and Ilia first describe the [foundational] tools and vocabulary to think about agile enterprise-level change. The second section is a practical approach to adoption. It marries the foundational elements into a people and customer centric approach to change. The book is epic in scope ... ... Leer más

$38.69 USD

Design Your Organization for Maximum Agile Success at Scale"[A] unique view of organizational agility. Cesario and Ilia first describe the [foundational] tools and vocabulary to think about agile enterprise-level change. The second section is a practical approach to adoption. It marries the foundational elements into a people and customer centric approach to change. The book is epic in scope ...
... Leer más
Testing Computers Systems for FDA/MHRA Compliance

de 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 ... Leer más

$234.99 USD

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
... Leer más
CloudKit with UIKit

Quick Guides for Masterminds

de 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 ... Leer más

$2.90 USD o gratis con 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
... Leer más
Reliability Engineering in the Cloud

Strategies and Practices for AI-Powered Cloud-Based Systems

de 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 ... Leer más

$32.39 USD

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
... Leer más
Project Management Professional (PMP)® Cert Guide

de 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 ... Leer más

$47.59 USD

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
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Desarrollo de software

Mostrar: