Rakuten Kobo

Computer Aided Verification

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

Edición de Isil Dillig, Serdar Tasiran ...

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

Gratis

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
... Leer más
Functional Programming with C#

Create More Supportable, Robust, and Testable Code

de Simon J. Painter ...

After decades of relative obscurity, functional programming is finally coming into its own. With concise, easy-to-read code that supports asynchronous, concurrent processing, aspects of functional programming have begun to appear in several traditionally object-oriented languages such as C# and Java. This practical book shows C# programmers how to use functional programming features without having ... Leer más

$48.99 USD

After decades of relative obscurity, functional programming is finally coming into its own. With concise, easy-to-read code that supports asynchronous, concurrent processing, aspects of functional programming have begun to appear in several traditionally object-oriented languages such as C# and Java. This practical book shows C# programmers how to use functional programming features without having
... Leer más
SOA in Practice

The Art of Distributed System Design

de Nicolai M. Josuttis ...

This book demonstrates service-oriented architecture (SOA) as a concrete discipline rather than a hopeful collection of cloud charts. Built upon the author's firsthand experience rolling out a SOA at a major corporation, SOA in Practice explains how SOA can simplify the creation and maintenance of large-scale applications. Whether your project involves a large set of Web Services-based components, ... Leer más

$23.99 USD

This book demonstrates service-oriented architecture (SOA) as a concrete discipline rather than a hopeful collection of cloud charts. Built upon the author's firsthand experience rolling out a SOA at a major corporation, SOA in Practice explains how SOA can simplify the creation and maintenance of large-scale applications. Whether your project involves a large set of Web Services-based components,
... Leer más
Kafka Connect

Build and Run Data Pipelines

de Mickael Maison, Kate Stanley ...

Used by more than 80% of Fortune 100 companies, Apache Kafka has become the de facto event streaming platform. Kafka Connect is a key component of Kafka that lets you flow data between your existing systems and Kafka to process data in real time.With this practical guide, authors Mickael Maison and Kate Stanley show data engineers, site reliability engineers, and application developers how to ... Leer más

$48.99 USD

Used by more than 80% of Fortune 100 companies, Apache Kafka has become the de facto event streaming platform. Kafka Connect is a key component of Kafka that lets you flow data between your existing systems and Kafka to process data in real time.With this practical guide, authors Mickael Maison and Kate Stanley show data engineers, site reliability engineers, and application developers how to
... Leer más
Pro Asynchronous Programming with .NET

de Richard Blewett, Andrew Clymer, Rock Solid Knowledge Ltd ...

Series series Professional and Applied Computing (R0)
Pro Asynchronous Programming with .NET teaches the essential skill of asynchronous programming in .NET. It answers critical questions in .NET application development, such as: how do I keep my program responding at all times to keep my users happy? how do I make the most of the available hardware? how can I improve performance?In the modern world, users expect more and more from their applications ... Leer más

$80.99 USD

Pro Asynchronous Programming with .NET teaches the essential skill of asynchronous programming in .NET. It answers critical questions in .NET application development, such as: how do I keep my program responding at all times to keep my users happy? how do I make the most of the available hardware? how can I improve performance?In the modern world, users expect more and more from their applications
... Leer más
Leading Agile Teams

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

$33.99 USD o gratis con 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
... Leer más
Learning AWS

Design, build, and deploy responsive applications using AWS Cloud components

de Aurobindo Sarkar, Amit Shah ...

Discover techniques and tools for building serverless applications with AWSKey FeaturesGet well-versed with building and deploying serverless APIs with microservicesLearn to build distributed applications and microservices with AWS Step FunctionsA step-by-step guide that will get you up and running with building and managing applications on the AWS platformBook DescriptionAmazon Web Services (AWS) ... Leer más

$37.99 USD o gratis con Kobo Plus

Discover techniques and tools for building serverless applications with AWSKey FeaturesGet well-versed with building and deploying serverless APIs with microservicesLearn to build distributed applications and microservices with AWS Step FunctionsA step-by-step guide that will get you up and running with building and managing applications on the AWS platformBook DescriptionAmazon Web Services (AWS)
... Leer más
Advanced Software Testing - Vol. 1, 2nd Edition

Guide to the ISTQB Advanced Certification as an Advanced Test Analyst

de Rex Black ...

This book is written for the test analyst who wants to achieve advanced skills in test analysis, design, and execution. With a hands-on, exercise-rich approach, this book teaches you how to define and carry out the tasks required to put a test strategy into action.Learn how to analyze the system, taking into account the user’s quality expectations. Additionally, learn how to evaluate system ... Leer más

$35.99 USD

This book is written for the test analyst who wants to achieve advanced skills in test analysis, design, and execution. With a hands-on, exercise-rich approach, this book teaches you how to define and carry out the tasks required to put a test strategy into action.Learn how to analyze the system, taking into account the user’s quality expectations. Additionally, learn how to evaluate system
... Leer más
Performance Testing With JMeter 2.9

de Bayo Erinle ...

Performance Testing With JMeter 2.9 is a standard tutorial that will help you polish your fundamentals, guide you through various advanced topics, and along the process help you learn new tools and skills.This book is for developers, quality assurance engineers, testers, and test managers new to Apache JMeter, or those who are looking to get a good grounding in how to effectively use and become ... Leer más

$23.99 USD o gratis con Kobo Plus

Performance Testing With JMeter 2.9 is a standard tutorial that will help you polish your fundamentals, guide you through various advanced topics, and along the process help you learn new tools and skills.This book is for developers, quality assurance engineers, testers, and test managers new to Apache JMeter, or those who are looking to get a good grounding in how to effectively use and become
... Leer más
Instant Apache ActiveMQ Messaging Application Development How-to

de Timothy Bish ...

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks.This is a Packt Instant How-to guide, which provides concise and practical recipes to help you get started writing applications with ActiveMQ using practical examples.Instant ActiveMQ Application Development How-to is for the developers who are new to Java Message Service application ... Leer más

$15.99 USD o gratis con Kobo Plus

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks.This is a Packt Instant How-to guide, which provides concise and practical recipes to help you get started writing applications with ActiveMQ using practical examples.Instant ActiveMQ Application Development How-to is for the developers who are new to Java Message Service application
... Leer más
Software Requirements Essentials

Core Practices for Successful Business Analysis

de Karl Wiegers, Candase Hokanson ...

20 Best Practices for Developing and Managing Requirements on Any ProjectSoftware Requirements Essentials presents 20 core practices for successful requirements planning, elicitation, analysis, specification, validation, and management. Leading requirements experts Karl Wiegers and Candase Hokanson focus on the practices most likely to deliver superior value for both traditional and agile projects ... Leer más

$30.59 USD

20 Best Practices for Developing and Managing Requirements on Any ProjectSoftware Requirements Essentials presents 20 core practices for successful requirements planning, elicitation, analysis, specification, validation, and management. Leading requirements experts Karl Wiegers and Candase Hokanson focus on the practices most likely to deliver superior value for both traditional and agile projects
... Leer más
Data Plane Development Kit (DPDK)

A Software Optimization Guide to the User Space-Based Network Applications

Edición de Heqing Zhu ...

This book brings together the insights and practical experience of some of the most experienced Data Plane Development Kit (DPDK) technical experts, detailing the trend of DPDK, data packet processing, hardware acceleration, packet processing and virtualization, as well as the practical application of DPDK in the fields of SDN, NFV, and network storage. The book also devotes many chunks to ... Leer más

$76.99 USD

This book brings together the insights and practical experience of some of the most experienced Data Plane Development Kit (DPDK) technical experts, detailing the trend of DPDK, data packet processing, hardware acceleration, packet processing and virtualization, as well as the practical application of DPDK in the fields of SDN, NFV, and network storage. The book also devotes many chunks to
... Leer más
Serverless Applications with Node.js

Using AWS Lambda and Claudia.js

de Slobodan Stojanovic, Aleksandar Simovic ...

SummaryServerless Applications with Node.js walks you through building serverless apps on AWS using JavaScript. Inside, you'll discover what Claudia.js brings to the table as you build and deploy a scalable event-based serverless application, based around a pizzeria that's fully integrated with AWS services, including Lambda and API Gateway. Each chapter is filled with exercises, examples, tips, ... Leer más

$49.99 USD

SummaryServerless Applications with Node.js walks you through building serverless apps on AWS using JavaScript. Inside, you'll discover what Claudia.js brings to the table as you build and deploy a scalable event-based serverless application, based around a pizzeria that's fully integrated with AWS services, including Lambda and API Gateway. Each chapter is filled with exercises, examples, tips,
... Leer más
Service-Oriented Architecture

Concepts, Technology, and Design

de Thomas Erl ...

$46.99 USD
Essential TypeScript 5, Third Edition

de Adam Freeman ...

Now in its third edition, this bestselling guide to TypeScript takes you through the nuts and bolts of the language. No frills, no fuss—just TypeScript essentials!TypeScript enhances JavaScript with static typing, while keeping all the JS flexibility you know and love! It’s the perfect choice for any developer looking to improve the predictability and reliability of their code. Essential ... Leer más

$49.99 USD

Now in its third edition, this bestselling guide to TypeScript takes you through the nuts and bolts of the language. No frills, no fuss—just TypeScript essentials!TypeScript enhances JavaScript with static typing, while keeping all the JS flexibility you know and love! It’s the perfect choice for any developer looking to improve the predictability and reliability of their code. Essential
... Leer más
Terraform for Developers

Essentials of Infrastructure Automation and Provisioning

de Kimiko Lee ...

"Terraform for Developers" provides a comprehensive guide to mastering infrastructure as code with Terraform, intended for both beginners and experienced practitioners. The book starts by introducing foundational Terraform concepts like its architecture, setup on various cloud platforms, and the syntax of its configuration language HCL. This grounds the reader in core skills needed to author ... Leer más

$28.99 USD

"Terraform for Developers" provides a comprehensive guide to mastering infrastructure as code with Terraform, intended for both beginners and experienced practitioners. The book starts by introducing foundational Terraform concepts like its architecture, setup on various cloud platforms, and the syntax of its configuration language HCL. This grounds the reader in core skills needed to author
... Leer más
IoT: Building Arduino-Based Projects

de Peter Waher, Pradeeka Seneviratne, Brian Russell, Drew Van Duren ...

Explore and learn about Internet of Things to develop interactive Arduino-based Internet projectsAbout This BookLearn the capabilities and differences between popular protocols and communication patterns and how they can be used, and should not be used, to create secure and interoperable services and thingsBuild Internet-based Arduino devices to make your home feel more secureLearn to protect ... Leer más

$57.99 USD

Explore and learn about Internet of Things to develop interactive Arduino-based Internet projectsAbout This BookLearn the capabilities and differences between popular protocols and communication patterns and how they can be used, and should not be used, to create secure and interoperable services and thingsBuild Internet-based Arduino devices to make your home feel more secureLearn to protect
... Leer más
The Design of Web APIs

de Arnaud Lauret ...

SummaryThe Design of Web APIs is a practical, example-packed guide to crafting extraordinary web APIs. Author Arnaud Lauret demonstrates fantastic design principles and techniques you can apply to both public and private web APIs.About the technologyAn API frees developers to integrate with an application without knowing its code-level details. Whether you’re using established standards like REST ... Leer más

$32.99 USD

SummaryThe Design of Web APIs is a practical, example-packed guide to crafting extraordinary web APIs. Author Arnaud Lauret demonstrates fantastic design principles and techniques you can apply to both public and private web APIs.About the technologyAn API frees developers to integrate with an application without knowing its code-level details. Whether you’re using established standards like REST
... Leer más
Junior to Senior

de David Glassanos ...

