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

Beginning C++20

From Novice to Professional

de Ivor Horton, Peter Van Weert ...

Series series Professional and Applied Computing (R0)
Begin your programming journey with C++ , starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++20 standard such as modules, concepts, ranges, and the spaceship operator. All you need are Beginning C++20 and any recent C++ compiler and you'll soon be writing real C++ programs. There ... Leer más

$1,138 MXN

Begin your programming journey with C++ , starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++20 standard such as modules, concepts, ranges, and the spaceship operator. All you need are Beginning C++20 and any recent C++ compiler and you'll soon be writing real C++ programs. There
... Leer más
Advanced R 4 Data Programming and the Cloud

Using PostgreSQL, AWS, and Shiny

de Matt Wiley, Joshua F. Wiley ...

Series series Professional and Applied Computing (R0)
Program for data analysis using R and learn practical skills to make your work more efficient. This revised book explores how to automate running code and the creation of reports to share your results, as well as writing functions and packages. It includes key R 4 features such as a new color palette for charts, an enhanced reference counting system, and normalization of matrix and array types ... Leer más

$1,138 MXN

Program for data analysis using R and learn practical skills to make your work more efficient. This revised book explores how to automate running code and the creation of reports to share your results, as well as writing functions and packages. It includes key R 4 features such as a new color palette for charts, an enhanced reference counting system, and normalization of matrix and array types
... Leer más
Learn Microservices with Spring Boot

A Practical Approach to RESTful Services Using an Event-Driven Architecture, Cloud-Native Patterns, and Containerization

de Moisés Macero García ...

Series series Professional and Applied Computing (R0)
Build Java-based microservices architecture using the Spring Boot framework by evolving an application from a small monolith to an event-driven architecture composed of several services. This revised book follows an incremental approach in teaching the structure of microservices, test-driven development, and common patterns in distributed systems such as service discovery, load balancing, routing, ... Leer más

$1,070 MXN

Build Java-based microservices architecture using the Spring Boot framework by evolving an application from a small monolith to an event-driven architecture composed of several services. This revised book follows an incremental approach in teaching the structure of microservices, test-driven development, and common patterns in distributed systems such as service discovery, load balancing, routing,
... Leer más
Delphi Quick Syntax Reference

A Pocket Guide to the Delphi and Object Pascal Language

de John Kouraklis ...

Series series Professional and Applied Computing (R0)
The Delphi Quick Syntax Reference is a succinct code and syntax reference guide to Delphi. It presents the fundamental knowledge to get newcomers started with the language and provides a refresher to seasoned or returning Delphi developers.It covers all the new features added by Embarcadero during the last few years. Delphi celebrates 25 years in 2020 and, alongside the free community version that ... Leer más

$799 MXN

The Delphi Quick Syntax Reference is a succinct code and syntax reference guide to Delphi. It presents the fundamental knowledge to get newcomers started with the language and provides a refresher to seasoned or returning Delphi developers.It covers all the new features added by Embarcadero during the last few years. Delphi celebrates 25 years in 2020 and, alongside the free community version that
... Leer más
Beginning Ruby 3

From Beginner to Pro

de Carleton DiLeo, Peter Cooper ...

Series series Professional and Applied Computing (R0)
Learn the principles behind object-oriented programming in Ruby and within a few chapters create a fully functional Ruby 3-based application. You'll gain a basic understanding of many ancillary technologies such as databases, XML, web frameworks, and networking - some of which will be needed for your first Ruby application. Based on the bestselling first and second editions, Beginning Ruby 3, 4th ... Leer más

$1,070 MXN

Learn the principles behind object-oriented programming in Ruby and within a few chapters create a fully functional Ruby 3-based application. You'll gain a basic understanding of many ancillary technologies such as databases, XML, web frameworks, and networking - some of which will be needed for your first Ruby application. Based on the bestselling first and second editions, Beginning Ruby 3, 4th
... Leer más
Pro Cryptography and Cryptanalysis with C++20

Creating and Programming Advanced Algorithms

de Marius Iulian Mihailescu, Stefania Loredana Nita ...

Series series Professional and Applied Computing (R0)
Develop strong skills and a passion for writing cryptography algorithms and security schemes/modules using C++ 20 and its new features. You will find the right methods of writing advanced cryptographic algorithms (such as, elliptic curve cryptography algorithms, lattice-based cryptography, searchable encryption, and homomorphic encryption), examine internal cryptographic mechanisms, and discover ... Leer más

$900 MXN

Develop strong skills and a passion for writing cryptography algorithms and security schemes/modules using C++ 20 and its new features. You will find the right methods of writing advanced cryptographic algorithms (such as, elliptic curve cryptography algorithms, lattice-based cryptography, searchable encryption, and homomorphic encryption), examine internal cryptographic mechanisms, and discover
... Leer más
Design Patterns in Modern C++20

Reusable Approaches for Object-Oriented Software Design

de Dmitri Nesteruk ...

Series series Professional and Applied Computing (R0)
Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of ... Leer más

$799 MXN

Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of
... Leer más
DevOps in Python

Infrastructure as Python

de Moshe Zadka ...

Series series Professional and Applied Computing (R0)
Take advantage of Python to automate complex systems with readable code. This new edition will help you move from operations/system administration into easy-to-learn coding.You'll start by writing command-line scripts and automating simple DevOps-style tasks followed by creating reliable and fast unit tests designed to avoid incidents caused by buggy automation. You’ll then move on to more ... Leer más

$1,070 MXN

Take advantage of Python to automate complex systems with readable code. This new edition will help you move from operations/system administration into easy-to-learn coding.You'll start by writing command-line scripts and automating simple DevOps-style tasks followed by creating reliable and fast unit tests designed to avoid incidents caused by buggy automation. You’ll then move on to more
... Leer más
Trends in Functional Programming

22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers

Edición de Viktória Zsók, John Hughes ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, ... Leer más

$727 MXN

This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling,
... Leer más
Chatbot Research and Design

5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23–24, 2021, Revised Selected Papers

Edición de Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and Design, CONVERSATIONS 2021, which was held during November 2021.Due to COVID-19 pandemic the conference was held online.The 12 papers included in this volume were carefully reviewed and selected from a total of 25 submissions. The papers in the proceedings are structured in four topical groups: Chatbot ... Leer más

$1,182 MXN

This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and Design, CONVERSATIONS 2021, which was held during November 2021.Due to COVID-19 pandemic the conference was held online.The 12 papers included in this volume were carefully reviewed and selected from a total of 25 submissions. The papers in the proceedings are structured in four topical groups: Chatbot
... Leer más
AIxIA 2022 – Advances in Artificial Intelligence

XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings

Edición de Agostino Dovier, Angelo Montanari, Andrea Orlandini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were ... Leer más

$1,182 MXN

This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were
... Leer más
Practical Aspects of Declarative Languages

25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Edición de Michael Hanus, Daniela Inclezan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic ... Leer más

$1,363 MXN

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic
... Leer más
Programming Languages and Systems

21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings

Edición de Chung-Kil Hur ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type ... Leer más

$1,091 MXN

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type
... Leer más
Accelerator Programming Using Directives

4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Edición de Sunita Chandrasekaran, Guido Juckeland ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Leer más

$727 MXN

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Leer más
Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Edición de Alberto Lluch Lafuente, José Proença ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover ... Leer más

$909 MXN

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover
... Leer más
Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Edición de Bernd Finkbeiner, Geguang Pu, Lijun Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, ... Leer más

$909 MXN

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis,
... Leer más
On the Move to Meaningful Internet Systems. OTM 2017 Workshops

Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

Edición de Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), ... Leer más

$909 MXN

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS),
... Leer más
Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Edición de Cyrille Artho, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal
... Leer más
Program Proofs

de K. Rustan M. Leino ...

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. ... Leer más

$864 MXN

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs.
... Leer más
Computational Science and Its Applications – ICCSA 2017

17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Edición de Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea ...

Series Libro 5 - Springer Nature Proceedings Computer Science
The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017.The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 ... Leer más

$909 MXN

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017.The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43
... Leer más
Design Patterns mit Java

Eine Einführung

de Olaf Musch ...

Series series Computer Science and Engineering (German Language)
Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch genannt „Gang of Four“, kurz GoF, also „Viererbande“) Erwähnung finden.Alle Muster werden anhand von Beispielen detailliert erläutert und auch kritisch gewürdigt. Darüber hinaus werden ... Leer más

$673 MXN

Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch genannt „Gang of Four“, kurz GoF, also „Viererbande“) Erwähnung finden.Alle Muster werden anhand von Beispielen detailliert erläutert und auch kritisch gewürdigt. Darüber hinaus werden
... Leer más
Programming Languages and Operational Semantics

A Concise Overview

de Maribel Fernández ...

Series series Computer Science (R0)
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for ... Leer más

$727 MXN

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for
... Leer más
Diseño de Compiladores

de Knowledge Flow ...

Series series Serie de Programación y Ciencias de la Computación
El libro Compiler Design de Knowledge Flow es una guía completa que cubre los conceptos fundamentales y avanzados de la construcción de compiladores. Este libro es ideal para estudiantes, ingenieros de software y entusiastas de la informática que desean comprender el análisis léxico, el análisis sintáctico, el análisis semántico, la generación de código intermedio, la optimización y las técnicas ... Leer más

$68 MXN o gratis con Kobo Plus

El libro Compiler Design de Knowledge Flow es una guía completa que cubre los conceptos fundamentales y avanzados de la construcción de compiladores. Este libro es ideal para estudiantes, ingenieros de software y entusiastas de la informática que desean comprender el análisis léxico, el análisis sintáctico, el análisis semántico, la generación de código intermedio, la optimización y las técnicas
... Leer más
A Concise Introduction to Languages and Machines

de Alan P. Parkes ...

Series series Computer Science (R0)
A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... Leer más

$510 MXN

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear
... 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 Compiladores

Beginning C++20

Advanced R 4 Data Programming and the Cloud

Learn Microservices with Spring Boot

Delphi Quick Syntax Reference

Beginning Ruby 3

Pro Cryptography and Cryptanalysis with C++20

Design Patterns in Modern C++20

DevOps in Python

Trends in Functional Programming

Chatbot Research and Design

AIxIA 2022 – Advances in Artificial Intelligence

Practical Aspects of Declarative Languages

Programming Languages and Systems

Accelerator Programming Using Directives

Coordination Models and Languages

Automated Technology for Verification and Analysis

On the Move to Meaningful Internet Systems. OTM 2017 Workshops

Formal Techniques for Safety-Critical Systems

Program Proofs

Computational Science and Its Applications – ICCSA 2017

Design Patterns mit Java

Programming Languages and Operational Semantics

Diseño de Compiladores

A Concise Introduction to Languages and Machines