Rakuten Kobo

Advanced API Security

OAuth 2.0 and Beyond

by Prabath Siriwardena ...

Series series Professional and Applied Computing (R0)
Prepare for the next wave of challenges in enterprise security. Learn to better protect, monitor, and manage your public and private APIs.Enterprise APIs have become the common way of exposing business functions to the outside world. Exposing functionality is convenient, but of course comes with a risk of exploitation. This book teaches you about TLS Token Binding, User Managed Access (UMA) 2.0, ... Read more

$51.02 CAD

Prepare for the next wave of challenges in enterprise security. Learn to better protect, monitor, and manage your public and private APIs.Enterprise APIs have become the common way of exposing business functions to the outside world. Exposing functionality is convenient, but of course comes with a risk of exploitation. This book teaches you about TLS Token Binding, User Managed Access (UMA) 2.0,
... Read more
LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries

Design powerful and reliable compilers using the latest libraries and tools from LLVM

by Min-Yih Hsu ...

Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in ... Read more

$37.43 CAD or Free with Kobo Plus

Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in
... Read more
Roslyn Cookbook

Compiler as a Service, Code Analysis, Code Quality and more

by Manish Vasani, Ovais Mehboob Ahmed Khan ...

Use Roslyn as a service to write powerful extensions and tools and use them in Visual Studio to improve code quality and maintain your source code more effectively.Key Features1. Use Roslyn extensions and tools in Visual Studio to enforce "house rules" on code and fix security and performance vulnerabilities in your code.2. Write Roslyn extensions using the Roslyn service API to help developers ... Read more

$37.43 CAD or Free with Kobo Plus

Use Roslyn as a service to write powerful extensions and tools and use them in Visual Studio to improve code quality and maintain your source code more effectively.Key Features1. Use Roslyn extensions and tools in Visual Studio to enforce "house rules" on code and fix security and performance vulnerabilities in your code.2. Write Roslyn extensions using the Roslyn service API to help developers
... Read more
Tulkki – Romaani Auschwitzin oikeudenkäynneistä

by Annette Hess, Martti Ruokonen ...

Translated by Pirkko Roinila ...

Miten löytää sanat pahuudelle?Ajatuksia herättävä lukuromaani Saksan historian synkimmän aikakauden varjosta.Frankfurt, 1963. Eva Bruhnsin asiat ovat hyvin. Vanhempien majatalo menestyy, töitä riittää puolan kielen tulkkina, ja poikaystävänkin pitäisi pian kosia. Mutta kun Eva päätyy tulkkaamaan todistajanlausuntoja sotaoikeudenkäynnissä, hän kuulee ensi kertaa sanan Auschwitz. Tulkki käsittelee ... Read more

$22.12 CAD

Miten löytää sanat pahuudelle?Ajatuksia herättävä lukuromaani Saksan historian synkimmän aikakauden varjosta.Frankfurt, 1963. Eva Bruhnsin asiat ovat hyvin. Vanhempien majatalo menestyy, töitä riittää puolan kielen tulkkina, ja poikaystävänkin pitäisi pian kosia. Mutta kun Eva päätyy tulkkaamaan todistajanlausuntoja sotaoikeudenkäynnissä, hän kuulee ensi kertaa sanan Auschwitz. Tulkki käsittelee
... Read more
Software Technologies

12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Edited by Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and ... Read more

$58.04 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and
... Read more
Introduction to Compiler Construction in a Java World

by Bill Campbell, Swami Iyer, Bahar Akbal-Delibas ...

Immersing students in Java and the JVM, this text enables a deep understanding of the Java programming language and its implementation. It focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how ... Read more

$163.85 CAD

Immersing students in Java and the JVM, this text enables a deep understanding of the Java programming language and its implementation. It focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how
... Read more
Grand Timely Topics in Software Engineering

International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Edited by Ralf Lämmel, Jácome Cunha, João P. Fernandes, Vadim Zaytsev, João Saraiva ...

Series series Springer Nature Proceedings Computer Science
This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic ... Read more

$58.04 CAD

This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic
... Read more
Computer Graphics for Java Programmers

by Kang Zhang, Leen Ammeraal ...

Series series Computer Science (R0)
This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding.Completely revised and updated according ... Read more

$77.84 CAD

This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding.Completely revised and updated according
... Read more
Clean Ruby

A Guide to Crafting Better Code for Rubyists

by Carleton DiLeo ...

Series series Professional and Applied Computing (R0)
Learn to write clean Ruby code that your team will thank you for. This fully revised and expanded edition goes far beyond the basics to help you master the principles and practices to keep your Ruby code elegant, maintainable, and future-proof.Author Carleton DiLeo draws on years of experience across diverse Ruby codebases to show you why clean code matters and how to achieve it using today’s best ... Read more

$43.46 CAD

Learn to write clean Ruby code that your team will thank you for. This fully revised and expanded edition goes far beyond the basics to help you master the principles and practices to keep your Ruby code elegant, maintainable, and future-proof.Author Carleton DiLeo draws on years of experience across diverse Ruby codebases to show you why clean code matters and how to achieve it using today’s best
... Read more
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 I

Edited by Stephanie Weirich ...

Series Book 1 - 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 ... Read more

Free

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
... Read more
Swift 2 for Absolute Beginners

by Gary Bennett, Brad Lees ...

Series series Professional and Applied Computing (R0)
Swift 2 for Absolute Beginners is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 2.Gary Bennett and Brad Lees are full-time professional iOS developers and have developed a broad spectrum of apps for Fortune 500 ... Read more

$43.01 CAD

Swift 2 for Absolute Beginners is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 2.Gary Bennett and Brad Lees are full-time professional iOS developers and have developed a broad spectrum of apps for Fortune 500
... Read more
Rules and Reasoning

International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

Edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2 ... Read more

$58.04 CAD

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2
... Read more
Programmierung mit PASCAL

Eine Einführung für Programmieranfänger

by Thomas Ottmann, Peter Widmayer ...

Series series Computer Science and Engineering (German Language)
Dieses Buch gibt eine Einführung in Pascal, die auch für Anfänger ohne Informatikkenntnisse verständlich ist. Schwerpunkt ist eine genaue Formulierung und weitgehend programmiersprachenunabhängige algorithmische Lösung von Problemen. Auf diesem Wege werden die Grundsätze zum Schreiben guter Pascal-Programme illustriert, da es nicht ausreicht, lediglich den Formalisierungsprozess zu erklären, der ... Read more

$43.46 CAD

Dieses Buch gibt eine Einführung in Pascal, die auch für Anfänger ohne Informatikkenntnisse verständlich ist. Schwerpunkt ist eine genaue Formulierung und weitgehend programmiersprachenunabhängige algorithmische Lösung von Problemen. Auf diesem Wege werden die Grundsätze zum Schreiben guter Pascal-Programme illustriert, da es nicht ausreicht, lediglich den Formalisierungsprozess zu erklären, der
... Read more
Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Edited by Sandrine Blazy, Marsha Chechik ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.The goal of the VSTTE conference is to advance ... Read more

$58.04 CAD

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.The goal of the VSTTE conference is to advance
... Read more
Accelerator Programming Using Directives

8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

Edited by Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel ... Read more

$63.89 CAD

This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel
... Read more
OpenMP: Enabling Massive Node-Level Parallelism

17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings

Edited by Simon McIntosh-Smith, Bronis R. de Supinski, Jannis Klinkenberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: synchronization ... Read more

$81.26 CAD

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: synchronization
... Read more
Networked Systems

10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings

Edited by Mohammed-Amine Koulali, Mira Mezini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design ... Read more

$58.04 CAD

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design
... Read more
Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Edited by Jan Friso Groote, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and ... Read more

$81.26 CAD

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and
... Read more
Static Analysis

29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Edited by Gagandeep Singh, Caterina Urban ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program ... Read more

$81.26 CAD

This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program
... Read more
Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Edited by Ezio Bartocci, Rupak Majumdar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.The discussion of the conference ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.The discussion of the conference
... Read more
Software Technologies

9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

Edited by Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014.The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; ... Read more

$58.04 CAD

This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014.The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security;
... Read more
Software Engineering and Formal Methods

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

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

$58.04 CAD

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;
... Read more
Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Edited by Pedro Ribeiro, Augusto Sampaio ...

Series series Springer Nature Proceedings Computer Science
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP ... Read more

$58.04 CAD

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP
... Read more
Foundations of Software Science and Computation Structures

19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Edited by Bart Jacobs, Christof Löding ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85 ... Read more

$58.04 CAD

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85
... 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: