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

Introduction to Concurrency in Programming Languages

de Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen ...

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book ... Leer más

$1,578 MXN

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book
... Leer más
Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Edición de Cliff Jones, Ji Wang, Naijun Zhan ...

Series series Computer Science (R0)
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic ... Leer más

$909 MXN

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic
... Leer más
Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Edición de Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of ... Leer más

$1,636 MXN

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of
... Leer más
OpenMP: Portable Multi-Level Parallelism on Modern Systems

16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings

Edición de Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies; ... Leer más

$1,363 MXN

This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies;
... Leer más
Object-Oriented Technology

de Suad Alagić ...

Series series Computer Science (R0)
The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.The approach in ... Leer más

$727 MXN

The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.The approach in
... Leer más
Scaling OpenMP for Exascale Performance and Portability

13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Edición de Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; ... Leer más

$909 MXN

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking;
... Leer más
Grundkurs Compilerbau

de Uwe Meyer ...

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen« ... Leer más

$544 MXN

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen«
... Leer más
String Algorithms in C

Efficient Text Representation and Search

de Thomas Mailund ...

Series series Professional and Applied Computing (R0)
Implement practical data structures and algorithms for text search and discover how it is used inside other larger applications. This unique in-depth guide explains string algorithms using the C programming language. String Algorithms in C teaches you the following algorithms and how to use them: classical exact search algorithms; tries and compact tries; suffix trees and arrays; approximative ... Leer más

$1,138 MXN

Implement practical data structures and algorithms for text search and discover how it is used inside other larger applications. This unique in-depth guide explains string algorithms using the C programming language. String Algorithms in C teaches you the following algorithms and how to use them: classical exact search algorithms; tries and compact tries; suffix trees and arrays; approximative
... Leer más
Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

Edición de Yi Li, Sofiène Tahar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference ... Leer más

$1,182 MXN

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference
... Leer más
Software Engineering for Resilient Systems

7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Edición de Alessandro Fantechi, Patrizio Pelliccione ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and ... Leer más

$727 MXN

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and
... Leer más
Grundlagen der Computergrafik

Eine Einführung mit OpenGL und Java

de Karsten Lehn, Merijam Gotzes, Frank Klawonn ...

Series series Computer Science and Engineering (German Language)
Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen, Bildern und Animationen bis hin zu interaktiven, virtuellen Realitäten (Virtual Reality). Die Umsetzung von Anwendungen hierfür profitiert von einem soliden Verständnis der entsprechenden Grundlagen. Das vorliegende Buch vermittelt genau das – verständlich, praktisch und nachvollziehbar. Für die vierte Auflage ... Leer más

$595 MXN

Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen, Bildern und Animationen bis hin zu interaktiven, virtuellen Realitäten (Virtual Reality). Die Umsetzung von Anwendungen hierfür profitiert von einem soliden Verständnis der entsprechenden Grundlagen. Das vorliegende Buch vermittelt genau das – verständlich, praktisch und nachvollziehbar. Für die vierte Auflage
... Leer más
Practical C++20 Financial Programming

Problem Solving for Quantitative Finance, Financial Engineering, Business, and Economics

de Carlos Oliveira ...

Series series Professional and Applied Computing (R0)
Apply C++ to programming problems in the financial industry using this hands-on book, updated for C++20. It explains those aspects of the language that are more frequently used in writing financial software, including the Standard Template Library (STL), templates, and various numerical libraries. Practical C++20 Financial Programming also describes many of the important problems in financial ... Leer más

$968 MXN

Apply C++ to programming problems in the financial industry using this hands-on book, updated for C++20. It explains those aspects of the language that are more frequently used in writing financial software, including the Standard Template Library (STL), templates, and various numerical libraries. Practical C++20 Financial Programming also describes many of the important problems in financial
... Leer más
Python Unit Test Automation

Automate, Organize, and Execute Unit Tests in Python

de Ashwin Pajankar ...

Series series Professional and Applied Computing (R0)
Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging.This new edition starts with an ... Leer más

$968 MXN

Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging.This new edition starts with an
... Leer más
Numerical Computations with GPUs

Edición de Volodymyr Kindratenko ...

Series series Computer Science (R0)
This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering ... Leer más

$2,545 MXN

This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering
... Leer más
The Python Workbook

A Brief Introduction with Exercises and Solutions

de Ben Stephenson ...

Series series Computer Science (R0)
While other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice. Designed to support and encourage hands-on learning about programming, this student-friendly work contains 174 exercises, spanning a variety of ... Leer más

$818 MXN

While other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice. Designed to support and encourage hands-on learning about programming, this student-friendly work contains 174 exercises, spanning a variety of
... Leer más
Python lernen in abgeschlossenen Lerneinheiten

Programmieren für Einsteiger mit vielen Beispielen

de Sebastian Dörn ...

Series series Computer Science and Engineering (German Language)
Ein leicht verständliches Buch, um einfach und schnell Python zu lernenSebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lerneinheiten die Grundlagen von und das Programmieren mit Python bei. Zum Inhalt des Buchs gehören folgende Kapitel:Erste Schritte in PythonVariablen, Ausdrücke und OperatorenBedingte AuswahlanweisungenIterationen ... Leer más

$448 MXN

Ein leicht verständliches Buch, um einfach und schnell Python zu lernenSebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lerneinheiten die Grundlagen von und das Programmieren mit Python bei. Zum Inhalt des Buchs gehören folgende Kapitel:Erste Schritte in PythonVariablen, Ausdrücke und OperatorenBedingte AuswahlanweisungenIterationen
... Leer más
Java in Two Semesters

Featuring JavaFX

de Quentin Charatan, Aaron Kans ...

Series series Computer Science (R0)
This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part supports a one-semester module, the first part addressing fundamental programming concepts, and the second part building on this foundation, teaching the skills required to develop more advanced applications.This fully ... Leer más

$1,273 MXN

This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part supports a one-semester module, the first part addressing fundamental programming concepts, and the second part building on this foundation, teaching the skills required to develop more advanced applications.This fully
... Leer más
COMPUTER MASTER

C++ / C Programming lessons

de Gilbert Kofi Grunitzky ...

C++ / C Programming lessons! This C / C++ lesson, has been designed to help the beginners learn the C / C++ programming language quickly. Most of the basic concepts of C / C++ programming like variables, data types, expressions, conditionals, repetitions structures, switch, functions, arrays, pointers, string handling, file handling and structures are explained in simple language. This C / C++ ... Leer más

$328 MXN

C++ / C Programming lessons! This C / C++ lesson, has been designed to help the beginners learn the C / C++ programming language quickly. Most of the basic concepts of C / C++ programming like variables, data types, expressions, conditionals, repetitions structures, switch, functions, arrays, pointers, string handling, file handling and structures are explained in simple language. This C / C++
... Leer más
Learn Pixi.js

de Rex van der Spuy ...

Create and display interactive graphics, build scenes and animated transitions, make cross-platform, responsive games and applications for multiple screen resolutions, and use Pixi.js’s spectacular WebGL rendering effects. Learn how to create applications for desktop and touch-screen devices, and how to use the best open-source plugins to extend Pixi.js’s capabilities in a myriad of exciting ways ... Leer más

$1,171 MXN

Create and display interactive graphics, build scenes and animated transitions, make cross-platform, responsive games and applications for multiple screen resolutions, and use Pixi.js’s spectacular WebGL rendering effects. Learn how to create applications for desktop and touch-screen devices, and how to use the best open-source plugins to extend Pixi.js’s capabilities in a myriad of exciting ways
... Leer más
Discover Angular

de Ashlan Chidester ...

What you can expect from this book:1-way data binding in Angular refers to the process of passing data from the component's TypeScript code to the component's template (HTML). This allows the component to control the data that is displayed in the view.In 1-way data binding, changes made in the component's TypeScript code will be reflected in the template, but changes made in the template will not ... Leer más

$797 MXN

What you can expect from this book:1-way data binding in Angular refers to the process of passing data from the component's TypeScript code to the component's template (HTML). This allows the component to control the data that is displayed in the view.In 1-way data binding, changes made in the component's TypeScript code will be reflected in the template, but changes made in the template will not
... Leer más
Guia prático de TypeScript

Melhore suas aplicações JavaScript

de Thiago da Silva Adriano ...

Desenvolvido e mantido pela Microsoft, o TypeScript é um pré-processador open source de códigos JavaScript que auxilia na escrita de códigos, desde os mais simples até os mais complexos, utilizando tipagem de dados e os princípios da Orientação a Objetos para o desenvolvimento de aplicações front-end, back-end e mobile. Neste livro, Thiago da Silva Adriano abordará conceitos básicos do TypeScript, ... Leer más

$179 MXN o gratis con Kobo Plus

Desenvolvido e mantido pela Microsoft, o TypeScript é um pré-processador open source de códigos JavaScript que auxilia na escrita de códigos, desde os mais simples até os mais complexos, utilizando tipagem de dados e os princípios da Orientação a Objetos para o desenvolvimento de aplicações front-end, back-end e mobile. Neste livro, Thiago da Silva Adriano abordará conceitos básicos do TypeScript,
... Leer más
Getting Started with Visual Studio 2022

Learning and Implementing New Features

de Dirk Strauss ...

Series series Professional and Applied Computing (R0)
Learn how to use the features of Visual Studio 2022 and utilize the IDE correctly to make it your one-stop solution for creating quality code. Learn what's new in VS 2022 and explore the existing features of Visual Studio so you can become a more efficient programmer.This revised edition covers the latest features of Visual Studio 2022 and how to use them. The book includes new topics likeSubword ... Leer más

$1,038 MXN

Learn how to use the features of Visual Studio 2022 and utilize the IDE correctly to make it your one-stop solution for creating quality code. Learn what's new in VS 2022 and explore the existing features of Visual Studio so you can become a more efficient programmer.This revised edition covers the latest features of Visual Studio 2022 and how to use them. The book includes new topics likeSubword
... Leer más
Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Edición de Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium. ... Leer más

$1,363 MXN

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
... Leer más
OpenMP: Heterogenous Execution and Data Movements

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Edición de Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy. ... Leer más

$854 MXN

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
... 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

Introduction to Concurrency in Programming Languages

Symposium on Real-Time and Hybrid Systems

Logic and Argumentation

OpenMP: Portable Multi-Level Parallelism on Modern Systems

Object-Oriented Technology

Scaling OpenMP for Exascale Performance and Portability

Grundkurs Compilerbau

String Algorithms in C

Formal Methods and Software Engineering

Software Engineering for Resilient Systems

Grundlagen der Computergrafik

Practical C++20 Financial Programming

Python Unit Test Automation

Numerical Computations with GPUs

The Python Workbook

Python lernen in abgeschlossenen Lerneinheiten

Java in Two Semesters

COMPUTER MASTER

Learn Pixi.js

Discover Angular

Guia prático de TypeScript

Getting Started with Visual Studio 2022

Rigorous State-Based Methods

OpenMP: Heterogenous Execution and Data Movements