As a programmer, you've spent plenty of time learning technical and programming skills. Junior engineers-and even some who have been in it a long time-must constantly focus on improving their "hard" technical skills.But writing code is only part of our job as software developers. It's equally essential for developers to cultivate the soft skills critical for adding value for their team, their ... Leer más

$9.99 USD

As a programmer, you've spent plenty of time learning technical and programming skills. Junior engineers-and even some who have been in it a long time-must constantly focus on improving their "hard" technical skills.But writing code is only part of our job as software developers. It's equally essential for developers to cultivate the soft skills critical for adding value for their team, their
... Leer más
The Java Module System

de Nicolai Parlog ...

SummaryJava's much-awaited "Project Jigsaw" is finally here! Java 11 includes a built-in modularity framework, and The Java Module System is your guide to discovering it. In this new book, you'll learn how the module system improves reliability and maintainability, and how it can be used to reduce tight coupling of system components.Foreword by Kevlin Henney.Purchase of the print book includes a ... Leer más

$49.99 USD

SummaryJava's much-awaited "Project Jigsaw" is finally here! Java 11 includes a built-in modularity framework, and The Java Module System is your guide to discovering it. In this new book, you'll learn how the module system improves reliability and maintainability, and how it can be used to reduce tight coupling of system components.Foreword by Kevlin Henney.Purchase of the print book includes a
... Leer más
Java Programming for Beginners

Learn the fundamentals of programming with Java

de SkillSprints Inc., Mark Lassoff ...

Java Programming for Beginners is an introduction to Java programming, taking you through the Java syntax and the fundamentals of object-oriented programming.Key FeaturesLearn the basics of Java programming in a step-by-step mannerSimple, yet thorough steps that beginners can followTeaches you transferable skills, such as flow control and object-oriented programmingBook DescriptionJava is an ... Leer más

$27.99 USD o gratis con Kobo Plus

Java Programming for Beginners is an introduction to Java programming, taking you through the Java syntax and the fundamentals of object-oriented programming.Key FeaturesLearn the basics of Java programming in a step-by-step mannerSimple, yet thorough steps that beginners can followTeaches you transferable skills, such as flow control and object-oriented programmingBook DescriptionJava is an
... Leer más
Aprende a Modelar Aplicaciones con UML

de Julián Esteban Gracia Burgués ...

El principal problema del desarrollo de nuevos sistemas utilizando la orientación a objetos en las fases de análisis de requisitos, análisis y diseño de sistemas es que no hay una notación estandarizada y realmente eficaz que cubra cualquier tipo de aplicación que se desee. Cada simbología existente tiene sus propios conceptos, gráficos y terminología, lo que resulta en una gran confusión, ... Leer más

$4.95 USD o gratis con Kobo Plus

El principal problema del desarrollo de nuevos sistemas utilizando la orientación a objetos en las fases de análisis de requisitos, análisis y diseño de sistemas es que no hay una notación estandarizada y realmente eficaz que cubra cualquier tipo de aplicación que se desee. Cada simbología existente tiene sus propios conceptos, gráficos y terminología, lo que resulta en una gran confusión,
... Leer más
System Assurance

Beyond Detecting Vulnerabilities

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

$55.99 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
... Leer más
Seven Databases in Seven Weeks

A Guide to Modern Databases and the NoSQL Movement

de Luc Perkins, Eric Redmond, Jim Wilson ...

Data is getting bigger and more complex by the day, and so are your choices in handling it. Explore some of the most cutting-edge databases available - from a traditional relational database to newer NoSQL approaches - and make informed decisions about challenging data storage problems. This is the only comprehensive guide to the world of NoSQL databases, with in-depth practical and conceptual ... Leer más

$29.99 USD

Data is getting bigger and more complex by the day, and so are your choices in handling it. Explore some of the most cutting-edge databases available - from a traditional relational database to newer NoSQL approaches - and make informed decisions about challenging data storage problems. This is the only comprehensive guide to the world of NoSQL databases, with in-depth practical and conceptual
... 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: