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

Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Edited by Roderick Bloem, Eli Arbel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future
... Read more
Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions
... Read more
Red Haven

by Ray Bloom, Shelley Routledge, Roderick Brydon ...

Series Book 1 - The Door Between Lanes
"Bloom approaches psychological horror from an uncommon angle, placing male sexual victimization, coercive consent, and manipulated memory at the center of the story."—The BookLife ReportHaunted by family bereavement, Sam Hartwell, a loner, escapes to New York City to start anew, where he meets a mysterious girl in the dead of night. Titillated by her advances, Sam allows their relationship to ... Read more

$4.99 USD or Free with Kobo Plus

"Bloom approaches psychological horror from an uncommon angle, placing male sexual victimization, coercive consent, and manipulated memory at the center of the story."—The BookLife ReportHaunted by family bereavement, Sam Hartwell, a loner, escapes to New York City to start anew, where he meets a mysterious girl in the dead of night. Titillated by her advances, Sam allows their relationship to
... Read more

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... Read more
Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and
... 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
Halfway to the Grave

A Night Huntress Novel

by Jeaniene Frost ...

Series Book 1 - Night Huntress
Meet the vampire world's supercouple Cat and Bones in this special 10th anniversary edition, with a "director's cut" collection of deleted scenes!"Cat and Bones are combustible together." - Charlaine HarrisHalf-vampire Catherine Crawfield is going after the undead with a vengeance, hoping that one of these deadbeats is her father—the one responsible for ruining her mother's life. Then she's ... Read more

$8.99 USD or Free with Kobo Plus

Also available as: Audiobook

Meet the vampire world's supercouple Cat and Bones in this special 10th anniversary edition, with a "director's cut" collection of deleted scenes!"Cat and Bones are combustible together." - Charlaine HarrisHalf-vampire Catherine Crawfield is going after the undead with a vengeance, hoping that one of these deadbeats is her father—the one responsible for ruining her mother's life. Then she's
... Read more

Also available as: Audiobook
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
Fifth Grave Past the Light

by Darynda Jones ...

Series Book 5 - Charley Davidson Series
Never underestimate the power of a womanon a double espresso with a mocha latte chaser high.—T-shirtCharley Davidson isn't your everyday, run-of-the-mill grim reaper. She's more of a paranormal private eye/grim reaper extraordinaire. However, she gets sidetracked when the sexy, sultry son of Satan, Reyes Farrow, moves in next door. To further complicate matters, Reyes is her main suspect in an ... Read more

$14.99 USD

Also available as: Audiobook

Never underestimate the power of a womanon a double espresso with a mocha latte chaser high.—T-shirtCharley Davidson isn't your everyday, run-of-the-mill grim reaper. She's more of a paranormal private eye/grim reaper extraordinaire. However, she gets sidetracked when the sexy, sultry son of Satan, Reyes Farrow, moves in next door. To further complicate matters, Reyes is her main suspect in an
... Read more

Also available as: Audiobook
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
The Curse of Tenth Grave

A Novel

by Darynda Jones ...

Series Book 10 - Charley Davidson Series
If one door closes and another one opens,your house is probably haunted.—Bumper StickerAs a Part-time PI and fulltime grim reaper, Charley Davidson has asked a lot of questions throughout her life: Why can I see dead people? Who is the hot supernatural entity following me? How do I get gum out of my sister’s hair before she wakes up? But, “How do I trap not one malevolent god, but three?” was ... Read more

$14.99 USD

Also available as: Audiobook

If one door closes and another one opens,your house is probably haunted.—Bumper StickerAs a Part-time PI and fulltime grim reaper, Charley Davidson has asked a lot of questions throughout her life: Why can I see dead people? Who is the hot supernatural entity following me? How do I get gum out of my sister’s hair before she wakes up? But, “How do I trap not one malevolent god, but three?” was
... Read more

Also available as: Audiobook
Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Edited by Dirk Beyer, Marieke Huisman ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 ... Read more

Free

This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43
... 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 United States

Springer Nature Proceedings Computer Science

The Door Between Lanes

Hardware and Software: Verification and Testing

Software Verification

Red Haven

People who read these also enjoyed

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Computer Aided Verification

Halfway to the Grave

Computer Aided Verification

Fifth Grave Past the Light

Computer Aided Verification

The Curse of Tenth Grave

Tools and Algorithms for the Construction and Analysis of Systems

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 United States

Springer Nature Proceedings Computer Science

The Door Between Lanes

Show:

People who read these also enjoyed