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

- Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  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
  
  Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  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

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

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

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

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

Cyber Physical Systems. Model-Based Design

9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

Edición de Roger Chamberlain, Martin Edin Grimheden, Walid Taha ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from ... Leer más

$906 MXN

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from
... Leer más
Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Edición de Alberto Lluch Lafuente, José Proença ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover ... Leer más

$906 MXN

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover
... Leer más
Building Web Applications with Visual Studio 2017

Using .NET Core and Modern JavaScript Frameworks

de Philip Japikse, Kevin Grossnicklaus, Ben Dewey ...

Series series Professional and Applied Computing (R0)
Learn how to build web applications from three Microsoft MVPs. After building the data application layer using Entity Framework Core and a RESTful service using ASP.NET Core, you will then build the client side web application three ways: first, using ASP.NET Core, then using Angular 2, and, finally, using React. You will be able to compare and contrast these UI frameworks and select the best one ... Leer más

$898 MXN

Learn how to build web applications from three Microsoft MVPs. After building the data application layer using Entity Framework Core and a RESTful service using ASP.NET Core, you will then build the client side web application three ways: first, using ASP.NET Core, then using Angular 2, and, finally, using React. You will be able to compare and contrast these UI frameworks and select the best one
... Leer más
OpenMP: Adaptability for Heterogeneous Multi‑Device Systems

22nd International Workshop on OpenMP, IWOMP 2026, Vienna, Austria, October 7–9, 2026, Proceedings

Edición de Sara Royuela, Bronis R. de Supinski, Swaroop Pophale, Michael Klemm ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Workshop on OpenMP, IWOMP 2026, held in Vienna, Austria, during October 7–9, 2026The 19 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Advances in Compiler and Memory Management; Advances in Heterogeneous Offload and Tasking; ... Leer más

$1,033 MXN

This book constitutes the refereed proceedings of the 22nd International Workshop on OpenMP, IWOMP 2026, held in Vienna, Austria, during October 7–9, 2026The 19 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Advances in Compiler and Memory Management; Advances in Heterogeneous Offload and Tasking;
... Leer más
The Definitive ANTLR 4 Reference

de Terence Parr ...

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on ... Leer más

$398 MXN

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on
... Leer más
Pro MERN Stack

Full Stack Web App Development with Mongo, Express, React, and Node

de Vasan Subramanian ...

Series series Professional and Applied Computing (R0)
Assemble the complete stack required to build a modern web app using MongoDB, Express, React, and Node. This book also covers many other complementary tools: React Router, GraphQL, React-Bootstrap, Babel, and Webpack. This new edition will use the latest version of React (React 16) and the latest React Router (React Router 4), which has a significantly different approach to routing compared to ... Leer más

$966 MXN

Assemble the complete stack required to build a modern web app using MongoDB, Express, React, and Node. This book also covers many other complementary tools: React Router, GraphQL, React-Bootstrap, Babel, and Webpack. This new edition will use the latest version of React (React 16) and the latest React Router (React Router 4), which has a significantly different approach to routing compared to
... Leer más
C# and XML Primer

de Jonathan Hartwell ...

Series series Professional and Applied Computing (R0)
Learn XML and how to use and integrate it into your C# applications using this compact book. This guide helps you avoid the pitfalls of dealing with XML and C# since handling XML with C# and the .NET Platform can present its own set of challenges. XML is far from a dead technology, so it is important to learn how best to use it in your applications when the need arises.What You Will LearnGain the ... Leer más

$593 MXN

Learn XML and how to use and integrate it into your C# applications using this compact book. This guide helps you avoid the pitfalls of dealing with XML and C# since handling XML with C# and the .NET Platform can present its own set of challenges. XML is far from a dead technology, so it is important to learn how best to use it in your applications when the need arises.What You Will LearnGain the
... Leer más
Beginning Backdrop CMS

de Todd Tomlinson ...

Series series Professional and Applied Computing (R0)
Learn what Backdrop CMS is and how it fulfills the role of a content management system, along with how to install and configure it. This book teaches how to create and manage content, taxonomy, users, page layouts, and menus to get the best site possible. You'll also see how to install on shared hosting – which is a focus of the Backdrop CMS team – to make hosting your website affordable.Backdrop ... Leer más

$816 MXN

Learn what Backdrop CMS is and how it fulfills the role of a content management system, along with how to install and configure it. This book teaches how to create and manage content, taxonomy, users, page layouts, and menus to get the best site possible. You'll also see how to install on shared hosting – which is a focus of the Backdrop CMS team – to make hosting your website affordable.Backdrop
... Leer más
Building Telegram Bots

Develop Bots in 12 Programming Languages using the Telegram Bot API

de Nicolas Modrzyk ...

Series series Professional and Applied Computing (R0)
Learn about bot programming, using all the latest and greatest programming languages, including Python, Go, and Clojure, so you can feel at ease writing your Telegram bot in a way that suits you.This book shows how you can use bots for just about everything: they connect, they respond, they enhance your job search chances, they do technical research for you, they remind you about your last train, ... Leer más

$627 MXN

Learn about bot programming, using all the latest and greatest programming languages, including Python, Go, and Clojure, so you can feel at ease writing your Telegram bot in a way that suits you.This book shows how you can use bots for just about everything: they connect, they respond, they enhance your job search chances, they do technical research for you, they remind you about your last train,
... Leer más
Silicon Dreams

Inside the Mind of Machine Intelligence

de Usama Bajwa, Danish Ali Bajwa ...

Delve into the captivating world of artificial consciousness with "Silicon Dreams: Inside the Mind of Machine Intelligence." This creative exploration takes readers on a thought-provoking journey, contemplating what consciousness or 'thoughts' could resemble for AI. From tracing the historical roots of machine intelligence to speculating on its future frontiers, each chapter meticulously uncovers ... Leer más

$121 MXN

Delve into the captivating world of artificial consciousness with "Silicon Dreams: Inside the Mind of Machine Intelligence." This creative exploration takes readers on a thought-provoking journey, contemplating what consciousness or 'thoughts' could resemble for AI. From tracing the historical roots of machine intelligence to speculating on its future frontiers, each chapter meticulously uncovers
... Leer más
Practical Aspects of Declarative Languages

22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

Edición de Ekaterina Komendantskaya, Yanhong Annie Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Leer más

$906 MXN

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative
... Leer más
Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Edición de Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... Leer más

$997 MXN

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions
... Leer más
Reuse in Emerging Software Engineering Practices

19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings

Edición de Sihem Ben Sassi, Stéphane Ducasse, Hafedh Mili ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling ... Leer más

$906 MXN

This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling
... Leer más
IntelliJ IDEA Essentials

de Jaroslaw Krochmalski ...

This book is for developers who want to work smarter so they can focus their efforts on the details that will give them the advantage. This book is tailor-made for developers who want to move from NetBeans and Eclipse to experience the power and functionality of IntelliJ IDEA. ... Leer más

$698 MXN o gratis con Kobo Plus

This book is for developers who want to work smarter so they can focus their efforts on the details that will give them the advantage. This book is tailor-made for developers who want to move from NetBeans and Eclipse to experience the power and functionality of IntelliJ IDEA.
... Leer más
Speech and Language Processing for Human-Machine Communications

Proceedings of CSI 2015

Edición de S. S. Agrawal, Poonam Bansal, Ritika Wason, Amita Devi ...

Series series Springer Nature Proceedings excluding Computer Science
This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech ... Leer más

$1,632 MXN

This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech
... Leer más
Einführung in UML

Analyse und Entwurf von Software

de Hendrik Jan van Randen, Christian Bercker, Julian Fieml ...

Series series Computer Science and Engineering (German Language)
Dieses Buch beschreibt klar und prägnant die Kerneigenschaften von UML und zeigt, wie die Modellierungssprache die Analyse und den Entwurf von Software unterstützt. Der Autor Hendrik Jan van Randen greift dafür auf seinen breiten Erfahrungsschatz aus zahlreichen Praxissituationen zurück, der ihm dank langjähriger Tätigkeit als Softwarearchitekt zur Verfügung steht.Das Buch bietet eine solide und ... Leer más

$593 MXN

Dieses Buch beschreibt klar und prägnant die Kerneigenschaften von UML und zeigt, wie die Modellierungssprache die Analyse und den Entwurf von Software unterstützt. Der Autor Hendrik Jan van Randen greift dafür auf seinen breiten Erfahrungsschatz aus zahlreichen Praxissituationen zurück, der ihm dank langjähriger Tätigkeit als Softwarearchitekt zur Verfügung steht.Das Buch bietet eine solide und
... Leer más
MATLAB Matrix Algebra

de Cesar Lopez ...

Series series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Leer más

$898 MXN

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Leer más
Einführung in JavaFX

Moderne GUIs für RIAs und Java-Applikationen

de Ralph Steyer ...

Series series Computer Science and Engineering (German Language)
Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht und wird als die kommende Technologie im Java-Umfeld angesehen, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl an ... Leer más

$322 MXN

Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht und wird als die kommende Technologie im Java-Umfeld angesehen, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl an
... Leer más
Software Technologies

11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Edición de Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions.The papers selected to be included in this book contribute to the understanding of relevant trends ... Leer más

$906 MXN

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions.The papers selected to be included in this book contribute to the understanding of relevant trends
... 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

$906 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
Pro Hadoop Data Analytics

Designing and Building Big Data Systems using the Hadoop Ecosystem

de Kerry Koitzsch ...

Series series Professional and Applied Computing (R0)
Learn advanced analytical techniques and leverage existing tool kits to make your analytic applications more powerful, precise, and efficient. This book provides the right combination of architecture, design, and implementation information to create analytical systems that go beyond the basics of classification, clustering, and recommendation.Pro Hadoop Data Analytics emphasizes best practices to ... Leer más

$725 MXN

Learn advanced analytical techniques and leverage existing tool kits to make your analytic applications more powerful, precise, and efficient. This book provides the right combination of architecture, design, and implementation information to create analytical systems that go beyond the basics of classification, clustering, and recommendation.Pro Hadoop Data Analytics emphasizes best practices to
... Leer más
AI*IA 2017 Advances in Artificial Intelligence

XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Edición de Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017.The 37 full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on applications of AI; natural language processing; knowledge representation ... Leer más

$906 MXN

This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017.The 37 full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on applications of AI; natural language processing; knowledge representation
... Leer más
Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Edición de Axel Legay, Tiziana Margaria ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 48 full papers, 4 tool demonstration papers, and 12 software ... Leer más

$906 MXN

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 48 full papers, 4 tool demonstration papers, and 12 software
... Leer más
Learn Java with Math

Using Fun Projects and Games

de Ron Dai ...

Series series Professional and Applied Computing (R0)
There are many good Java programming books on the market, but it's not easy to find one fit for a beginner. This book simplifies the complexity of Java programming and guides you through the journey to effectively work under the hood.You'll start with the fundamentals of Java programming and review how it integrates with basic mathematical concepts through many practical examples. You'll witness ... Leer más

$966 MXN

There are many good Java programming books on the market, but it's not easy to find one fit for a beginner. This book simplifies the complexity of Java programming and guides you through the journey to effectively work under the hood.You'll start with the fundamentals of Java programming and review how it integrates with basic mathematical concepts through many practical examples. You'll witness
... 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

Cyber Physical Systems. Model-Based Design

Coordination Models and Languages

Building Web Applications with Visual Studio 2017

OpenMP: Adaptability for Heterogeneous Multi‑Device Systems

The Definitive ANTLR 4 Reference

Pro MERN Stack

C# and XML Primer

Beginning Backdrop CMS

Building Telegram Bots

Silicon Dreams

Practical Aspects of Declarative Languages

Software Verification

Reuse in Emerging Software Engineering Practices

IntelliJ IDEA Essentials

Speech and Language Processing for Human-Machine Communications

Einführung in UML

MATLAB Matrix Algebra

Einführung in JavaFX

Software Technologies

Runtime Verification

Pro Hadoop Data Analytics

AI*IA 2017 Advances in Artificial Intelligence

Tools and Algorithms for the Construction and Analysis of Systems

Learn Java with Math