Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Skip side bar filters

Go Where the Bugs Are

Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

Edited by Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer ...

Series series Computer Science (R0)
This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved on to a chair in Augsburg in 2000. He was the founding dean of the Faculty for Applied Computer ... Read more

$96.09 CAD

This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved on to a chair in Augsburg in 2000. He was the founding dean of the Faculty for Applied Computer
... Read more
Model Checking Software

31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings

Edited by Gidon Ernst, Kristin Yvonne Rozier ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. They focus on topics related to formal verification for automated analysis of (concurrent) software/hardware, including model ... Read more

$57.69 CAD

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. They focus on topics related to formal verification for automated analysis of (concurrent) software/hardware, including model
... Read more

Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edited by Reiner Hähnle, Wil van der Aalst ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed
... Read more
Synology NAS Setup Guide

Based on DSM 7.4

by Nicholas Rushton ...

UPDATED AUGUST 2026 FOR DSM 7.4Also applicable to DSM 7.3 & 7.2“The missing manual that should have been supplied with the DiskStation”With superb functionality and ease of use through the acclaimed DSM operating system, Synology DiskStations are the NAS of choice for the discerning purchaser. Whether it is the storage and sharing of information, the streaming of videos, music and photos to ... Read more

$11.99 CAD or Free with Kobo Plus

UPDATED AUGUST 2026 FOR DSM 7.4Also applicable to DSM 7.3 & 7.2“The missing manual that should have been supplied with the DiskStation”With superb functionality and ease of use through the acclaimed DSM operating system, Synology DiskStations are the NAS of choice for the discerning purchaser. Whether it is the storage and sharing of information, the streaming of videos, music and photos to
... Read more
Fundamental Approaches to Software Engineering

21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Edited by Alessandra Russo, Andy Schürr ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and
... Read more
Beginning Excel VBA

by Iducate Learning Technologies ...

Learn Excel VBA with this concise book on Excel VBA for beginners. Learn Excel VBA in the shortest time with this book that zooms in straight on the most important concepts with EXAMPLES! Soon, you can develop your own Excel VBA financial/quantitative models, reports, macros and much more! We cover Variables, Functions, If-Else conditions, loops, built in functions and much more. Book also comes ... Read more

$4.11 CAD

Learn Excel VBA with this concise book on Excel VBA for beginners. Learn Excel VBA in the shortest time with this book that zooms in straight on the most important concepts with EXAMPLES! Soon, you can develop your own Excel VBA financial/quantitative models, reports, macros and much more! We cover Variables, Functions, If-Else conditions, loops, built in functions and much more. Book also comes
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Edited by Sriram Sankaranarayanan, Natasha Sharygina ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Read more

Free

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume
... Read more
Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Read more

Free

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Read more
Godot from Zero to Proficiency (Foundations)

Godot from Zero to Proficiency, #1

by Patrick Felicia ...

Series Book 1 - Godot from Zero to Proficiency
Get started with Godot and game programming fast without the headachesGodot is a great software to create video games; however, it includes so many options and features that getting started can feel overwhelming.Without my book, most people spend too long trying to learn how to use Godot the hard way. This book is the only one that will get you to learn Godot fast without wasting so much time. ... Read more

$5.99 CAD or Free with Kobo Plus

Get started with Godot and game programming fast without the headachesGodot is a great software to create video games; however, it includes so many options and features that getting started can feel overwhelming.Without my book, most people spend too long trying to learn how to use Godot the hard way. This book is the only one that will get you to learn Godot fast without wasting so much time.
... Read more
Real-Time Systems

Design Principles for Distributed Embedded Applications

by Hermann Kopetz ...

Series series Computer Science (R0)
"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for ... Read more

$102.49 CAD

"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for
... Read more
Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification;
... Read more
Encyclopedia of Computer Science and Technology

Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation

Edited by Allen Kent, James G. Williams ...

Series series Computer Science and Technology Encyclopedia
Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation. Covering more than basic computer commands and procedures, this encyclopaedia summarizes how technology has developed, the future of computer programs and applications, and the significance of computer components. Following an introduction and overview, there are approximately 750 to 800 entries. ... Read more

$79.69 CAD

Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation. Covering more than basic computer commands and procedures, this encyclopaedia summarizes how technology has developed, the future of computer programs and applications, and the significance of computer components. Following an introduction and overview, there are approximately 750 to 800 entries.
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

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

Top Series in Canada

Springer Nature Proceedings Computer Science

Computer Science (R0)

Go Where the Bugs Are

Model Checking Software

People who read these also enjoyed

Fundamental Approaches to Software Engineering

Synology NAS Setup Guide

Fundamental Approaches to Software Engineering

Beginning Excel VBA

Tools and Algorithms for the Construction and Analysis of Systems

Formal Methods

Godot from Zero to Proficiency (Foundations)

Real-Time Systems

Formal Techniques for Safety-Critical Systems

Encyclopedia of Computer Science and Technology

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

Top Series in Canada

Springer Nature Proceedings Computer Science

Computer Science (R0)

Show:

People who read these also enjoyed