Rakuten Kobo

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
Modern C

by Jens Gustedt ...

SummaryModern C focuses on the new and unique features of modern C programming. The book is based on the latest C standards and offers an up-to-date perspective on this tried-and-true language.About the technologyC is extraordinarily modern for a 50-year-old programming language. Whether you’re writing embedded code, low-level system routines, or high-performance applications, C is up to the ... Read more

$38.99 CAD

SummaryModern C focuses on the new and unique features of modern C programming. The book is based on the latest C standards and offers an up-to-date perspective on this tried-and-true language.About the technologyC is extraordinarily modern for a 50-year-old programming language. Whether you’re writing embedded code, low-level system routines, or high-performance applications, C is up to the
... Read more
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Edited by Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Series series Computer Science (R0)
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... Read more

$115.29 CAD

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings
... Read more
Scientific Data Analysis using Jython Scripting and Java

by Sergei V. Chekanov ...

Series series Computer Science (R0)
Scientific Data Analysis using Jython Scripting and Java presents practical approaches for data analysis using Java scripting based on Jython, a Java implementation of the Python language. The chapters essentially cover all aspects of data analysis, from arrays and histograms to clustering analysis, curve fitting, metadata and neural networks. A comprehensive coverage of data visualisation tools ... Read more

$64.09 CAD

Scientific Data Analysis using Jython Scripting and Java presents practical approaches for data analysis using Java scripting based on Jython, a Java implementation of the Python language. The chapters essentially cover all aspects of data analysis, from arrays and histograms to clustering analysis, curve fitting, metadata and neural networks. A comprehensive coverage of data visualisation tools
... Read more
Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Series series Springer Nature Proceedings Computer Science
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have ... Read more

$64.09 CAD

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have
... Read more
MATLAB Recipes

A Problem-Solution Approach

by Michael Paluszek, Stephanie Thomas ...

Series series Professional and Applied Computing (R0)
Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. With this book you will review contemporary MATLAB coding including the latest MATLAB language features and use MATLAB as a software development environment including code organization, GUI development, and algorithm design and testing.Features now covered include the new ... Read more

$75.49 CAD

Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. With this book you will review contemporary MATLAB coding including the latest MATLAB language features and use MATLAB as a software development environment including code organization, GUI development, and algorithm design and testing.Features now covered include the new
... Read more
Programming Languages and Operational Semantics

A Concise Overview

by Maribel Fernández ...

Series series Computer Science (R0)
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for ... Read more

$51.29 CAD

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for
... Read more
Business Analytics Using R - A Practical Approach

by Umesh R Hodeghatta, Umesha Nayak ...

Series series Professional and Applied Computing (R0)
Learn the fundamental aspects of the business statistics, data mining, and machine learning techniques required to understand the huge amount of data generated by your organization. This book explains practical business analytics through examples, covers the steps involved in using it correctly, and shows you the context in which a particular technique does not make sense. Further, Practical ... Read more

$75.49 CAD

Learn the fundamental aspects of the business statistics, data mining, and machine learning techniques required to understand the huge amount of data generated by your organization. This book explains practical business analytics through examples, covers the steps involved in using it correctly, and shows you the context in which a particular technique does not make sense. Further, Practical
... Read more
Evaluation of Novel Approaches to Software Engineering

13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

Edited by Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, Portugal, in March 2018.The 17 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on service science and ... Read more

$96.09 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, Portugal, in March 2018.The 17 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on service science and
... Read more
Reversible Computation

10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Edited by Jarkko Kari, Irek Ulidowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible
... 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: