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

- Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  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
  
  Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  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

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

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

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

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

Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Edición de Steve Counsell, Manuel Núñez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis ... Leer más

$56,180 CLP

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis
... Leer más
MATLAB Recipes

A Problem-Solution Approach

de Michael Paluszek, Stephanie Thomas ...

Series series Professional and Applied Computing (R0)
Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. This is a practical reference for industry engineers using MATLAB to solve everyday problems. With MATLAB Recipes: A Problem-Solution Approach you will review contemporary MATLAB coding including the latest language features and use MATLAB as a software development environment ... Leer más

$66,160 CLP

Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. This is a practical reference for industry engineers using MATLAB to solve everyday problems. With MATLAB Recipes: A Problem-Solution Approach you will review contemporary MATLAB coding including the latest language features and use MATLAB as a software development environment
... Leer más
Web Development with Go

Building Scalable Web Apps and RESTful Services

de Shiju Varghese ...

Series series Professional and Applied Computing (R0)
Take a deep dive into web development using the Go programming language to build web apps and RESTful services to create reliable and efficient software. Web Development with Go provides Go language fundamentals and then moves on to advanced web development concepts and successful deployment of Go web apps to the cloud.Web Development with Go will teach you how to develop scalable real-world web ... Leer más

$59,855 CLP

Take a deep dive into web development using the Go programming language to build web apps and RESTful services to create reliable and efficient software. Web Development with Go provides Go language fundamentals and then moves on to advanced web development concepts and successful deployment of Go web apps to the cloud.Web Development with Go will teach you how to develop scalable real-world web
... Leer más
LLVM Essentials

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler

de Suyog Sarda, Mayur Pandey ...

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler Key Features\[\*\]Learn to use the LLVM libraries to emit intermediate representation (IR) from high-level language\[\*\]Build your own optimization pass for better code generation\[\*\]Understand AST generation and use it in a meaningful wayBook DescriptionLLVM is currently the point of interest for ... Leer más

$23,408 CLP o gratis con Kobo Plus

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler Key Features\[\*\]Learn to use the LLVM libraries to emit intermediate representation (IR) from high-level language\[\*\]Build your own optimization pass for better code generation\[\*\]Understand AST generation and use it in a meaningful wayBook DescriptionLLVM is currently the point of interest for
... Leer más
Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Edición de Jules Desharnais, Walter Guttmann, Stef Joosten ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the ... Leer más

$56,180 CLP

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the
... Leer más
Writing a C Compiler

Build a Real Programming Language from Scratch

de Nora Sandler ...

A fun, hands-on guide to writing your own compiler for a real-world programming language.Compilers are at the heart of everything programmers do, yet even experienced developers find them intimidating. For those eager to truly grasp how compilers work, Writing a C Compiler dispels the mystery. This book guides you through a fun and engaging project where you’ll learn what it takes to compile a ... Leer más

$43,207 CLP

A fun, hands-on guide to writing your own compiler for a real-world programming language.Compilers are at the heart of everything programmers do, yet even experienced developers find them intimidating. For those eager to truly grasp how compilers work, Writing a C Compiler dispels the mystery. This book guides you through a fun and engaging project where you’ll learn what it takes to compile a
... Leer más
Graph Transformation

15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings

Edición de Nicolas Behr, Daniel Strüber ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph ... Leer más

$61,799 CLP

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph
... Leer más
Essentials of Compilation

An Incremental Approach in Racket

de Jeremy G. Siek ...

A hands-on approach to understanding and building compilers.Compilers are notoriously some of the most difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows students to write every ... Leer más

$38,576 CLP

A hands-on approach to understanding and building compilers.Compilers are notoriously some of the most difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows students to write every
... Leer más
Numerical C

Applied Computational Programming with Case Studies

de Philip Joyce ...

Series series Professional and Applied Computing (R0)
Learn applied numerical computing using the C programming language, starting with a quick primer on the C programming language and its SDK. This book then dives into progressively more complex applied math formula for computational methods using C with examples throughout and a larger, more complete application towards the end.Numerical C starts with the quadratic formula for finding solutions to ... Leer más

$55,653 CLP

Learn applied numerical computing using the C programming language, starting with a quick primer on the C programming language and its SDK. This book then dives into progressively more complex applied math formula for computational methods using C with examples throughout and a larger, more complete application towards the end.Numerical C starts with the quadratic formula for finding solutions to
... Leer más
Java 9 Modularity Revealed

Project Jigsaw and Scalable Java Applications

de Alexandru Jecan ...

Series series Professional and Applied Computing (R0)
Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9. You will improve maintainability and performance of your Java applications by deploying only modules that are needed and encapsulating their implementation details.Until now Java has been monolithic. Using any one part of Java has meant incorporating the entirety of the runtime ... Leer más

$38,850 CLP

Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9. You will improve maintainability and performance of your Java applications by deploying only modules that are needed and encapsulating their implementation details.Until now Java has been monolithic. Using any one part of Java has meant incorporating the entirety of the runtime
... Leer más
Accelerator Programming Using Directives

6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

Edición de Sandra Wienke, Sridutt Bhalachandra ...

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

$56,180 CLP

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

From Novice to Professional

de Mansour Ayouni ...

Series series Professional and Applied Computing (R0)
Gain a gentle introduction to the world of Ring programming with clarity as a first concern using a lot of practical examples. The first part lays the foundations of the language and its basic features (data types, control structures, functions, and classes). The unique way to rigorously structure Ring programs is also explained.Then, in the second part you’ll discover Ring inputs, outputs, and ... Leer más

$70,362 CLP

Gain a gentle introduction to the world of Ring programming with clarity as a first concern using a lot of practical examples. The first part lays the foundations of the language and its basic features (data types, control structures, functions, and classes). The unique way to rigorously structure Ring programs is also explained.Then, in the second part you’ll discover Ring inputs, outputs, and
... Leer más
Graphical Models for Security

5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Edición de George Cybenko, David Pym, Barbara Fila ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for ... Leer más

$56,180 CLP

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for
... Leer más
Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Edición de Maurice H. ter Beek, Annabelle McIver, José N. Oliveira ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; ... Leer más

$56,180 CLP

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations;
... Leer más
Language Implementation Patterns

Create Your Own Domain-Specific and General Programming Languages

de Terence Parr ...

Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science--ANTLR creator Terence Parr demystifies language implementation by breaking it down into the most common design patterns. Pattern by pattern, you'll learn the key skills you need to implement your ... Leer más

$20,063 CLP

Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science--ANTLR creator Terence Parr demystifies language implementation by breaking it down into the most common design patterns. Pattern by pattern, you'll learn the key skills you need to implement your
... Leer más
Text Analytics with Python

A Practical Real-World Approach to Gaining Actionable Insights from your Data

de Dipanjan Sarkar ...

Series series Professional and Applied Computing (R0)
Derive useful insights from your data using Python. You will learn both basic and advanced concepts, including text and language syntax, structure, and semantics. You will focus on algorithms and techniques, such as text classification, clustering, topic modeling, and text summarization.Text Analytics with Python teaches you the techniques related to natural language processing and text analytics, ... Leer más

$49,358 CLP

Derive useful insights from your data using Python. You will learn both basic and advanced concepts, including text and language syntax, structure, and semantics. You will focus on algorithms and techniques, such as text classification, clustering, topic modeling, and text summarization.Text Analytics with Python teaches you the techniques related to natural language processing and text analytics,
... Leer más
Swift Game Programming for Absolute Beginners

de Arjan Egges ...

Series series Professional and Applied Computing (R0)
"Concepts of game programming are explained well, and no prior knowledge of Swift language programming is required. ... The images and audio provided are professional and clean." William Fahle, Computing Review, May 31, 2016Swift Game Programming for Absolute Beginners teaches Apple’s Swift language in the context of four, fun and colorful games. Learn the Swift 2.0 language, and learn to create ... Leer más

$49,358 CLP

"Concepts of game programming are explained well, and no prior knowledge of Swift language programming is required. ... The images and audio provided are professional and clean." William Fahle, Computing Review, May 31, 2016Swift Game Programming for Absolute Beginners teaches Apple’s Swift language in the context of four, fun and colorful games. Learn the Swift 2.0 language, and learn to create
... Leer más
Pro TypeScript

Application-Scale JavaScript Development

de Steve Fenton ...

Series series Professional and Applied Computing (R0)
Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New ... Leer más

$84,018 CLP

Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New
... Leer más
PySpark Recipes

A Problem-Solution Approach with PySpark2

de Raju Kumar Mishra ...

Series series Professional and Applied Computing (R0)
Quickly find solutions to common programming problems encountered while processing big data. Content is presented in the popular problem-solution format. Look up the programming problem that you want to solve. Read the solution. Apply the solution directly in your own code. Problem solved!PySpark Recipes covers Hadoop and its shortcomings. The architecture of Spark, PySpark, and RDD are presented. ... Leer más

$66,160 CLP

Quickly find solutions to common programming problems encountered while processing big data. Content is presented in the popular problem-solution format. Look up the programming problem that you want to solve. Read the solution. Apply the solution directly in your own code. Problem solved!PySpark Recipes covers Hadoop and its shortcomings. The architecture of Spark, PySpark, and RDD are presented.
... Leer más
Raspberry Pi Supercomputing and Scientific Programming

MPI4PY, NumPy, and SciPy for Enthusiasts

de Ashwin Pajankar ...

Series series Professional and Applied Computing (R0)
Build an inexpensive cluster of multiple Raspberry Pi computers and install all the required libraries to write parallel and scientific programs in Python 3. This book covers setting up your Raspberry Pis, installing the necessary software, and making a cluster of multiple Pis.Once the cluster is built, its power has to be exploited by means of programs to run on it. So, Raspberry Pi ... Leer más

$66,160 CLP

Build an inexpensive cluster of multiple Raspberry Pi computers and install all the required libraries to write parallel and scientific programs in Python 3. This book covers setting up your Raspberry Pis, installing the necessary software, and making a cluster of multiple Pis.Once the cluster is built, its power has to be exploited by means of programs to run on it. So, Raspberry Pi
... Leer más
PRICAI 2019: Trends in Artificial Intelligence

16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I

Edición de Abhaya C. Nayak, Alok Sharma ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics ... Leer más

$56,180 CLP

This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics
... Leer más
System Analysis and Modeling. Technology-Specific Aspects of Models

9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Edición de Steffen Herbold, Jens Grabowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... Leer más

$56,180 CLP

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of
... Leer más
Tools and Methods of Program Analysis

5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

Edición de Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, ... Leer más

$56,180 CLP

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation,
... Leer más
GROKKING ALGORITHM BLUEPRINT

Advanced Guide to Help You Excel Using Grokking Algorithms

de William Turner ...

Grokking Algorithms is a book that aims to help readers understand the fundamental concepts of computer science algorithms. It covers various algorithms and data structures, including searching, sorting, graph algorithms, dynamic programming, and more.The book presents the concepts clearly and concisely, with plenty of illustrations and examples to help readers grasp the ideas. It also includes ... Leer más

$5,348 CLP

Grokking Algorithms is a book that aims to help readers understand the fundamental concepts of computer science algorithms. It covers various algorithms and data structures, including searching, sorting, graph algorithms, dynamic programming, and more.The book presents the concepts clearly and concisely, with plenty of illustrations and examples to help readers grasp the ideas. It also includes
... 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

Software Engineering and Formal Methods

MATLAB Recipes

Web Development with Go

LLVM Essentials

Relational and Algebraic Methods in Computer Science

Writing a C Compiler

Graph Transformation

Essentials of Compilation

Numerical C

Java 9 Modularity Revealed

Accelerator Programming Using Directives

Beginning Ring Programming

Graphical Models for Security

Formal Methods – The Next 30 Years

Language Implementation Patterns

Text Analytics with Python

Swift Game Programming for Absolute Beginners

Pro TypeScript

PySpark Recipes

Raspberry Pi Supercomputing and Scientific Programming

PRICAI 2019: Trends in Artificial Intelligence

System Analysis and Modeling. Technology-Specific Aspects of Models

Tools and Methods of Program Analysis

GROKKING ALGORITHM BLUEPRINT