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

Euro-Par 2016: Parallel Processing

22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Edición de Pierre-François Dutot, Denis Trystram ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and
... Leer más
Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Edición de Thierry Lecomte, Leila Ribeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
... Leer más
Smart Card Research and Advanced Applications

15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

Edición de Kerstin Lemke-Rust, Michael Tunstall ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development, ... Leer más

$909 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development,
... Leer más
Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Edición de Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...

Series series Computer Science (R0)
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... Leer más

$909 MXN

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and
... 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

$1,000 MXN

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
A List of Successes That Can Change the World

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Edición de Sam Lindley, Conor McBride, Phil Trinder, Don Sannella ...

Series series Computer Science (R0)
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute ... Leer más

$909 MXN

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute
... Leer más
Software Engineering for Resilient Systems

8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Edición de Ivica Crnkovic, Elena Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems;
... Leer más
Lua Unleashed: Revolutionizing Game Design and Development

de Kameron Hussain, Frahaan Hussain ...

Lua Unleashed: Revolutionizing Game Design and Development is an essential guide for both aspiring and seasoned game developers. This comprehensive book dives deep into the world of Lua, a powerful and versatile programming language, and its application in game design and development.Through its pages, readers will embark on a journey exploring the fundamentals of Lua programming. The book ... Leer más

$171 MXN

Lua Unleashed: Revolutionizing Game Design and Development is an essential guide for both aspiring and seasoned game developers. This comprehensive book dives deep into the world of Lua, a powerful and versatile programming language, and its application in game design and development.Through its pages, readers will embark on a journey exploring the fundamentals of Lua programming. The book
... Leer más
Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis

de Kameron Hussain, Frahaan Hussain ...

Dive into the world of MATLAB with "Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis," a definitive guide designed for both beginners and experienced users. This book serves as an invaluable resource for engineers, scientists, and anyone interested in harnessing the power of MATLAB for numerical computation, data analysis, and algorithm development.Starting with the basics, ... Leer más

$171 MXN

Dive into the world of MATLAB with "Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis," a definitive guide designed for both beginners and experienced users. This book serves as an invaluable resource for engineers, scientists, and anyone interested in harnessing the power of MATLAB for numerical computation, data analysis, and algorithm development.Starting with the basics,
... Leer más
Exploring C++ 11

de Ray Lischner ...

Series series Professional and Applied Computing (R0)
Exploring C++ divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Assuming no familiarity with C++, or any other C-based language, you’ll be taught everything you need to know in a logical progression of small lessons that you can work through as quickly or as slowly as you need.C++ can be a complicated language. Writing even the most straight-forward of ... Leer más

$1,070 MXN

Exploring C++ divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Assuming no familiarity with C++, or any other C-based language, you’ll be taught everything you need to know in a logical progression of small lessons that you can work through as quickly or as slowly as you need.C++ can be a complicated language. Writing even the most straight-forward of
... Leer más
Programming with Actors

State-of-the-Art and Research Perspectives

Edición de Alessandro Ricci, Philipp Haller ...

Series series Computer Science (R0)
The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing ... Leer más

$909 MXN

The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing
... Leer más
Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Edición de Shiva Nejati, Gregory Gay ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of
... Leer más
Trends in Functional Programming

20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers

Edición de William J. Bowman, Ronald Garcia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a ... Leer más

$909 MXN

This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a
... Leer más
Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Edición de Alessandro Abate, Gilles Geeraerts ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of
... Leer más
Formal Aspects of Component Software

11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Edición de Ivan Lanese, Eric Madelaine ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... Leer más

$909 MXN

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and
... Leer más
Mastering Vulkan: From Fundamentals to Expert Techniques

de Kameron Hussain, Frahaan Hussain ...

Unlock the full potential of Vulkan, the next-generation graphics API designed to deliver unmatched performance and control for modern graphics programming. Mastering Vulkan: From Fundamentals to Expert Techniques is the ultimate guide for developers at all levels, offering a comprehensive roadmap from basic concepts to advanced implementations. Whether you're a beginner seeking to grasp the core ... Leer más

$171 MXN

Unlock the full potential of Vulkan, the next-generation graphics API designed to deliver unmatched performance and control for modern graphics programming. Mastering Vulkan: From Fundamentals to Expert Techniques is the ultimate guide for developers at all levels, offering a comprehensive roadmap from basic concepts to advanced implementations. Whether you're a beginner seeking to grasp the core
... Leer más
Beginning C++17

From Novice to Professional

de Ivor Horton, Peter Van Weert ...

Series series Professional and Applied Computing (R0)
Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with ... Leer más

$968 MXN

Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with
... Leer más
Android Recipes

A Problem-Solution Approach for Android 5.0

de Dave Smith ...

Series series Professional and Applied Computing (R0)
Android Recipes, Fourth Edition offers more than 100 down-to-earth code recipes, and guides you step-by-step through a wide range of useful topics using complete and real-world working code examples. This book is updated to include the Android 5.0 SDK, as well as earlier releases.Instead of abstract descriptions of complex concepts, in Android Recipes, you'll find live code examples. When you ... Leer más

$673 MXN

Android Recipes, Fourth Edition offers more than 100 down-to-earth code recipes, and guides you step-by-step through a wide range of useful topics using complete and real-world working code examples. This book is updated to include the Android 5.0 SDK, as well as earlier releases.Instead of abstract descriptions of complex concepts, in Android Recipes, you'll find live code examples. When you
... Leer más
Usability

Gaining a Competitive Edge

Edición de Judy Hammond, Tom Gross, Janet Wesson ...

Series series Computer Science (R0)
Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government and education, as well as a topic of research. Today, we can safely say that, in many parts of the world, information technology and communications is or is becoming a central force in revolutionising the way that we all ... Leer más

$1,636 MXN

Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government and education, as well as a topic of research. Today, we can safely say that, in many parts of the world, information technology and communications is or is becoming a central force in revolutionising the way that we all
... Leer más
Advanced SDL Game Engineering: Expert Techniques for Professional Developers

de Kameron Hussain, Frahaan Hussain ...

"Advanced SDL Game Engineering: Expert Techniques for Professional Developers" is an essential guide for seasoned game developers and engineers looking to master the complexities of game development using Simple DirectMedia Layer (SDL). This comprehensive resource delves deep into advanced techniques and strategies that are crucial for creating professional-grade games.With a focus on the ... Leer más

$171 MXN

"Advanced SDL Game Engineering: Expert Techniques for Professional Developers" is an essential guide for seasoned game developers and engineers looking to master the complexities of game development using Simple DirectMedia Layer (SDL). This comprehensive resource delves deep into advanced techniques and strategies that are crucial for creating professional-grade games.With a focus on the
... Leer más
JavaFX 9 by Example

de Carl Dea, Gerrit Grunwald, José Pereda, Sean Phillips, Mark Heckler ...

Create media-rich client applications using JavaFX 9 and the Java 9 platform. Learn to create GUI-based applications for mobile devices, desktop PCs, and even the web. Incorporate media such as audio and video into your applications. Interface with hardware devices such as Arduino and Leap Motion. Respond to gesture control through devices such as the Leap Motion Controller. Take advantage of the ... Leer más

$1,245 MXN

Create media-rich client applications using JavaFX 9 and the Java 9 platform. Learn to create GUI-based applications for mobile devices, desktop PCs, and even the web. Incorporate media such as audio and video into your applications. Interface with hardware devices such as Arduino and Leap Motion. Respond to gesture control through devices such as the Leap Motion Controller. Take advantage of the
... Leer más
Python Game Programming For Kids - 20 Playful and Kid Friendly Games Codes

de Anthony Joseph ...

"Python Game Programming For Kids - 20 Playful and Kid Friendly Games Codes" is an essential eBook for anyone interested in developing their game programming skills using Python and Pygame. Spanning twenty chapters, each focused on different aspects of game development, this guide takes the reader from basic game concepts to the advanced integration of external libraries and artificial ... Leer más

$400 MXN

"Python Game Programming For Kids - 20 Playful and Kid Friendly Games Codes" is an essential eBook for anyone interested in developing their game programming skills using Python and Pygame. Spanning twenty chapters, each focused on different aspects of game development, this guide takes the reader from basic game concepts to the advanced integration of external libraries and artificial
... Leer más
Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Edición de Manuel V. Hermenegildo, José F. Morales ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, ... Leer más

$1,549 MXN

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding,
... Leer más
Diagrammatic Representation and Inference

14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings

Edición de Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee, Richard Burns ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024.The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: ... Leer más

$1,258 MXN

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024.The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows:
... 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

Euro-Par 2016: Parallel Processing

Formal Methods: Foundations and Applications

Smart Card Research and Advanced Applications

Models, Algorithms, Logics and Tools

Graph Transformation

A List of Successes That Can Change the World

Software Engineering for Resilient Systems

Lua Unleashed: Revolutionizing Game Design and Development

Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis

Exploring C++ 11

Programming with Actors

Search-Based Software Engineering

Trends in Functional Programming

Formal Modeling and Analysis of Timed Systems

Formal Aspects of Component Software

Mastering Vulkan: From Fundamentals to Expert Techniques

Beginning C++17

Android Recipes

Usability

Advanced SDL Game Engineering: Expert Techniques for Professional Developers

JavaFX 9 by Example

Python Game Programming For Kids - 20 Playful and Kid Friendly Games Codes

Static Analysis

Diagrammatic Representation and Inference