Rakuten Kobo

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Edición de Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Leer más

Gratis

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Leer más
NASA Formal Methods

13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Edición de Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such ... Leer más

$1,541 MXN

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such
... Leer más
Shaping The Digital Future With Every Line Of Code

The Role Of Engineers In Tomorrow's Technology

de Omonzokpia George Okoidigun ...

In Shaping the Digital Future with Every Line of Code: The Role of Engineers in Tomorrow's Technology, readers are invited to explore the transformative power of engineering in the digital age. This book delves into the profound responsibility and influence engineers hold as they craft the technologies that define our world. From artificial intelligence and machine learning to renewable energy and ... Leer más

$164 MXN

In Shaping the Digital Future with Every Line of Code: The Role of Engineers in Tomorrow's Technology, readers are invited to explore the transformative power of engineering in the digital age. This book delves into the profound responsibility and influence engineers hold as they craft the technologies that define our world. From artificial intelligence and machine learning to renewable energy and
... Leer más
Mockito for Spring

de Sujoy Acharya ...

0 ... Leer más

$421 MXN o gratis con Kobo Plus

0
... Leer más
Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I

Edición de Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and ... Leer más

$1,178 MXN

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and
... Leer más
HashiCorp Infrastructure Automation Certification Guide

Pass the Terraform Associate exam and manage IaC to scale across AWS, Azure, and Google Cloud

de Ravi Mishra ...

Leverage Terraform\\'s capabilities to reuse code, write modules, automate deployments, and manage infrastructure stateKey FeaturesPerform complex enterprise-grade infrastructure deployments using Terraform v1.0, the latest version of TerraformLearn to scale your infrastructure without introducing added deployment complexitiesUnderstand how to overcome infrastructure deployment challengesBook ... Leer más

$753 MXN o gratis con Kobo Plus

Leverage Terraform\\'s capabilities to reuse code, write modules, automate deployments, and manage infrastructure stateKey FeaturesPerform complex enterprise-grade infrastructure deployments using Terraform v1.0, the latest version of TerraformLearn to scale your infrastructure without introducing added deployment complexitiesUnderstand how to overcome infrastructure deployment challengesBook
... Leer más
Smart Technologies, Systems and Applications

First International Conference, SmartTech-IC 2019, Quito, Ecuador, December 2-4, 2019, Proceedings

Edición de Fabián R. Narváez, Diego F. Vallejo, Paulina A. Morillo, Julio R. Proaño ...

Series series Springer Nature Proceedings Computer Science
This book constitutes refereed proceedings of the First International Conference on Smart Technologies, Systems and Applications, held in Quito, Ecuador, in December 2019.The 27 full papers and 3 short papers presented were carefully reviewed and selected from 90 submissions. The papers of this volume are organized in topical sections on smart technologies; smart systems; smart trends and ... Leer más

$906 MXN

This book constitutes refereed proceedings of the First International Conference on Smart Technologies, Systems and Applications, held in Quito, Ecuador, in December 2019.The 27 full papers and 3 short papers presented were carefully reviewed and selected from 90 submissions. The papers of this volume are organized in topical sections on smart technologies; smart systems; smart trends and
... Leer más
Mastering the Complex World of Software Management

Increasing Impact and Improving Performance for Software Managers

de David J. Asher ...

Series series Business and Management (R0)
You were a happy coder, then the opportunity came to lead a team. Unfamiliar assignments come without warning, team members need care and attention, and then the organization demands that you take on roles you hadn’t prepared for and work with people whom you have no idea what they do. It’s a struggle to keep up and often feels like thrashing rather than success.And yet, you are the lynchpin. ... Leer más

$1,017 MXN

You were a happy coder, then the opportunity came to lead a team. Unfamiliar assignments come without warning, team members need care and attention, and then the organization demands that you take on roles you hadn’t prepared for and work with people whom you have no idea what they do. It’s a struggle to keep up and often feels like thrashing rather than success.And yet, you are the lynchpin.
... Leer más
Humans Are Hard, Code Is Easy

de Tom Henricksen ...

Did you know that developers overlook a key career success skill?Is it some new technology?Sorry, it is much more basic than that.In this eBook, we share how you can create influence with your team and leaders.With a focus on these core soft skills you can change your career trajectory.CommunicationRelationshipsInfluenceWe cover these and more career guidance.From my popular speech that I have ... Leer más

$52 MXN

Did you know that developers overlook a key career success skill?Is it some new technology?Sorry, it is much more basic than that.In this eBook, we share how you can create influence with your team and leaders.With a focus on these core soft skills you can change your career trajectory.CommunicationRelationshipsInfluenceWe cover these and more career guidance.From my popular speech that I have
... Leer más
Advanced Information Systems Engineering

38th International Conference, CAiSE 2026, Verona, Italy, June 8–12, 2026, Proceedings, Part I

Edición de Lidia Fuentes, Pierluigi Plebani, Carlo Combi, Hajo Reijers ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 16558 + 16559 constitutes the proceedings of the 38th International Conference on Advanced Information Systems Engineering, CAiSE 2026, which took place in Verona, Italy, during June 2026.The 46 full papers included in the proceedings were carefully reviewed and selected from 331 submissions. The papers were organized in topical sections as follows:Part I: Enterprise ... Leer más

$1,632 MXN

The two-volume set LNCS 16558 + 16559 constitutes the proceedings of the 38th International Conference on Advanced Information Systems Engineering, CAiSE 2026, which took place in Verona, Italy, during June 2026.The 46 full papers included in the proceedings were carefully reviewed and selected from 331 submissions. The papers were organized in topical sections as follows:Part I: Enterprise
... Leer más
High-Performance Computing Applications in Numerical Simulation and Edge Computing

ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

Edición de Changjun Hu, Wen Yang, Congfeng Jiang, Dong Dai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the referred proceedings of two workshops held at the 32nd ACM International Conference on Supercomputing, ACM ICS 2018, in Beijing, China, in June 2018. This volume presents the papers that have been accepted for the following workshops: Second International Workshop on High Performance Computing for Advanced Modeling and Simulation in Nuclear Energy and Environmental ... Leer más

$906 MXN

This book constitutes the referred proceedings of two workshops held at the 32nd ACM International Conference on Supercomputing, ACM ICS 2018, in Beijing, China, in June 2018. This volume presents the papers that have been accepted for the following workshops: Second International Workshop on High Performance Computing for Advanced Modeling and Simulation in Nuclear Energy and Environmental
... Leer más
Tools and Methods of Program Analysis

6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

Edición de Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis ... Leer más

$1,178 MXN

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis
... Leer más
HTML And CSS Lab Companion

Vol 1

de hendra mulyanto ...

Series series HTML And CSS Lab Companion
This book for beginner who just learn HTML And CSS.This volume one book will focusing on how beginner can build their first website from scratch. Will be focusing more on how beginner can use suitable layout to build production ready website rather than compatibility view between browser and color matching. Beginner will be guide to understand why these tags and selector choosen in the context to ... Leer más

$380 MXN

This book for beginner who just learn HTML And CSS.This volume one book will focusing on how beginner can build their first website from scratch. Will be focusing more on how beginner can use suitable layout to build production ready website rather than compatibility view between browser and color matching. Beginner will be guide to understand why these tags and selector choosen in the context to
... Leer más
Das ultimative Buch über Point & Click-Adventures

de Joerg Burbach ...

Series series Computer Science and Engineering (German Language)
Point & Click-Adventures sind mehr als nostalgisches Rätseln – sie sind interaktive Erzählkunst.Dieses Buch beleuchtet das Genre aus gestalterischer, narrativer und medienkultureller Perspektive. Es verbindet persönliche Anekdoten mit fundierter Analyse, deckt Designprinzipien, historische Entwicklungen und aktuelle Remakes ab. Es zeigt so, wie Adventures Lernprozesse, Kreativität und ... Leer más

$483 MXN

Point & Click-Adventures sind mehr als nostalgisches Rätseln – sie sind interaktive Erzählkunst.Dieses Buch beleuchtet das Genre aus gestalterischer, narrativer und medienkultureller Perspektive. Es verbindet persönliche Anekdoten mit fundierter Analyse, deckt Designprinzipien, historische Entwicklungen und aktuelle Remakes ab. Es zeigt so, wie Adventures Lernprozesse, Kreativität und
... Leer más
Advances in Service-Oriented and Cloud Computing

Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

Edición de Zoltán Ádám Mann, Volker Stolz ...

Series series Springer Nature Proceedings Computer Science
This volume contains the technical papers presented in the workshops, which took place at the 6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, September 2017: First International Workshop on Business Process Management in the Cloud, BPM@Cloud 2017; Third International Workshop on Cloud Adoption and Migration, CloudWays 2017.The 9 full papers were ... Leer más

$906 MXN

This volume contains the technical papers presented in the workshops, which took place at the 6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, September 2017: First International Workshop on Business Process Management in the Cloud, BPM@Cloud 2017; Third International Workshop on Cloud Adoption and Migration, CloudWays 2017.The 9 full papers were
... Leer más
Emerging Networking Architecture and Technologies

First International Conference, ICENAT 2022, Shenzhen, China, November 15–17, 2022, Proceedings

Edición de Wei Quan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes refereed proceedings of the First International Conference on Emerging Networking Architecture and Technologies, ICENAT 2022, held in Shenzhen, China, in October 2022.The 50 papers presented were thoroughly reviewed and selected from the 106 submissions. The volume focuses on the latest achievements in the field of emerging network technologies, covering the topics of ... Leer más

$1,813 MXN

This book constitutes refereed proceedings of the First International Conference on Emerging Networking Architecture and Technologies, ICENAT 2022, held in Shenzhen, China, in October 2022.The 50 papers presented were thoroughly reviewed and selected from the 106 submissions. The volume focuses on the latest achievements in the field of emerging network technologies, covering the topics of
... Leer más
Interoperability and Open-Source Solutions for the Internet of Things

Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Edición de Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the second International Workshop on Interoperability and Open-Source Solutions for the Internet of Things, InterOSS-IoT 2016, held in Stuttgart, Germany, November 7, 2016.The 11 revised full papers presented were carefully reviewed and selected from 17 submissions during two rounds of reviewing. They are organized in ... Leer más

$906 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the second International Workshop on Interoperability and Open-Source Solutions for the Internet of Things, InterOSS-IoT 2016, held in Stuttgart, Germany, November 7, 2016.The 11 revised full papers presented were carefully reviewed and selected from 17 submissions during two rounds of reviewing. They are organized in
... Leer más
The Scrum Master's Journey: Navigating Agile Waters

de Kameron Hussain, Frahaan Hussain ...

In "The Scrum Master's Journey: Navigating Agile Waters," readers are invited on an enlightening voyage through the intricacies of Agile methodologies, with a spotlight on the pivotal role of the Scrum Master. This comprehensive guide is tailored for both new and seasoned Scrum Masters, offering a deep dive into the principles and practices that define Agile and Scrum's transformative power. ... Leer más

$173 MXN

In "The Scrum Master's Journey: Navigating Agile Waters," readers are invited on an enlightening voyage through the intricacies of Agile methodologies, with a spotlight on the pivotal role of the Scrum Master. This comprehensive guide is tailored for both new and seasoned Scrum Masters, offering a deep dive into the principles and practices that define Agile and Scrum's transformative power.
... Leer más
Programación orientada a objetos con C++ (5ª edición)

de Fco. Javier Ceballos ...

La programación orientada a objetos (POO) es una de las técnicas más modernas de desarrollo que trata de disminuir el coste del software, aumentando la eficiencia y reduciendo el tiempo de espera para la puesta en escena de una nueva aplicación. Por_x000D_ eso, donde la POO toma verdadera ventaja es en poder compartir y reutilizar el código._x000D_ Sin embargo, no debe pensarse que esta forma de ... Leer más

$529 MXN o gratis con Kobo Plus

La programación orientada a objetos (POO) es una de las técnicas más modernas de desarrollo que trata de disminuir el coste del software, aumentando la eficiencia y reduciendo el tiempo de espera para la puesta en escena de una nueva aplicación. Por_x000D_ eso, donde la POO toma verdadera ventaja es en poder compartir y reutilizar el código._x000D_ Sin embargo, no debe pensarse que esta forma de
... Leer más
Software Development Accelerated Essentials: What You Didn't Know, You Needed to Know

de Ed Gomez ...

This is not a book about the latest technology, nor is it a book about how to code verbatim.I discuss topics with the reader on a one to one basis, as if you and I were "pair programming." I provide clear, concise, real life scenarios. I don't mention the names of companies, nor do I use any of their actual code, due to copyright infringements. The case studies are based on real life scenarios ... Leer más

$692 MXN

This is not a book about the latest technology, nor is it a book about how to code verbatim.I discuss topics with the reader on a one to one basis, as if you and I were "pair programming." I provide clear, concise, real life scenarios. I don't mention the names of companies, nor do I use any of their actual code, due to copyright infringements. The case studies are based on real life scenarios
... Leer más
Fundamentals of Computation Theory

20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

Edición de Igor Walukiewicz, Adrian Kosowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdańsk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on ... Leer más

$906 MXN

This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdańsk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on
... Leer más
Unconventional Computation and Natural Computation

16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Edición de Matthew J. Patitz, Mike Stannett ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions.The UCNC series of international conferences is genuinely interdisciplinary and it covers theory as well as experiments ... Leer más

$906 MXN

This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions.The UCNC series of international conferences is genuinely interdisciplinary and it covers theory as well as experiments
... Leer más
Scientific Computing and Software

Go20 CSCS, Marsalforn, Malta, May 22-26, 2023

Edición de Raymond J. Spiteri, Joyce Reimer ...

Series series Springer Nature Proceedings excluding Computer Science
These proceedings present a curated collection of innovative approaches to tackling challenging problems in applied mathematics. These problems, often marked by instability, inaccuracy, and high computational cost, remain at the forefront of mathematical research due to their difficulty. Addressing this demand, the contributions in this volume offer robust numerical methods designed to improve the ... Leer más

$3,626 MXN

These proceedings present a curated collection of innovative approaches to tackling challenging problems in applied mathematics. These problems, often marked by instability, inaccuracy, and high computational cost, remain at the forefront of mathematical research due to their difficulty. Addressing this demand, the contributions in this volume offer robust numerical methods designed to improve the
... Leer más
Architecting Google Cloud Solutions

Learn to design robust and future-proof solutions with Google Cloud technologies

de Victor Dantas ...

Achieve your business goals and build highly available, scalable, and secure cloud infrastructure by designing robust and cost-effective solutions as a Google Cloud Architect.Key FeaturesGain hands-on experience in designing and managing high-performance cloud solutionsLeverage Google Cloud Platform to optimize technical and business processes using cutting-edge technologies and servicesUse Google ... Leer más

$753 MXN o gratis con Kobo Plus

Achieve your business goals and build highly available, scalable, and secure cloud infrastructure by designing robust and cost-effective solutions as a Google Cloud Architect.Key FeaturesGain hands-on experience in designing and managing high-performance cloud solutionsLeverage Google Cloud Platform to optimize technical and business processes using cutting-edge technologies and servicesUse Google
... Leer más

Kobo Rakuten

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

Formal Methods

NASA Formal Methods

Shaping The Digital Future With Every Line Of Code

Mockito for Spring

Verification, Model Checking, and Abstract Interpretation

HashiCorp Infrastructure Automation Certification Guide

Smart Technologies, Systems and Applications

Mastering the Complex World of Software Management

Humans Are Hard, Code Is Easy

Advanced Information Systems Engineering

High-Performance Computing Applications in Numerical Simulation and Edge Computing

Tools and Methods of Program Analysis

HTML And CSS Lab Companion

Das ultimative Buch über Point & Click-Adventures

Advances in Service-Oriented and Cloud Computing

Emerging Networking Architecture and Technologies

Interoperability and Open-Source Solutions for the Internet of Things

The Scrum Master's Journey: Navigating Agile Waters

Programación orientada a objetos con C++ (5ª edición)

Software Development Accelerated Essentials: What You Didn't Know, You Needed to Know

Fundamentals of Computation Theory

Unconventional Computation and Natural Computation

Scientific Computing and Software

Architecting Google Cloud Solutions