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

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Edición de Einar Broch Johnsen, Ina Schaefer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; ... Leer más

$54,314 CLP

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification;
... Leer más
Distributed Virtual Worlds

Foundations and Implementation Techniques Using VRML, Java, and CORBA

de Stephan Diehl ...

Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet ... Leer más

$54,314 CLP

Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet
... Leer más
Programming Languages and Systems

28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edición de Luís Caires ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. ... Leer más

Gratis

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
... Leer más
Exploring C++20

The Programmer's Introduction to C++

de Ray Lischner ...

Series series Professional and Applied Computing (R0)
Discover everything you need to know about C++ in a logical progression of small lessons that you can work through as quickly or as slowly as you need. This book divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Fully updated to include C++20, it assumes no familiarity with C++ or any other C-based language.Exploring C++20acknowledges that C++ can be a ... Leer más

$86,299 CLP

Discover everything you need to know about C++ in a logical progression of small lessons that you can work through as quickly or as slowly as you need. This book divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Fully updated to include C++20, it assumes no familiarity with C++ or any other C-based language.Exploring C++20acknowledges that C++ can be a
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Leer más

$54,314 CLP

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Leer más
Getting Started with Advanced C#

Upgrade Your Programming Skills

de Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Understand and work with the most important features of advanced C# in different programming environments. This book teaches you the fundamental features of advanced C# and how to incorporate them in different programming techniques using Visual Studio 2019.The book is divided into two parts. Part I covers the fundamentals and essentials of advanced programming in C#. You will be introduced to ... Leer más

$81,226 CLP

Understand and work with the most important features of advanced C# in different programming environments. This book teaches you the fundamental features of advanced C# and how to incorporate them in different programming techniques using Visual Studio 2019.The book is divided into two parts. Part I covers the fundamentals and essentials of advanced programming in C#. You will be introduced to
... Leer más
Python lernen in abgeschlossenen Lerneinheiten

Programmieren für Einsteiger mit vielen Beispielen

de Sebastian Dörn ...

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

$26,790 CLP

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

de Kameron Hussain, Frahaan Hussain ...

Blockchain technology is revolutionizing industries, and mastering decentralized application (dApp) development is key to staying ahead in the digital economy. Blockchain Mastery: Building Decentralized Applications from Beginner to Expert is a comprehensive guide that takes you from the fundamentals of blockchain to the advanced techniques required for building powerful, secure, and scalable ... Leer más

$8,529 CLP

Blockchain technology is revolutionizing industries, and mastering decentralized application (dApp) development is key to staying ahead in the digital economy. Blockchain Mastery: Building Decentralized Applications from Beginner to Expert is a comprehensive guide that takes you from the fundamentals of blockchain to the advanced techniques required for building powerful, secure, and scalable
... Leer más
Rewriting Logic and Its Applications

11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Edición de Dorel Lucanu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers ... Leer más

$54,314 CLP

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers
... Leer más
Low Level X Window Programming

An Introduction by Examples

de Ross J. Maloney ...

Series Libro 10 - Computer Science (R0)
This is the missing X Window book. While others have shown what the X Window system has available, this book shows how to convert this potential into working tools to fulfil your visualisation needs. It is of the show-me class of books.The majority of the book covers Xlib, although a short coverage of Xcb is also given. Included are:. The relationship between Xlib and the X Window protocol;. All ... Leer más

$76,043 CLP

This is the missing X Window book. While others have shown what the X Window system has available, this book shows how to convert this potential into working tools to fulfil your visualisation needs. It is of the show-me class of books.The majority of the book covers Xlib, although a short coverage of Xcb is also given. Included are:. The relationship between Xlib and the X Window protocol;. All
... Leer más
Beginning Rust

Get Started with Rust 2021 Edition

de Carlo Milanesi ...

Series series Professional and Applied Computing (R0)
Learn to program with Rust 2021 Edition, in an easy, step-by-step manner on Unix, the Linux shell, macOS, and the Windows command line. As you read this book, you’ll build on the knowledge you gained in previous chapters and see what Rust has to offer.Beginning Rust starts with the basics of Rust, including how to name objects, control execution flow, and handle primitive types. You’ll see how to ... Leer más

$63,961 CLP

Learn to program with Rust 2021 Edition, in an easy, step-by-step manner on Unix, the Linux shell, macOS, and the Windows command line. As you read this book, you’ll build on the knowledge you gained in previous chapters and see what Rust has to offer.Beginning Rust starts with the basics of Rust, including how to name objects, control execution flow, and handle primitive types. You’ll see how to
... Leer más
Ethereum Smart Contract Development in Solidity

de Gavin Zheng, Longxiang Gao, Liqun Huang, Jian Guan ...

Series series Computer Science (R0)
The general consensus is that BlockChain is the next disruptive technology, and Ethereum is the flagship product of BlockChain 2.0. However, coding and implementing business logic in a decentralized and transparent environment is fundamentally different from traditional programming and is emerging as a major challenge for developers.This book introduces readers to the Solidity language from ... Leer más

$81,476 CLP

The general consensus is that BlockChain is the next disruptive technology, and Ethereum is the flagship product of BlockChain 2.0. However, coding and implementing business logic in a decentralized and transparent environment is fundamentally different from traditional programming and is emerging as a major challenge for developers.This book introduces readers to the Solidity language from
... Leer más
Introducción al Machine Learning con MATLAB

de Erik Cuevas Jiménez ...

El Machine Learning representa una herramienta importante para la exploración y la extracción de conocimiento. Su principal objetivo es construir modelos que permitan describir posibles patrones estructurales en la información a partir de los datos, con el objetivo de tomar decisiones o hacer predicciones. En la última década, el número de usuarios de Machine Learning ha crecido de forma ... Leer más

$14,500 CLP o gratis con Kobo Plus

El Machine Learning representa una herramienta importante para la exploración y la extracción de conocimiento. Su principal objetivo es construir modelos que permitan describir posibles patrones estructurales en la información a partir de los datos, con el objetivo de tomar decisiones o hacer predicciones. En la última década, el número de usuarios de Machine Learning ha crecido de forma
... Leer más
Memory Management for Synthesis of DSP Software

de Praveen K. Murthy, Shuvra S. Bhattacharyya ...

Although programming in memory-restricted environments is never easy, this holds especially true for digital signal processing (DSP). The data-rich, computation-intensive nature of DSP makes memory management a chief and challenging concern for designers. Memory Management for Synthesis of DSP Software focuses on minimizing memory requirements during the synthesis of DSP software from dataflow ... Leer más

$309,878 CLP

Although programming in memory-restricted environments is never easy, this holds especially true for digital signal processing (DSP). The data-rich, computation-intensive nature of DSP makes memory management a chief and challenging concern for designers. Memory Management for Synthesis of DSP Software focuses on minimizing memory requirements during the synthesis of DSP software from dataflow
... Leer más
Fundamental Approaches to Software Engineering

21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Edición de Alessandra Russo, Andy Schürr ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and ... Leer más

Gratis

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and
... Leer más
Programming Languages and Systems

21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings

Edición de Chung-Kil Hur ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type ... Leer más

$65,177 CLP

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type
... Leer más
Building REST APIs with ASP.NET Core 8

The Ultimate Guide to Designing and Implementing Modern Back-Ends

de Prissy Max ...

Tired of feeling like your code is just a collection of disconnected endpoints? Do you dream of building powerful, scalable applications that communicate with a flawless, elegant precision? Do you want to stop just building APIs and start crafting them?The digital world runs on a silent, powerful language: APIs. They are the nervous system of modern technology, the invisible threads that connect ... Leer más

Antes $11,351 CLP Ahora $10,150 CLP

Tired of feeling like your code is just a collection of disconnected endpoints? Do you dream of building powerful, scalable applications that communicate with a flawless, elegant precision? Do you want to stop just building APIs and start crafting them?The digital world runs on a silent, powerful language: APIs. They are the nervous system of modern technology, the invisible threads that connect
... Leer más
Programming Languages and Systems

33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Edición de Stephanie Weirich ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected ... Leer más

Gratis

The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected
... Leer más
The China Information Technology Handbook

Edición de Patricia Ordóñez de Pablos, Miltiadis D. Lytras ...

Miltiadis D. Lytras and Patricia Ordóñez de Pablos Department of Computer Engineering and Informatics, University of Patras, Greece Dept. of Business Administration and Accountability, University of Oviedo, Spain China is a fast-growing emerging economy and current impressive economic growth rate of almost 9 percent annually. Its contribution to global GDP growth since 2000 has been almost twice ... Leer más

$217,286 CLP

Miltiadis D. Lytras and Patricia Ordóñez de Pablos Department of Computer Engineering and Informatics, University of Patras, Greece Dept. of Business Administration and Accountability, University of Oviedo, Spain China is a fast-growing emerging economy and current impressive economic growth rate of almost 9 percent annually. Its contribution to global GDP growth since 2000 has been almost twice
... Leer más
Tools and Environments for Parallel and Distributed Systems

Edición de Amr Zaky, Ted Lewis ...

Series Libro 2 - International Series in Software Engineering
Developing correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the reasons for this added complexity are: the lack of a universally acceptable parallel and distributed programming paradigm, the criticality of achieving high performance, and the difficulty of writing correct parallel and distributed programs. These ... Leer más

$152,097 CLP

Developing correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the reasons for this added complexity are: the lack of a universally acceptable parallel and distributed programming paradigm, the criticality of achieving high performance, and the difficulty of writing correct parallel and distributed programs. These
... Leer más
Java 17 Quick Syntax Reference

A Pocket Guide to the Java SE Language, APIs, and Library

de Mikael Olsson ...

Series series Professional and Applied Computing (R0)
Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and ... Leer más

$47,718 CLP

Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and
... Leer más
On the Move to Meaningful Internet Systems: OTM 2019 Conferences

Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Edición de Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis, Claudio Agostino Ardagna, Robert Meersman ...

Series series Springer Nature Proceedings Computer Science
This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece.The 38 full papers presented together with 8 short papers were carefully reviewed ... Leer más

$97,773 CLP

This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece.The 38 full papers presented together with 8 short papers were carefully reviewed
... Leer más
Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Edición de Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is ... Leer más

$54,314 CLP

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is
... Leer más
Computer Safety, Reliability, and Security

SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Edición de Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's ... Leer más

$54,314 CLP

This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's
... 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

Software Engineering and Formal Methods

Distributed Virtual Worlds

Programming Languages and Systems

Exploring C++20

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Getting Started with Advanced C#

Python lernen in abgeschlossenen Lerneinheiten

Blockchain Mastery: Building Decentralized Applications from Beginner to Expert

Rewriting Logic and Its Applications

Low Level X Window Programming

Beginning Rust

Ethereum Smart Contract Development in Solidity

Introducción al Machine Learning con MATLAB

Memory Management for Synthesis of DSP Software

Fundamental Approaches to Software Engineering

Programming Languages and Systems

Building REST APIs with ASP.NET Core 8

Programming Languages and Systems

The China Information Technology Handbook

Tools and Environments for Parallel and Distributed Systems

Java 17 Quick Syntax Reference

On the Move to Meaningful Internet Systems: OTM 2019 Conferences

Verification and Evaluation of Computer and Communication Systems

Computer Safety, Reliability, and Security