Rakuten Kobo

Spring Boot

Acelere o desenvolvimento de microsserviços

de Fernando Boaglio ...

Edição atualizada em 05/2024. Spring Boot é uma maneira eficiente e eficaz de criar uma aplicação em Spring, de facilmente colocá-la no ar e que funciona sem depender de um servidor de aplicação. Não se trata de um simples framework, mas de um conceito totalmente novo de criar aplicações web. Além de impulsionar o desenvolvimento para microsserviços, o Spring Boot, junto com a ... Leer más

$9.99 USD o gratis con Kobo Plus

Edição atualizada em 05/2024. Spring Boot é uma maneira eficiente e eficaz de criar uma aplicação em Spring, de facilmente colocá-la no ar e que funciona sem depender de um servidor de aplicação. Não se trata de um simples framework, mas de um conceito totalmente novo de criar aplicações web. Além de impulsionar o desenvolvimento para microsserviços, o Spring Boot, junto com a
... Leer más
DevOps

A Software Architect's Perspective

de Len Bass, Ingo Weber, Liming Zhu ...

Series series SEI Series in Software Engineering
The First Complete Guide to DevOps for Software ArchitectsDevOps promises to accelerate the release of new software features and improve monitoring of systems in production, but its crucial implications for software architects and architecture are often ignored.In DevOps: A Software Architect’s Perspective, three leading architects address these issues head-on. The authors review decisions ... Leer más

$34.19 USD

The First Complete Guide to DevOps for Software ArchitectsDevOps promises to accelerate the release of new software features and improve monitoring of systems in production, but its crucial implications for software architects and architecture are often ignored.In DevOps: A Software Architect’s Perspective, three leading architects address these issues head-on. The authors review decisions
... Leer más
The Python Quick Syntax Reference

de Gregory Walters ...

Series series Professional and Applied Computing (R0)
The Python Quick Syntax Reference is the "go to" book that contains an easy to read and use guide to Python programming and development. This condensed code and syntax reference presents the Python language in a well-organized format designed to be used time and again.You won't find jargon, bloated samples, case studies, or history of Hello World and computer theory in this handy reference. This ... Leer más

$49.49 USD

The Python Quick Syntax Reference is the "go to" book that contains an easy to read and use guide to Python programming and development. This condensed code and syntax reference presents the Python language in a well-organized format designed to be used time and again.You won't find jargon, bloated samples, case studies, or history of Hello World and computer theory in this handy reference. This
... Leer más
FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Edición de John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary
... Leer más
Softwarestabilität in der Industrie

de Joachim Arrasz, Jonathan Buch, Sebastian Heib, Sascha Rüssel ...

Series Libro 207 - shortcuts
Die geschriebene Software wurde veröffentlicht, endlich sind die Aufgaben abgeschlossen und man kann sich entspannt zurücklehnen - leider nicht ganz. Denn jetzt beginnen erst einige große Herausforderungen. Vor allem muss man dafür sorgen, dass die Software stabil bleibt und trotz zahlreicher notwendiger Anpassungen weiter das tut, was sie soll. Joachim Arrasz, Jonathan Buch, Sebastian Heib und ... Leer más

$2.99 USD o gratis con Kobo Plus

Die geschriebene Software wurde veröffentlicht, endlich sind die Aufgaben abgeschlossen und man kann sich entspannt zurücklehnen - leider nicht ganz. Denn jetzt beginnen erst einige große Herausforderungen. Vor allem muss man dafür sorgen, dass die Software stabil bleibt und trotz zahlreicher notwendiger Anpassungen weiter das tut, was sie soll. Joachim Arrasz, Jonathan Buch, Sebastian Heib und
... Leer más
Concurrency, Security, and Puzzles

Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Edición de Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić ...

Series series Computer Science (R0)
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in ... Leer más

$49.49 USD

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in
... Leer más
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Edición de Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... Leer más
Software Technologies

10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

Edición de Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; ... Leer más

$49.49 USD

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management;
... Leer más
Software Engineering and Formal Methods

20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings

Edición de Bernd-Holger Schlingloff, Ming Chai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis;
... Leer más
Software Engineering Fundamental

de Alind Saxena ...

Alind Saxena, M.S. Software System BITS, Pilani (Rajasthan.), M.A.(Eco.) Agra University, and PGDCS has over 40 years of experience in the field of computers. His journey started from unit record machines and IBM 1401 second generation computers, and reaches to present era. He learned, share and distributed the knowledge throughout the life. He always got challengeable roles in his career. He has ... Leer más

$1.99 USD

