Rakuten Kobo

Runtime Verification

18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Edited by Christian Colombo, Martin Leucker ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more ... Read more

$96.09 CAD

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more
... Read more
Computer Safety, Reliability, and Security

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

Edited by 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 ... Read more

$64.09 CAD

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
... Read more
Programming Languages and Systems

17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Edited by Anthony Widjaja Lin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... Read more

$64.09 CAD

This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation,
... Read more
Trends in Functional Programming

20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers

Edited by William J. Bowman, Ronald Garcia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 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 ... Read more

$64.09 CAD

This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 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
... Read more
Practical Aspects of Declarative Languages

19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Edited by Yuliya Lierler, Walid Taha ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and ... Read more

$64.09 CAD

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and
... Read more
Monstruo o prodigio

Cómo la IA está transformando la escuela, el trabajo y la vida

by Eduardo Andere M ...

Series series Educación
La inteligencia artificial ha llegado para quedarse. Su impacto está transformando el mundo y ha abierto un sinfín de preguntas. Una destaca por encima de todas: ¿pueden las máquinas pensar como el ser humano? Junto con esta evolución, Eduardo Andere nos ofrece un panorama de tecnologías que, solas o fusionadas, influyen en la forma en que los seres humanos aprendemos, nos comunicamos, trabajamos ... Read more

$18.99 CAD or Free with Kobo Plus

La inteligencia artificial ha llegado para quedarse. Su impacto está transformando el mundo y ha abierto un sinfín de preguntas. Una destaca por encima de todas: ¿pueden las máquinas pensar como el ser humano? Junto con esta evolución, Eduardo Andere nos ofrece un panorama de tecnologías que, solas o fusionadas, influyen en la forma en que los seres humanos aprendemos, nos comunicamos, trabajamos
... Read more
Practical Aspects of Declarative Languages

21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Edited by José Júlio Alferes, Moa Johansson ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative
... Read more
Functional and Constraint Logic Programming

26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Edited by Josep Silva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers ... Read more

$64.09 CAD

This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers
... Read more
Eclipse TEA Revealed

Building Plug-ins and Creating Extensions for Eclipse

by Markus Duft ...

Series series Professional and Applied Computing (R0)
Discover the open source Eclipse Tasking Engine Advanced (TEA) project in this compact to-the-point book. It covers how to automate tasks using TEA and focuses on simplifying and aiding the creation of extensions for the Eclipse IDE in a way which makes them accessible both from the IDE’s UI and in a headless fashion from the command line.Additionally, Eclipse TEA Revealed explores the library of ... Read more

$44.29 CAD

Discover the open source Eclipse Tasking Engine Advanced (TEA) project in this compact to-the-point book. It covers how to automate tasks using TEA and focuses on simplifying and aiding the creation of extensions for the Eclipse IDE in a way which makes them accessible both from the IDE’s UI and in a headless fashion from the command line.Additionally, Eclipse TEA Revealed explores the library of
... Read more
Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Edited by Cyrille Artho, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway
... Read more
Formal Methods: State of the Art and New Directions

Edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi ...

Series series Computer Science (R0)
$115.29 CAD
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Edited by Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and ... Read more

$72.99 CAD

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and
... Read more
Metaprogramming in R

Advanced Statistical Programming for Data Science, Analysis and Finance

by Thomas Mailund ...

Series series Professional and Applied Computing (R0)
Learn how to manipulate functions and expressions to modify how the R language interprets itself. This book is an introduction to metaprogramming in the R language, so you will write programs to manipulate other programs. Metaprogramming in R shows you how to treat code as data that you can generate, analyze, or modify.R is a very high-level language where all operations are functions and all ... Read more

$56.29 CAD

Learn how to manipulate functions and expressions to modify how the R language interprets itself. This book is an introduction to metaprogramming in the R language, so you will write programs to manipulate other programs. Metaprogramming in R shows you how to treat code as data that you can generate, analyze, or modify.R is a very high-level language where all operations are functions and all
... Read more
Erlang and Elixir for Imperative Programmers

by Wolfgang Loder ...

Series series Professional and Applied Computing (R0)
Learn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This book takes the author’s experience of taking on a project that required functional programming and real-time systems, breaks it down, and organizes it. You will get the necessary knowledge about differences to the languages you know, where to start, and where to ... Read more

$47.89 CAD

Learn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This book takes the author’s experience of taking on a project that required functional programming and real-time systems, breaks it down, and organizes it. You will get the necessary knowledge about differences to the languages you know, where to start, and where to
... Read more
Ruby Data Processing

Using Map, Reduce, and Select

by Jay Godse ...

Series series Professional and Applied Computing (R0)
Gain the basics of Ruby’s map, reduce, and select functions and discover how to use them to solve data-processing problems. This compact hands-on book explains how you can encode certain complex programs in 10 lines of Ruby code, an astonishingly small number. You will walk through problems and solutions which are effective because they use map, reduce, and select. As you read Ruby Data Processing ... Read more

$27.59 CAD

Gain the basics of Ruby’s map, reduce, and select functions and discover how to use them to solve data-processing problems. This compact hands-on book explains how you can encode certain complex programs in 10 lines of Ruby code, an astonishingly small number. You will walk through problems and solutions which are effective because they use map, reduce, and select. As you read Ruby Data Processing
... Read more
Advanced R

Data Programming and the Cloud

by Matt Wiley, Joshua F. Wiley ...

Series series Professional and Applied Computing (R0)
Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as well as writing functions and packages. Advanced R is not designed to teach advanced R programming nor to teach the theory behind statistical procedures. Rather, it is designed to be a practical guide ... Read more

$56.29 CAD

Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as well as writing functions and packages. Advanced R is not designed to teach advanced R programming nor to teach the theory behind statistical procedures. Rather, it is designed to be a practical guide
... Read more
C++ Game Development Primer

by Bruce Sutherland ...

Series series Professional and Applied Computing (R0)
C++ is the language behind most of today's computer games. This 96-page C++ Game Development Primer takes you through the accelerated process of writing games for otherwise experienced C++ programmers. After reading this book, you’ll have the fundamental know-how to become a successful and profitable game applications developer in today’s increasingly competitive indie game marketplace.For those ... Read more

$41.89 CAD

C++ is the language behind most of today's computer games. This 96-page C++ Game Development Primer takes you through the accelerated process of writing games for otherwise experienced C++ programmers. After reading this book, you’ll have the fundamental know-how to become a successful and profitable game applications developer in today’s increasingly competitive indie game marketplace.For those
... Read more
Opa: Up and Running

Rapid and Secure Web Development

by Henri Binsztok, Adam Koprowski, Ida Swarczewskaja ...

Want to simplify web development? This hands-on book shows you how to write frontend and backend code simultaneously, using the Opa framework. Opa provides a complete stack for web application development, including a web server, database engine, distribution libraries, and a programming language that compiles to JavaScript.You’ll learn step-by-step how to use Opa by building two projects through ... Read more

$15.99 CAD

Want to simplify web development? This hands-on book shows you how to write frontend and backend code simultaneously, using the Opa framework. Opa provides a complete stack for web application development, including a web server, database engine, distribution libraries, and a programming language that compiles to JavaScript.You’ll learn step-by-step how to use Opa by building two projects through
... Read more
ISO 27001:2022 - Explications

Système de Management de la Sécurité de l'Information - Guide Pratique

by Dr. William F. Harrington ...

Title: ISO 27001:2022 - ExplicationsSubtitle: Système de Management de la Sécurité de l'Information - Guide PratiqueIntroduction:"ISO 27001:2022 - Explications" est un guide pratique complet dédié à la norme ISO 27001:2022, offrant une analyse approfondie et des explications claires sur le Système de Management de la Sécurité de l'Information (SMSI). Ce livre est destiné à tous les professionnels ... Read more

$75.99 CAD

Title: ISO 27001:2022 - ExplicationsSubtitle: Système de Management de la Sécurité de l'Information - Guide PratiqueIntroduction:"ISO 27001:2022 - Explications" est un guide pratique complet dédié à la norme ISO 27001:2022, offrant une analyse approfondie et des explications claires sur le Système de Management de la Sécurité de l'Information (SMSI). Ce livre est destiné à tous les professionnels
... Read more
OpenMP: Advanced Task-Based, Device and Compiler Programming

19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings

Edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support; ... Read more

$83.29 CAD

This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support;
... Read more
Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Edited by Erika Ábrahám, Houssam Abbas ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; ... Read more

$70.49 CAD

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems;
... Read more
Trends in Functional Programming

21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

Edited by Aleksander Byrski, John Hughes ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; ... Read more

$64.09 CAD

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing;
... Read more
Learn LLVM 12

A beginner's guide to learning LLVM compiler tools and core libraries with C++

by Kai Nacke ...

Learn how to build and use all parts of real-world compilers, including the frontend, optimization pipeline, and a new backend by leveraging the power of LLVM core librariesKey FeaturesGet to grips with effectively using LLVM libraries step-by-stepUnderstand LLVM compiler high-level design and apply the same principles to your own compilerUse compiler-based tools to improve the quality of code in ... Read more

$47.19 CAD or Free with Kobo Plus

Learn how to build and use all parts of real-world compilers, including the frontend, optimization pipeline, and a new backend by leveraging the power of LLVM core librariesKey FeaturesGet to grips with effectively using LLVM libraries step-by-stepUnderstand LLVM compiler high-level design and apply the same principles to your own compilerUse compiler-based tools to improve the quality of code in
... Read more
Compilerbau

Grundlagen und Anwendungen

by Hanspeter Mössenböck ...

Series series Lehrbuch
Compilerbau praxisnah erklärtSystematische Einführung mit zahlreichen ÜbungsaufgabenEntwicklung eines Compilers für MicroJavaMit umfangreichem Zusatzmaterial zum BuchDas Buch behandelt die praxisrelevanten Grundlagen des Compilerbaus, von der lexikalischen Analyse über die Syntaxanalyse bis zur Semantikverarbeitung und zur Codeerzeugung. Weitere Themen sind die systematische Beschreibung von ... Read more

$48.99 CAD or Free with Kobo Plus

Compilerbau praxisnah erklärtSystematische Einführung mit zahlreichen ÜbungsaufgabenEntwicklung eines Compilers für MicroJavaMit umfangreichem Zusatzmaterial zum BuchDas Buch behandelt die praxisrelevanten Grundlagen des Compilerbaus, von der lexikalischen Analyse über die Syntaxanalyse bis zur Semantikverarbeitung und zur Codeerzeugung. Weitere Themen sind die systematische Beschreibung von
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Compilers eBooks

Show: