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

JavaScript Frameworks for Modern Web Development

The Essential Frameworks, Libraries, and Tools to Learn Right Now

de Sufyan bin Uzayr, Nicholas Cloud, Tim Ambler ...

Series series Professional and Applied Computing (R0)
Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an ... Leer más

$980 MXN

Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an
... 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

$920 MXN

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
Euro-Par 2018: Parallel Processing

24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Edición de Marco Aldinucci, Luca Padovani, Massimo Torquati ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018.The 57 full papers presented in this volume were carefully reviewed and selected from 194 submissions. They were organized in topical sections named: support tools and environments; performance and power modeling, prediction and ... Leer más

$920 MXN

This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018.The 57 full papers presented in this volume were carefully reviewed and selected from 194 submissions. They were organized in topical sections named: support tools and environments; performance and power modeling, prediction and
... Leer más
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Edición de Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... Leer más

$1,343 MXN

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... Leer más
Fundamentals of Software Engineering

7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Edición de Mehdi Dastani, Marjan Sirjani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to ... Leer más

$920 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to
... Leer más
Trends in Functional Programming

19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Edición de Michał Pałka, Magnus Myreen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 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

$1,012 MXN

This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 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
Graph Transformation

13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Edición de Fabio Gadducci, Timo Kehrer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and ... Leer más

$920 MXN

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and
... Leer más
It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Edición de Frank de Boer, Marcello Bonsangue, Jan Rutten ...

Series series Computer Science (R0)
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency ... Leer más

$920 MXN

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency
... Leer más
Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Edición de Ruzica Piskac, Philipp Rümmer ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, ... Leer más

$920 MXN

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification,
... Leer más
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

$920 MXN

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
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Edición de Erika Ábrahám, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... Leer más

$1,472 MXN

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and
... Leer más
Theory and Applications of Formal Argumentation

4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Edición de Elizabeth Black, Sanjay Modgil, Nir Oren ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The ... Leer más

$920 MXN

This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The
... Leer más
From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Edición de Maurice H. ter Beek, Alessandro Fantechi, Laura Semini ...

Series series Computer Science (R0)
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey ... Leer más

$920 MXN

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey
... Leer más
Fundamentals of Software Engineering

8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Edición de Hossein Hojjat, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially ... Leer más

$920 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially
... Leer más
Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Edición de Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.The symposium is dedicated to the promotion of research on theoretical and practical aspects of ... Leer más

$920 MXN

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.The symposium is dedicated to the promotion of research on theoretical and practical aspects of
... 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

$736 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
Fundamental Approaches to Software Engineering

19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Edición de Perdita Stevens, Andrzej Wąsowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They ... Leer más

$920 MXN

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They
... Leer más
Programming Languages and Systems

23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings

Edición de Alex Potanin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum ... Leer más

$1,343 MXN

This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum
... Leer más
Data Parallel C++

Programming Accelerated Systems Using C++ and SYCL

de James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian ...

Series series Professional and Applied Computing (R0)
"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm UniversityLearn how to accelerate C++ programs using data parallelism and SYCL.This open access book enables C++ programmers to be at the forefront of this exciting and important development that is helping to push ... Leer más

Gratis

"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm UniversityLearn how to accelerate C++ programs using data parallelism and SYCL.This open access book enables C++ programmers to be at the forefront of this exciting and important development that is helping to push
... Leer más
Tulkki – Romaani Auschwitzin oikeudenkäynneistä

de Annette Hess, Martti Ruokonen ...

Traducido por Pirkko Roinila ...

Miten löytää sanat pahuudelle?Ajatuksia herättävä lukuromaani Saksan historian synkimmän aikakauden varjosta.Frankfurt, 1963. Eva Bruhnsin asiat ovat hyvin. Vanhempien majatalo menestyy, töitä riittää puolan kielen tulkkina, ja poikaystävänkin pitäisi pian kosia. Mutta kun Eva päätyy tulkkaamaan todistajanlausuntoja sotaoikeudenkäynnissä, hän kuulee ensi kertaa sanan Auschwitz. Tulkki käsittelee ... Leer más

$308 MXN

Miten löytää sanat pahuudelle?Ajatuksia herättävä lukuromaani Saksan historian synkimmän aikakauden varjosta.Frankfurt, 1963. Eva Bruhnsin asiat ovat hyvin. Vanhempien majatalo menestyy, töitä riittää puolan kielen tulkkina, ja poikaystävänkin pitäisi pian kosia. Mutta kun Eva päätyy tulkkaamaan todistajanlausuntoja sotaoikeudenkäynnissä, hän kuulee ensi kertaa sanan Auschwitz. Tulkki käsittelee
... Leer más
AR & VR Development Mastery: Creating Immersive Experiences from Beginner to Expert

de Kameron Hussain, Frahaan Hussain ...

Unlock the full potential of Augmented Reality (AR) and Virtual Reality (VR) with this comprehensive, step-by-step guide designed for beginners and experienced developers alike. "AR & VR Development Mastery" takes you through the fundamentals of immersive technology, covering essential concepts, frameworks, and real-world applications that bring digital worlds to life.From understanding 3D ... Leer más

$172 MXN

Unlock the full potential of Augmented Reality (AR) and Virtual Reality (VR) with this comprehensive, step-by-step guide designed for beginners and experienced developers alike. "AR & VR Development Mastery" takes you through the fundamentals of immersive technology, covering essential concepts, frameworks, and real-world applications that bring digital worlds to life.From understanding 3D
... Leer más
Quick Python Guide

de Coder1 ...

Quick Python Guide by Coder1Unlock the world of programming with "Introduction to Python Programming," a comprehensive guide designed for beginners. This eBook covers the essentials of Python, from basic syntax to advanced topics, with clear explanations and practical examples. Learn how to write clean and efficient code, master data structures, and explore libraries like NumPy, Pandas, and ... Leer más

$155 MXN

Quick Python Guide by Coder1Unlock the world of programming with "Introduction to Python Programming," a comprehensive guide designed for beginners. This eBook covers the essentials of Python, from basic syntax to advanced topics, with clear explanations and practical examples. Learn how to write clean and efficient code, master data structures, and explore libraries like NumPy, Pandas, and
... Leer más
Trends in Functional Programming

18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Edición de Meng Wang, Scott Owens ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. ... Leer más

$736 MXN

This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.
... Leer más
Smart Card Application Development Using Java

de Martin S. Nicklous, Frank Seliger, Uwe Hansmann, Thomas Schäck, Achim Schneider ...

Series series Computer Science (R0)
In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords, ... Leer más

$1,656 MXN

In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords,
... 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

JavaScript Frameworks for Modern Web Development

Formal Methods – The Next 30 Years

Euro-Par 2018: Parallel Processing

Automated Reasoning

Fundamentals of Software Engineering

Trends in Functional Programming

Graph Transformation

It's All About Coordination

Verified Software. Theories, Tools, and Experiments

Software Engineering and Formal Methods

Integrated Formal Methods

Theory and Applications of Formal Argumentation

From Software Engineering to Formal Methods and Tools, and Back

Fundamentals of Software Engineering

Automated Technology for Verification and Analysis

Software Engineering for Resilient Systems

Fundamental Approaches to Software Engineering

Programming Languages and Systems

Data Parallel C++

Tulkki – Romaani Auschwitzin oikeudenkäynneistä

AR & VR Development Mastery: Creating Immersive Experiences from Beginner to Expert

Quick Python Guide

Trends in Functional Programming

Smart Card Application Development Using Java