Alind Saxena, M.S. Software System BITS, Pilani (Rajasthan.), M.A.(Eco.) Agra University, and PGDCS has over 40 years of experience in the field of computers. His journey started from unit record machines and IBM 1401 second generation computers, and reaches to present era. He learned, share and distributed the knowledge throughout the life. He always got challengeable roles in his career. He has
... Leer más
Smart and Sustainable Collaborative Networks 4.0

22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings

Edición de Luis M. Camarinha-Matos, Xavier Boucher, Hamideh Afsarmanesh ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, held in Saint-Étienne, and virtually in November 2021.The 70 papers (15 full and 55 short) presented with 5 industrial workshop papers were carefully reviewed and selected from 189 submissions. They provide a comprehensive overview of major challenges and recent advances ... Leer más

$215.09 USD

This book constitutes the refereed proceedings of the 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, held in Saint-Étienne, and virtually in November 2021.The 70 papers (15 full and 55 short) presented with 5 industrial workshop papers were carefully reviewed and selected from 189 submissions. They provide a comprehensive overview of major challenges and recent advances
... Leer más
Cross-Cultural Design. Interaction Design Across Cultures

14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I

Edición de Pei-Luen Patrick Rau ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; ... Leer más

$89.09 USD

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design;
... Leer más
Theoretical Aspects of Software Engineering

17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

Edición de Cristina David, Meng Sun ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real ... Leer más

$76.49 USD

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real
... Leer más
Mastering Angular Reactive Forms

Build Solid Expertise in Reactive Forms using Form Control, Form Group, Form Array, Validators, Testing and more with Angular 12 Through Real-World Use Cases (English Edition)

de Fanis Prodromou ...

Mastering Angular Reactive Forms provides all the needed tools to develop an Angular application using Reactive Forms. You will gain knowledge that will help you develop any form, regardless of its size and complexity.You will learn about the basic building blocks of Angular Reactive Forms, apply a binding in all HTML form elements using Form Control, Form Group, or Form Array, and apply simple or ... Leer más

$14.39 USD o gratis con Kobo Plus

Mastering Angular Reactive Forms provides all the needed tools to develop an Angular application using Reactive Forms. You will gain knowledge that will help you develop any form, regardless of its size and complexity.You will learn about the basic building blocks of Angular Reactive Forms, apply a binding in all HTML form elements using Form Control, Form Group, or Form Array, and apply simple or
... Leer más
Research Challenges in Information Science

16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings

Edición de Renata Guizzardi, Jolita Ralyté, Xavier Franch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Research Challenges in Information Sciences, RCIS 2022, which took place in Barcelona, Spain, during May 17–20, 2022. It focused on the special theme "Ethics and Trustworthiness in Information Science".The scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented ... Leer más

$89.09 USD

This book constitutes the proceedings of the 16th International Conference on Research Challenges in Information Sciences, RCIS 2022, which took place in Barcelona, Spain, during May 17–20, 2022. It focused on the special theme "Ethics and Trustworthiness in Information Science".The scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented
... Leer más
HashiCorp Packer in Production

Efficiently manage sets of images for your digital transformation or cloud adoption journey

de John Boero ...

Set up automated workflows to keep systems and applications consistent globally, regardless of architecture, cloud, or container runtime Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesAutomate building and modifying complex software images across multiple OSs and container enginesMinimize cost by keeping your systems ready across multiple architectures, including ARM and ... Leer más

$34.19 USD o gratis con Kobo Plus

Set up automated workflows to keep systems and applications consistent globally, regardless of architecture, cloud, or container runtime Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesAutomate building and modifying complex software images across multiple OSs and container enginesMinimize cost by keeping your systems ready across multiple architectures, including ARM and
... Leer más
Learning Azure Functions

Build scalable cloud systems with serverless architecture

de Mitesh Soni, Manisha Yadav ...

Embracing the cloud—a Serverless architecture to solve problems at scaleKey FeaturesLearn to develop, manage, deploy, and monitor Azure functions in any language.Make the most out of Azure functions to build scalable systems.A step-by-step guide that will help you eliminate the pain points of implementing a serverless architecture.Book DescriptionFunctions help you easily run small pieces of code ... Leer más

$34.19 USD o gratis con Kobo Plus

Embracing the cloud—a Serverless architecture to solve problems at scaleKey FeaturesLearn to develop, manage, deploy, and monitor Azure functions in any language.Make the most out of Azure functions to build scalable systems.A step-by-step guide that will help you eliminate the pain points of implementing a serverless architecture.Book DescriptionFunctions help you easily run small pieces of code
... Leer más
Docker Management Design Patterns

Swarm Mode on Amazon Web Services

de Deepak Vohra ...

Series series Professional and Applied Computing (R0)
Master every aspect of orchestrating/managing Docker including creating a Swarm, creating services, using mounts, scheduling, scaling, resource management, rolling updates, load balancing, high availability, logging and monitoring, using multiple zones, and networking. This book also discusses the managed services for Docker Swarm: Docker for AWS and Docker Cloud Swarm mode.Docker Management ... Leer más

$40.49 USD

Master every aspect of orchestrating/managing Docker including creating a Swarm, creating services, using mounts, scheduling, scaling, resource management, rolling updates, load balancing, high availability, logging and monitoring, using multiple zones, and networking. This book also discusses the managed services for Docker Swarm: Docker for AWS and Docker Cloud Swarm mode.Docker Management
... Leer más
Spring 5 Recipes

A Problem-Solution Approach

de Daniel Rubio, Marten Deinum, Josh Long ...

Series series Professional and Applied Computing (R0)
Solve all your Spring 5 problems using complete and real-world code examples. When you start a new project, you’ll be able to copy the code and configuration files from this book, and then modify them for your needs. This can save you a great deal of work over creating a project from scratch.The recipes in Spring 5 Recipes cover Spring fundamentals such as Spring IoC container, Spring AOP/ AspectJ ... Leer más

$44.99 USD

Solve all your Spring 5 problems using complete and real-world code examples. When you start a new project, you’ll be able to copy the code and configuration files from this book, and then modify them for your needs. This can save you a great deal of work over creating a project from scratch.The recipes in Spring 5 Recipes cover Spring fundamentals such as Spring IoC container, Spring AOP/ AspectJ
... Leer más
Progress in Cryptology – AFRICACRYPT 2019

11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

Edición de Johannes Buchmann, Abderrahmane Nitaj, Tajjeeddine Rachidi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2019, held in Rabat, Morocco, in July 2019.The 22 papers presented in this book were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on protocols; post-quantum cryptography; zero ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2019, held in Rabat, Morocco, in July 2019.The 22 papers presented in this book were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on protocols; post-quantum cryptography; zero
... Leer más
Technology and Innovation in Learning, Teaching and Education

First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers

Edición de Meni Tsitouridou, José A. Diniz, Tassos A. Mikropoulos ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018, held in Thessaloniki, Greece, on June 20-22, 2018. The 30 revised full papers along with 18 short papers presented were carefully reviewed and selected from 80 submissions.The papers are organized in topical ... Leer más

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018, held in Thessaloniki, Greece, on June 20-22, 2018. The 30 revised full papers along with 18 short papers presented were carefully reviewed and selected from 80 submissions.The papers are organized in topical
... Leer más
Transactions on Petri Nets and Other Models of Concurrency XIV

Edición de Maciej Koutny, Lucia Pomello, Lars Michael Kristensen ...

Series series Computer Science (R0)
The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.The 10 papers cover a diverse range of topics including model ... Leer más

$49.49 USD

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.The 10 papers cover a diverse range of topics including model
... Leer más
Dynamic Web Programming and HTML5

de Paul S. Wang ...

With organizations and individuals increasingly dependent on the Web, the need for competent, well-trained Web developers and maintainers is growing. Helping readers master Web development, Dynamic Web Programming and HTML5 covers specific Web programming languages, APIs, and coding techniques and provides an in-depth understanding of the underlyin ... Leer más

Antes $132.99 USD Ahora $118.99 USD

With organizations and individuals increasingly dependent on the Web, the need for competent, well-trained Web developers and maintainers is growing. Helping readers master Web development, Dynamic Web Programming and HTML5 covers specific Web programming languages, APIs, and coding techniques and provides an in-depth understanding of the underlyin
... Leer más
Succeeding with AI

How to make AI work for your business

de Veljko Krunic ...

SummaryCompanies small and large are initiating AI projects, investing vast sums of money on software, developers, and data scientists. Too often, these AI projects focus on technology at the expense of actionable or tangible business results, resulting in scattershot results and wasted investment. Succeeding with AI sets out a blueprint for AI projects to ensure they are predictable, successful, ... Leer más

$49.99 USD

SummaryCompanies small and large are initiating AI projects, investing vast sums of money on software, developers, and data scientists. Too often, these AI projects focus on technology at the expense of actionable or tangible business results, resulting in scattershot results and wasted investment. Succeeding with AI sets out a blueprint for AI projects to ensure they are predictable, successful,
... 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: