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

Rediscovering Redis: Mastering Data Management

de Kameron Hussain, Frahaan Hussain ...

"Rediscovering Redis: Mastering Data Management" is an essential guide for developers, data engineers, and IT professionals looking to deepen their understanding of Redis, the high-performance in-memory database platform. This comprehensive resource delves into the core principles of Redis, from basic data structures to advanced features like clustering and persistence, offering readers a thorough ... Leer más

$171 MXN

"Rediscovering Redis: Mastering Data Management" is an essential guide for developers, data engineers, and IT professionals looking to deepen their understanding of Redis, the high-performance in-memory database platform. This comprehensive resource delves into the core principles of Redis, from basic data structures to advanced features like clustering and persistence, offering readers a thorough
... Leer más
Mastering WebGL: Crafting Advanced 3D Web Experiences

WebGL Wizadry

de Kameron Hussain, Frahaan Hussain ...

Series series WebGL Wizadry
"Mastering WebGL: Crafting Advanced 3D Web Experiences" is an indispensable resource for any web developer or graphic designer looking to elevate their skill set in the realm of advanced 3D web graphics. WebGL, the web-based graphics library, has revolutionized how we experience graphics on the web, and this book serves as your comprehensive guide to mastering its potential.Starting with a brief ... Leer más

$171 MXN

"Mastering WebGL: Crafting Advanced 3D Web Experiences" is an indispensable resource for any web developer or graphic designer looking to elevate their skill set in the realm of advanced 3D web graphics. WebGL, the web-based graphics library, has revolutionized how we experience graphics on the web, and this book serves as your comprehensive guide to mastering its potential.Starting with a brief
... Leer más
Beginning C

From Beginner to Pro

de German Gonzalez-Morris, Ivor Horton ...

Series series Professional and Applied Computing (R0)
Learn how to program using C, beginning from first principles and progressing through step-by-step examples. This seventh edition is fully updated to reflect new features of C23, and addresses deprecated functions and features that are no longer supported.You’ll discover that C is a foundation language that every programmer ought to know. Beginning C is written by renowned author Ivor Horton and ... Leer más

$1,138 MXN

Learn how to program using C, beginning from first principles and progressing through step-by-step examples. This seventh edition is fully updated to reflect new features of C23, and addresses deprecated functions and features that are no longer supported.You’ll discover that C is a foundation language that every programmer ought to know. Beginning C is written by renowned author Ivor Horton and
... Leer más
Java Design Patterns

A Hands-On Experience with Real-World Examples

de Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Get hands-on experience implementing 26 of the most common design patterns using Java and Eclipse. In addition to Gang of Four (GoF) design patterns, you will also learn about alternative design patterns, and understand the criticisms of design patterns with an overview of anti-patterns. For each pattern you will see at least one real-world scenario, a computer-world example, and a complete ... Leer más

$968 MXN

Get hands-on experience implementing 26 of the most common design patterns using Java and Eclipse. In addition to Gang of Four (GoF) design patterns, you will also learn about alternative design patterns, and understand the criticisms of design patterns with an overview of anti-patterns. For each pattern you will see at least one real-world scenario, a computer-world example, and a complete
... Leer más
Make Your Own Python Text Adventure

A Guide to Learning Programming

de Phillip Johnson ...

Series series Professional and Applied Computing (R0)
Learn programming with Python by creating a text adventure. This book will teach you the fundamentals of programming, how to organize code, and some coding best practices. By the end of the book, you will have a working game that you can play or show off to friends. You will also be able to change the game and make it your own by writing a different story line, including new items, creating new ... Leer más

$629 MXN

Learn programming with Python by creating a text adventure. This book will teach you the fundamentals of programming, how to organize code, and some coding best practices. By the end of the book, you will have a working game that you can play or show off to friends. You will also be able to change the game and make it your own by writing a different story line, including new items, creating new
... Leer más
Java for Absolute Beginners

Learn to Program the Fundamentals the Java 9+ Way

de Iuliana Cosmina ...

Series series Professional and Applied Computing (R0)
Write your first code in Java using simple, step-by-step examples that model real-word objects and events, making learning easy. With this book you’ll be able to pick up the concepts without fuss. Java for Absolute Beginners teaches Java development in language anyone can understand, giving you the best possible start. You’ll see clear code descriptions and layout so that you can get your code ... Leer más

$679 MXN

Write your first code in Java using simple, step-by-step examples that model real-word objects and events, making learning easy. With this book you’ll be able to pick up the concepts without fuss. Java for Absolute Beginners teaches Java development in language anyone can understand, giving you the best possible start. You’ll see clear code descriptions and layout so that you can get your code
... Leer más
MATLAB Deep Learning

With Machine Learning, Neural Networks and Artificial Intelligence

de Phil Kim ...

Series series Professional and Applied Computing (R0)
Get started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep learning, and then convolutional neural networks. In a blend of fundamentals and applications, MATLAB Deep Learning employs MATLAB as the underlying programming language and tool for the examples and case studies in this book ... Leer más

$1,070 MXN

Get started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep learning, and then convolutional neural networks. In a blend of fundamentals and applications, MATLAB Deep Learning employs MATLAB as the underlying programming language and tool for the examples and case studies in this book
... Leer más
Java 9 Revealed

For Early Adoption and Migration

de Kishori Sharan ...

Series series Professional and Applied Computing (R0)
Explore the new Java 9 modules, SDK, JDK, JVM, JShell and more in this comprehensive book that covers what’s new in Java 9 and how to use these new features. Java 9 Revealed is for experienced Java programmers looking to migrate to Java 9. Author Kishori Sharan begins by covering how to develop Java applications using the new module system introduced in Java 9 and how to use the JShell tool in ... Leer más

$673 MXN

Explore the new Java 9 modules, SDK, JDK, JVM, JShell and more in this comprehensive book that covers what’s new in Java 9 and how to use these new features. Java 9 Revealed is for experienced Java programmers looking to migrate to Java 9. Author Kishori Sharan begins by covering how to develop Java applications using the new module system introduced in Java 9 and how to use the JShell tool in
... Leer más
SFML Essentials: Getting Started with Game Development

SFML Fundamentals

de Kameron Hussain, Frahaan Hussain ...

Series series SFML Fundamentals
"SFML Essentials: Getting Started with Game Development" is your gateway to the exciting world of game development using the Simple and Fast Multimedia Library (SFML) in C++. Whether you're a novice programmer or an experienced developer looking to explore game development, this book offers a comprehensive introduction to SFML, a cross-platform open-source framework renowned for its simplicity and ... Leer más

$171 MXN

"SFML Essentials: Getting Started with Game Development" is your gateway to the exciting world of game development using the Simple and Fast Multimedia Library (SFML) in C++. Whether you're a novice programmer or an experienced developer looking to explore game development, this book offers a comprehensive introduction to SFML, a cross-platform open-source framework renowned for its simplicity and
... Leer más
Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Edición de Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, ... Leer más

$909 MXN

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,
... Leer más
New Opportunities for Software Reuse

17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Edición de Rafael Capilla, Barbara Gallina, Carlos Cetina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: variability management; hierarchies and reuse measures; dependencies and ... Leer más

$2,000 MXN

This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: variability management; hierarchies and reuse measures; dependencies and
... Leer más
Service-Oriented Computing – ICSOC 2017 Workshops

ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Edición de Lars Braubach, Juan M. Murillo, Nima Kaviani, Manuel Lama, Loli Burgueño, Naouel Moha, Marc Oriol ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Málaga, Spain, in November 2017.The ICSOC 2017 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2017: The Second ... Leer más

$909 MXN

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Málaga, Spain, in November 2017.The ICSOC 2017 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2017: The Second
... Leer más
Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Edición de Vlad Rusu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, ... Leer más

$909 MXN

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency,
... Leer más
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Edición de Louis-Martin Rousseau, Kostas Stergiou ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from ... Leer más

$909 MXN

This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from
... Leer más
Programming and Performance Visualization Tools

International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Edición de Abhinav Bhatele, David Boehme, Joshua A. Levine, Allen D. Malony, Martin Schulz ...

Series series Springer Nature Proceedings Computer Science
This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International ... Leer más

$1,036 MXN

This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International
... Leer más
Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Edición de Kim Guldstrand Larsen, Tim Willemse ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), ... Leer más

$909 MXN

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University),
... Leer más
PRICAI 2019: Trends in Artificial Intelligence

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

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

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

$909 MXN

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

20th International Conference, FOSSACS 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 Javier Esparza, Andrzej S. Murawski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 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 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They ... Leer más

$909 MXN

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 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 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They
... Leer más
Blender Unleashed: Mastering the Art of 3D Creation

de Kameron Hussain, Frahaan Hussain ...

"Blender Unleashed: Mastering the Art of 3D Creation" is an essential guide for aspiring and professional digital artists seeking to elevate their skills in 3D modeling and animation. This comprehensive resource unlocks the full potential of Blender, the renowned open-source 3D software, guiding readers through its rich features and capabilities.From the basics of navigating Blender's user ... Leer más

$171 MXN

"Blender Unleashed: Mastering the Art of 3D Creation" is an essential guide for aspiring and professional digital artists seeking to elevate their skills in 3D modeling and animation. This comprehensive resource unlocks the full potential of Blender, the renowned open-source 3D software, guiding readers through its rich features and capabilities.From the basics of navigating Blender's user
... Leer más
Data Science Mastery: From Beginner to Expert in Big Data Analytics

de Kameron Hussain, Frahaan Hussain ...

Unlock the secrets of data science with Data Science Mastery: From Beginner to Expert in Big Data Analytics**! This comprehensive guide takes you on a transformative journey, whether you're a complete novice or an experienced professional looking to sharpen your skills. Learn how to harness the power of data to make informed decisions, create predictive models, and drive innovation in any field.* ... Leer más

$171 MXN

Unlock the secrets of data science with Data Science Mastery: From Beginner to Expert in Big Data Analytics**! This comprehensive guide takes you on a transformative journey, whether you're a complete novice or an experienced professional looking to sharpen your skills. Learn how to harness the power of data to make informed decisions, create predictive models, and drive innovation in any field.*
... Leer más
Information Security

16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

Edición de Yvo Desmedt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and ... Leer más

$909 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and
... Leer más
Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Edición de Ralf Hinze ...

Series series Springer Nature Proceedings Computer Science
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate ... Leer más

$818 MXN

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate
... Leer más
Advanced Parallel Processing Technologies

11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

Edición de Yunji Chen, Paolo Ienne, Qing Ji ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms ... Leer más

$727 MXN

This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms
... Leer más
Runtime Verification

17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Edición de Shuvendu Lahiri, Giles Reger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions.The RV conference is concerned with all aspects of ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions.The RV conference is concerned with all aspects of
... 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

Rediscovering Redis: Mastering Data Management

Mastering WebGL: Crafting Advanced 3D Web Experiences

Beginning C

Java Design Patterns

Make Your Own Python Text Adventure

Java for Absolute Beginners

MATLAB Deep Learning

Java 9 Revealed

SFML Essentials: Getting Started with Game Development

Logic for Programming, Artificial Intelligence, and Reasoning

New Opportunities for Software Reuse

Service-Oriented Computing – ICSOC 2017 Workshops

Rewriting Logic and Its Applications

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Programming and Performance Visualization Tools

Formal Methods for Industrial Critical Systems

PRICAI 2019: Trends in Artificial Intelligence

Foundations of Software Science and Computation Structures

Blender Unleashed: Mastering the Art of 3D Creation

Data Science Mastery: From Beginner to Expert in Big Data Analytics

Information Security

Implementation and Application of Functional Languages

Advanced Parallel Processing Technologies

Runtime Verification