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

Feeding Your Guinea Pigs

by Laura Humphreys ...

If you've got guinea pigs, you'll have noticed that they are constantly eating, and always making out they are still hungry. But what foods do guinea pigs need, how much of everything can they have, and what should you avoid feeding them?The ebook provides you with all the information you need to know. ... Read more

$2.99 CAD or Free with Kobo Plus

If you've got guinea pigs, you'll have noticed that they are constantly eating, and always making out they are still hungry. But what foods do guinea pigs need, how much of everything can they have, and what should you avoid feeding them?The ebook provides you with all the information you need to know.
... Read more
Globalising Housework

Domestic Labour in Middle-class London Homes,1850-1914

by Laura Humphreys ...

Series series Home
This book shows how international influences profoundly shaped the ‘English’ home of Victorian and Edwardian London; homes which, in turn, influenced Britain’s (and Britons’) place on the world stage. The period between 1850 and 1914 was one of fundamental global change, when London homes were subject to new expanding influences that shaped how residents cleaned, ate, and cared for family. It was ... Read more

$85.99 CAD

This book shows how international influences profoundly shaped the ‘English’ home of Victorian and Edwardian London; homes which, in turn, influenced Britain’s (and Britons’) place on the world stage. The period between 1850 and 1914 was one of fundamental global change, when London homes were subject to new expanding influences that shaped how residents cleaned, ate, and cared for family. It was
... Read more
NASA Formal Methods

17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

Edited by Aaron Dutle, Laura Humphrey, Laura Titolo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurancefor applications in space, aviation, robotics, and other ... Read more

$179.99 CAD

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurancefor applications in space, aviation, robotics, and other
... Read more
Fidel between the Lines

Paranoia and Ambivalence in Late Socialist Cuban Cinema

by Laura-Zoë Humphreys ...

In Fidel between the Lines Laura-Zoë Humphreys traces the changing dynamics of criticism and censorship in late socialist Cuba through a focus on cinema. Following the collapse of the Soviet Union, the Cuban state strategically relaxed censorship, attempting to contain dissent by giving it an outlet in the arts. Along with this shift, foreign funding and digital technologies gave filmmakers more ... Read more

$39.99 CAD

In Fidel between the Lines Laura-Zoë Humphreys traces the changing dynamics of criticism and censorship in late socialist Cuba through a focus on cinema. Following the collapse of the Soviet Union, the Cuban state strategically relaxed censorship, attempting to contain dissent by giving it an outlet in the arts. Along with this shift, foreign funding and digital technologies gave filmmakers more
... Read more

Privacy

A Short History

by David Vincent ...

Privacy: A Short History provides a vital historical account of an increasingly stressed sphere of human interaction. At a time when the death of privacy is widely proclaimed, distinguished historian, David Vincent, describes the evolution of the concept and practice of privacy from the Middle Ages to the present controversy over digital communication and state surveillance provoked by the ... Read more

$23.99 CAD

Privacy: A Short History provides a vital historical account of an increasingly stressed sphere of human interaction. At a time when the death of privacy is widely proclaimed, distinguished historian, David Vincent, describes the evolution of the concept and practice of privacy from the Middle Ages to the present controversy over digital communication and state surveillance provoked by the
... Read more
Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Edited by Alexandra Silva, K. Rustan M. Leino ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

Free

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Read more
Behind Closed Doors

The Secret Life of London Private Members' Clubs

by Seth Alexander Thévoz ...

With a keen eye for the juicy anecdote, Thévoz tells the fascinating and entertaining story of the rise, decline and resurgence of London's private members' clubs, from the late-eighteenth century to the present day. In doing so he looks at cultural and political developments beyond the clubs, revealing how while the clubs may have been products of their city and country, they also exerted ... Read more

$4.99 CAD

Also available as: Audiobook

With a keen eye for the juicy anecdote, Thévoz tells the fascinating and entertaining story of the rise, decline and resurgence of London's private members' clubs, from the late-eighteenth century to the present day. In doing so he looks at cultural and political developments beyond the clubs, revealing how while the clubs may have been products of their city and country, they also exerted
... Read more

Also available as: Audiobook
Formal Methods

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

Edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Book 1 - 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
Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Edited by Hana Chockler, Georg Weissenbacher ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

Free

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and
... Read more
The English in Love

The Intimate Story of an Emotional Revolution

by Claire Langhamer ...

Love has a history. It has meant different things to different people at different moments and has served different purposes. This book tells the story of love at a crucial point, a moment when the emotional landscape changed dramatically for large numbers of people. It is a story based in England, but informed by America, and covers the period from the end of the First World War until the break ... Read more

$11.99 CAD

Love has a history. It has meant different things to different people at different moments and has served different purposes. This book tells the story of love at a crucial point, a moment when the emotional landscape changed dramatically for large numbers of people. It is a story based in England, but informed by America, and covers the period from the end of the First World War until the break
... Read more
Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

Free

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Read more
Violent Victorians

Popular entertainment in nineteenth-century London

by Rosalind Crone ...

By drawing attention to the wide range of gruesome, bloody and confronting amusements patronised by ordinary Londoners this book challenges our understanding of Victorian society and culture. From the turn of the nineteenth century, graphic, yet orderly, ‘re-enactments’ of high level violence flourished in travelling entertainments, penny broadsides, popular theatres, cheap instalment fiction and ... Read more

$30.99 CAD

By drawing attention to the wide range of gruesome, bloody and confronting amusements patronised by ordinary Londoners this book challenges our understanding of Victorian society and culture. From the turn of the nineteenth century, graphic, yet orderly, ‘re-enactments’ of high level violence flourished in travelling entertainments, penny broadsides, popular theatres, cheap instalment fiction and
... 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

Home

Feeding Your Guinea Pigs

Globalising Housework

NASA Formal Methods

Fidel between the Lines

People who read these also enjoyed

Privacy

Computer Aided Verification

Behind Closed Doors

Formal Methods

Computer Aided Verification

The English in Love

Computer Aided Verification

Violent Victorians

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

Home

Show:

People who read these also enjoyed