Angebote zu "Reliable" (19 Treffer)

Kategorien

Shops

Introduction to Reliable and Secure Distributed...
58,99 € *
ggf. zzgl. Versand

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of ´´Introduction to Reliable Distributed Programming´´. Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name ´´Byzantine fault-tolerance´´. In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of ´´Introduction to Reliable Distributed Programming´´. Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name ´´Byzantine fault-tolerance´´.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Production-Ready Microservices
26,99 € *
ggf. zzgl. Versand

In this practical book, author Susan Fowler presents a set of microservice standards in depth, drawing from her experience standardizing over a thousand microservices at Uber. You´ll learn how to design microservices that are stable, reliable, scalable, fault tolerant, performant, monitored, documented, and prepared for any catastrophe.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Pattern Recognition and Neural Networks
46,99 € *
ggf. zzgl. Versand

This 1996 book is a reliable account of the statistical framework for pattern recognition and machine learning. Valuable advice is included on both theory and applications, while case studies based on real data sets help readers develop their understanding. All data sets are available from www.stats.ox.ac.uk/~ripley/PRbook/

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Principles of Program Analysis
51,99 € *
ggf. zzgl. Versand

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Designing Mobile Payment Experiences
21,99 € *
ggf. zzgl. Versand

Now that consumer purchases with mobile phones are on the rise, how do you design a payment app that?s safe, easy to use, and compelling? With this practical book, interaction and product designer Skip Allums provides UX best practices and recommendations to help you create familiar, friendly, and trustworthy experiences. Consumers want mobile transactions to be as fast and reliable as cash or bank cards. This book shows designers, developers, and product managers?from startups to financial institutions?how to design mobile payments that not only safeguard identity and financial data, but also provide value-added features that exceed customer expectations. * Learn about the major mobile payment frameworks: NFC, cloud, and closed loop * Examine the pros and cons of Google Wallet, Isis, Square, PayPal, and other payment apps * Provide walkthroughs, demos, and easy registration to quickly gain a new user?s trust * Design efficient point-of-sale interactions, using NFC, QR, barcodes, or geolocation * Add peripheral services such as points, coupons and offers, and money management

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Continuous Delivery Handbook
25,99 € *
ggf. zzgl. Versand

Are you a non-coder looking for insight into DevOps, Microservices Architecture and Kubernetes? As the industry is moving towards maximum digitization there is a consensus that DevOps practices help you deliver software faster, more reliable, and with fewer errors. You may be a consultant, Advisor, Project Manager or a novice into IT industry; after going through this guide you would be able to appreciate DevOps, Microservices and other related concepts like Kanban,Scrum, Agile, SOA, Monolith Architecture, DevOps, Docker, Kubernetes etc. You would also get to know about the leaders in DevOps and Microservices adoption and impact it had on the overall agility and hyper-growth of the adopters. This book covers the complete lifecycle for your understanding like Integrating, Testing, Deploying DevOps and Microservices architecture and the Security concerns while deploying it. I am confident that after going through the book you would be able to navigate the discussion with any stakeholder and take your agenda ahead as per your role. Additionally, if you are new to the industry, and looking for an application development job, this book will help you to prepare with all the relevant information and understanding of the topic. ** I am also providing additional booklet containing all the relevant news, trends, and resources for DevOps and Microservices Architecture.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
DevOps Handbook
15,99 € *
ggf. zzgl. Versand

´´It is not the strongest of the species that survive, nor the most intelligent, but the one most responsive to change.´´- Charles Darwin As the industry is moving towards maximum digitization there is a consensus that DevOps practices help you deliver software faster, more reliable, and with fewer errors. So, whether you are from the Business side or technical side; DevOps have to be your way forward. DevOps is a set of practices and cultural values that have been proven to help organizations of all sizes improve their software release cycles, software quality, security, and ability to get rapid feedback on product development. This book is aimed at Consultant, Project Manager and people from techno-commercial profile who would be explaining the benefits of DevOps to the client, internal leadership or project teams. As the crux of DevOps methodology lies in the cultural transformation of the organization, people who are stakeholders in shaping this change must understand the overall alignment of business goals with this methodology. You would get to explore: What is DevOps A relationship between Agile, Scrum, Kanban and DevOps DevOps Adoption: Organizational cultural Change DevOps Ecosystem Emerging Trends DevOps success stories In the Bonus Booklet you will find out: DevOps Job Market overview Insights into DevOps job application People to follow on twitter

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Devops with Kubernetes: Non-Programmer´s Handbook
24,99 € *
ggf. zzgl. Versand

Are you a non-coder looking for insight into DevOps and Kubernetes? As the industry is moving towards maximum digitization there is the consensus that DevOps practices help you deliver software fast reliable reliably, and with fewer errors. You may be a consultant, Advisor, Project Manager or a novice into IT industry; after going through this guide you would be able to appreciate DevOps, Microservices and other related concepts like Kanban,Scrum,Agile, SOA, Monolith Architecture, DevOps, Docker, Kubernetes etc. You would also get to know about the leaders in DevOps and Kubernetes adoption and the impact it had on the overall agility and hyper-growth of the adopters. This book covers the complete lifecycle for your understanding like: Integrating, Testing, Deploying DevOps and Kubernetes and the Security concerns while deploying it. I am confident that after going through the book you would be able to navigate the discussion with any stakeholder and take your agenda ahead as per your role. Additionally, if you are new to the industry, and looking for an application development job, this book will help you to prepare with all the relevant information and understanding of the topic. ** I am also providing additional booklet containing all the relevant news, trends, and resources for DevOps

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Rigorous Software Development
28,99 € *
ggf. zzgl. Versand

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software. The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot