Rakuten Kobo

Today's TBB

C++ Parallel Programming with Threading Building Blocks

by Michael J. Voss, James R. Reinders ...

Series series Professional and Applied Computing (R0)
This open-access book serves as a comprehensive guide for C++ programmers looking to master Threading Building Blocks (TBB). Authored by two experts in TBB and parallel programming, the book distills decades of collective experience in developing and teaching parallel programming concepts, presenting insights in a clear and accessible manner.Today’s TBB starts with foundational principles, ... Read more

Free

This open-access book serves as a comprehensive guide for C++ programmers looking to master Threading Building Blocks (TBB). Authored by two experts in TBB and parallel programming, the book distills decades of collective experience in developing and teaching parallel programming concepts, presenting insights in a clear and accessible manner.Today’s TBB starts with foundational principles,
... Read more
Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Edited by Kim Guldstrand Larsen, Tim Willemse ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), ... Read more

$64.09 CAD

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University),
... Read more
Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Edited by Vlad Rusu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, ... Read more

$64.09 CAD

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency,
... Read more
Euro-Par 2020: Parallel Processing Workshops

Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers

Edited by Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L. Scott, Didem Unat, Roman Wyrzykowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.Euro-Par is an ... Read more

$64.09 CAD

This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.Euro-Par is an
... Read more
Spring Boot 2 Recipes

A Problem-Solution Approach

by Marten Deinum ...

Solve all your Spring Boot 2 problems using complete and real-world code examples. When you start a new project, you’ll be able to copy the code and configuration files from this book, and then modify them for your needs. This can save you a great deal of work over creating a project from scratch.Using a problem-solution approach, Spring Boot 2 Recipes quickly introduces you to Pivotal's Spring ... Read more

$68.29 CAD

Solve all your Spring Boot 2 problems using complete and real-world code examples. When you start a new project, you’ll be able to copy the code and configuration files from this book, and then modify them for your needs. This can save you a great deal of work over creating a project from scratch.Using a problem-solution approach, Spring Boot 2 Recipes quickly introduces you to Pivotal's Spring
... Read more
Java Design Patterns

A Hands-On Experience with Real-World Examples

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Get hands-on experience implementing 26 of the most common design patterns using Java and Eclipse. In addition to Gang of Four (GoF) design patterns, you will also learn about alternative design patterns, and understand the criticisms of design patterns with an overview of anti-patterns. For each pattern you will see at least one real-world scenario, a computer-world example, and a complete ... Read more

$68.29 CAD

Get hands-on experience implementing 26 of the most common design patterns using Java and Eclipse. In addition to Gang of Four (GoF) design patterns, you will also learn about alternative design patterns, and understand the criticisms of design patterns with an overview of anti-patterns. For each pattern you will see at least one real-world scenario, a computer-world example, and a complete
... Read more
Python Continuous Integration and Delivery

A Concise Guide with Examples

by Moritz Lenz ...

Series series Professional and Applied Computing (R0)
Gain the techniques and tools that enable a smooth and efficient software development process in this quick and practical guide on Python continuous integration (CI) and continuous delivery (CD). Based on example applications, this book introduces various kinds of testing and shows you how to set up automated systems that run these tests, and install applications in different environments in ... Read more

$68.29 CAD

Gain the techniques and tools that enable a smooth and efficient software development process in this quick and practical guide on Python continuous integration (CI) and continuous delivery (CD). Based on example applications, this book introduces various kinds of testing and shows you how to set up automated systems that run these tests, and install applications in different environments in
... Read more
The Python Workbook

A Brief Introduction with Exercises and Solutions

by Ben Stephenson ...

Series series Computer Science (R0)
This student-friendly textbook encourages the development of programming skills through active practice by focusing on exercises that support hands-on learning. The Python Workbook provides a compendium of 186 exercises, spanning a variety of academic disciplines and everyday situations. Solutions to selected exercises are also provided, supported by brief annotations that explain the technique ... Read more

$57.69 CAD

This student-friendly textbook encourages the development of programming skills through active practice by focusing on exercises that support hands-on learning. The Python Workbook provides a compendium of 186 exercises, spanning a variety of academic disciplines and everyday situations. Solutions to selected exercises are also provided, supported by brief annotations that explain the technique
... Read more
Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Edited by Manuel V. Hermenegildo, José F. Morales ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, ... Read more

$102.49 CAD

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding,
... Read more
Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Edited by Dang Van Hung, Deepak Kapur ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency;
... Read more
String Analysis for Software Verification and Security

by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Read more

$83.29 CAD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Read more
Pro Spring Boot 4

An Authoritative Guide with Best Practices

by Felipe Gutierrez, DaShaun Carter ...

Series series Professional and Applied Computing (R0)
Master enterprise-grade application and microservice development with Pro Spring Boot 4. This revised edition empowers you to fully harness the groundbreaking capabilities of Spring Boot 4, crafting robust and scalable web, cloud, and microservice solutions with unparalleled ease.Dive deep into the latest advancements, including enhanced support for Java 17 and 21, significant updates to Spring ... Read more

$63.49 CAD

Master enterprise-grade application and microservice development with Pro Spring Boot 4. This revised edition empowers you to fully harness the groundbreaking capabilities of Spring Boot 4, crafting robust and scalable web, cloud, and microservice solutions with unparalleled ease.Dive deep into the latest advancements, including enhanced support for Java 17 and 21, significant updates to Spring
... Read more
C + +

C++ programming

by Ummed Singh ...

This eBook is based on C + + that has been collected from different sources and people. For more information about this ebook. Kindly write to [email protected]. I will happy to help you.Copyright 2023 by Ummed SinghThis eBook is a guide and serves as a first guide. This book has been written on the advice of many experts and sources who have good command over C + +, network and programming ... Read more

$4.99 CAD or Free with Kobo Plus

This eBook is based on C + + that has been collected from different sources and people. For more information about this ebook. Kindly write to [email protected]. I will happy to help you.Copyright 2023 by Ummed SinghThis eBook is a guide and serves as a first guide. This book has been written on the advice of many experts and sources who have good command over C + +, network and programming
... Read more
Mathematical Software – ICMS 2018

6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and ... Read more

$64.09 CAD

This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and
... Read more
Building Embedded Systems

Programmable Hardware

by Changyi Gu ...

Series series Professional and Applied Computing (R0)
Develop the software and hardware you never think about. We're talking about the nitty-gritty behind the buttons on your microwave, inside your thermostat, inside the keyboard used to type this description, and even running the monitor on which you are reading it now. Such stuff is termed embedded systems, and this book shows how to design and develop embedded systems at a professional level. ... Read more

$95.79 CAD

Develop the software and hardware you never think about. We're talking about the nitty-gritty behind the buttons on your microwave, inside your thermostat, inside the keyboard used to type this description, and even running the monitor on which you are reading it now. Such stuff is termed embedded systems, and this book shows how to design and develop embedded systems at a professional level.
... Read more
Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Edited by Ralf Hinze ...

Series series Springer Nature Proceedings Computer Science
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate ... Read more

$57.69 CAD

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate
... Read more
Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Edited by Phillip James, Markus Roggenbach ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Read more

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations
... Read more
High Performance Computing for Computational Science – VECPAR 2018

13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

Edited by Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018.The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the ... Read more

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018.The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the
... Read more
Clean Python

Elegant Coding in Python

by Sunil Kapil ...

Series series Professional and Applied Computing (R0)
Discover the right way to code in Python. This book provides the tips and techniques you need to produce cleaner, error-free, and eloquent Python projects.Your journey to better code starts with understanding the importance of formatting and documenting your code for maximum readability, utilizing built-in data structures and Python dictionary for improved maintainability, and working with modules ... Read more

$56.29 CAD

Discover the right way to code in Python. This book provides the tips and techniques you need to produce cleaner, error-free, and eloquent Python projects.Your journey to better code starts with understanding the importance of formatting and documenting your code for maximum readability, utilizing built-in data structures and Python dictionary for improved maintainability, and working with modules
... Read more
Haskell Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

by Stefania Loredana Nita, Marius Mihailescu ...

Series series Professional and Applied Computing (R0)
This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical ... Read more

$44.29 CAD

This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical
... Read more
Introduction to R for Terrestrial Ecology

Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R

by Milena Lakicevic, Nicholas Povak, Keith M. Reynolds ...

Series series Computer Science (R0)
This textbook covers R data analysis related to environmental science, starting with basic examples and proceeding up to advanced applications of the R programming language. The main objective of the textbook is to serve as a guide for undergraduate students, who have no previous experience with R, but part of the textbook is dedicated to advanced R applications, and will also be useful for ... Read more

$76.89 CAD

This textbook covers R data analysis related to environmental science, starting with basic examples and proceeding up to advanced applications of the R programming language. The main objective of the textbook is to serve as a guide for undergraduate students, who have no previous experience with R, but part of the textbook is dedicated to advanced R applications, and will also be useful for
... Read more
Fundamental Approaches to Software Engineering

19th International Conference, FASE 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 Perdita Stevens, Andrzej Wąsowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They ... Read more

$64.09 CAD

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They
... Read more
High Performance Computing

ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Edited by Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International ... Read more

$64.09 CAD

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International
... Read more
Compiler Construction Using Java, JavaCC, and Yacc

by Anthony J. Dos Reis ...

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic ... Read more

$131.99 CAD

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic
... 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: