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

Mastery in Azure DevOps: Navigating the Future of Software Development

de Kameron Hussain, Frahaan Hussain ...

Dive into the transformative world of Azure DevOps and unlock the full potential of software development with "Mastery in Azure DevOps: Navigating the Future of Software Development." This comprehensive guide is designed for professionals and enthusiasts alike, offering deep insights into the practices that drive efficiency, innovation, and success in the digital age.With "Mastery in Azure DevOps, ... Leer más

$171 MXN

Dive into the transformative world of Azure DevOps and unlock the full potential of software development with "Mastery in Azure DevOps: Navigating the Future of Software Development." This comprehensive guide is designed for professionals and enthusiasts alike, offering deep insights into the practices that drive efficiency, innovation, and success in the digital age.With "Mastery in Azure DevOps,
... Leer más
Beginning iPhone Development with Swift 5

Exploring the iOS SDK

de Wallace Wang ...

Series series Professional and Applied Computing (R0)
Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders. In this edition of the best selling book, you’ll also learn about touch gestures, table views, and collection views for displaying data on a user interface.Assuming little or no working knowledge of the Swift programming language, and written in a ... Leer más

$799 MXN

Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders. In this edition of the best selling book, you’ll also learn about touch gestures, table views, and collection views for displaying data on a user interface.Assuming little or no working knowledge of the Swift programming language, and written in a
... Leer más
WebGL Wizardry: A Beginner's Guide to Interactive 3D Graphics

WebGL Wizadry

de Kameron Hussain, Frahaan Hussain ...

Series series WebGL Wizadry
Dive into the world of 3D graphics with "WebGL Wizardry: A Beginner's Guide to Interactive 3D Graphics." This comprehensive guide is your key to unlocking the potential of WebGL, the web-based graphics library that has revolutionized interactive 3D graphics on the web. Whether you're a budding programmer, an aspiring web developer, or a digital art enthusiast, this book is designed to take you on ... Leer más

$171 MXN

Dive into the world of 3D graphics with "WebGL Wizardry: A Beginner's Guide to Interactive 3D Graphics." This comprehensive guide is your key to unlocking the potential of WebGL, the web-based graphics library that has revolutionized interactive 3D graphics on the web. Whether you're a budding programmer, an aspiring web developer, or a digital art enthusiast, this book is designed to take you on
... Leer más
Concurrency, Security, and Puzzles

Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Edición de Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić ...

Series series Computer Science (R0)
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in ... Leer más

$909 MXN

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in
... 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

$909 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

$909 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
Static Analysis

26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Edición de Bor-Yuh Evan Chang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning;
... 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

$909 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
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

$909 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
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,327 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
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

$909 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
Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Edición de John P. Gallagher, Martin Sulzmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on ... Leer más

$909 MXN

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on
... 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

$909 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
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,000 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
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

$909 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
Formal Aspects of Component Software

14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Edición de José Proença, Markus Lumpe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software ... Leer más

$909 MXN

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software
... 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

$727 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
Euro-Par 2020: Parallel Processing Workshops

Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers

Edición de Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L. Scott, Didem Unat, Roman Wyrzykowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.Euro-Par is an ... Leer más

$909 MXN

This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.Euro-Par is an
... Leer más
Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Edición de Nicola Olivetti, Ashish Tiwari ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International ... Leer más

$1,454 MXN

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International
... Leer más
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

Edición de Pavel Shamis, Manjunath Gorentla Venkata, Neena Imam, M. Graham Lopez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug ... Leer más

$727 MXN

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug
... Leer más
Languages and Compilers for Parallel Computing

28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Edición de Xipeng Shen, Frank Mueller, James Tuck ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework, ... Leer más

$909 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework,
... Leer más
Fundamental Approaches to Software Engineering

20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Edición de Marieke Huisman, Julia Rubin ...

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

$909 MXN

This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized
... 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,327 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
Beginning MATLAB and Simulink

From Novice to Professional

de Sulaymon Eshkabilov ...

Series series Professional and Applied Computing (R0)
Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling essentials. You’ll become efficient with many of the built-in tools and ... Leer más

$629 MXN

Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling essentials. You’ll become efficient with many of the built-in tools and
... 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

Mastery in Azure DevOps: Navigating the Future of Software Development

Beginning iPhone Development with Swift 5

WebGL Wizardry: A Beginner's Guide to Interactive 3D Graphics

Concurrency, Security, and Puzzles

From Software Engineering to Formal Methods and Tools, and Back

Fundamentals of Software Engineering

Static Analysis

Automated Technology for Verification and Analysis

Graph Transformation

Automated Reasoning

It's All About Coordination

Functional and Logic Programming

Verified Software. Theories, Tools, and Experiments

Trends in Functional Programming

Fundamentals of Software Engineering

Formal Aspects of Component Software

Trends in Functional Programming

Euro-Par 2020: Parallel Processing Workshops

Automated Reasoning

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Languages and Compilers for Parallel Computing

Fundamental Approaches to Software Engineering

Programming Languages and Systems

Beginning MATLAB and Simulink