Sophie Blue

Alexandra Silva

𝗔𝗠𝗘𝗟𝗜𝗔It's going to be a white Christmas! I'd be over the moon if it didn't meanI'm stranded in England for the holidays. Away from my friends and family.The only icing on my Christmas cake is my surprise housemate... he may claim to be a bit of a Grinch, but I'm sure I can help him find his festive spirit.After all, he does seem like a bit of a filthy animal...𝗔𝗗𝗔𝗠It was meant to be one last business trip before Christmas. It all changed the minute I saw her.Amelia Harding is everything I never knew I wanted. Cute, sassy and sexy as hell, she's got me breaking all my rules with one smile.Now we're snowed in together and I can't stop thinking about the hopeless romantic in the room next door. I want to jingle her world as hard as she's rocking mine.Maybe I'm not such a Scrooge after all...

Christmas 2020 Special Edition

Love 2 Jingle U

Dorian Anson is my friend. She's the only person who's ever questioned my smiles. My jokes. The one liners that have our friends shaking their heads at me. I've lived my life on those smiles. Thy never failed me, until her.I wasn't counting on her when I designed my front. I never imagined the possibility of someone like her coming into my life.She was the girl with the beautiful soul, pretty face and whole heart. But hearts aren't made to stay whole.I watched hers break. I watched her tears fall. I watched as her world tilted on its axis and shattered at her feet.This girl.She sees me, all parts of me--the truths I try to hide, the secrets I bury. What's mine and what's not.She sees it all, and I can only hope that the truth isn't too much. That she won't walk away.That she won't leave me...alone.We both have a past. We have ghosts. We have fears.I'm hoping that somehow in the end, we'll have each other too.I've never needed anyone before her, and I know I'll never want anyone else after her.There is no one like her.My pretty girl.Dorian.

Someone Like You

Quincy Cavendish was my first real love. She's the girl that no other measured up to--no matter how hard they tried. The one that got away, but was always in my sights.My sweetheart, I loved her when I could and when I shouldn't.I was her first kiss. Her first crush.There's nothing I wanted more than to be her first everything, but still, I walked away. I let her go when I should have held on tight.It's too late to change the past. It's impossible to do. We're different people now, but one thing remains the same--my love for her.I may not have had all her firsts, but I will be all her lasts. I'm loving her for keeps.We've circled each other all our lives, but we've never had our moment until now.

No One But You

From USA Today Bestselling author, Alexandra Silva, comes a contemporary MMA Sports romance loaded with laugh-out-loud banter and hot as hell chemistry. Choices have never been something I’m good at. They have a tendency to bite back. And one night with Rory Knight, MMA World Champion and unexpected sex god, doesn’t just bite back, it swallows me whole. One night becomes a promise of six months. No strings attached. No consequences. No expectations. Just fun. But with a guy like Rory, fun always has consequences. His world is filled with expectations. Before we know it, we’re tangled up in headlines. Fun with Rory makes me one of the most hated women in the world. And if that wasn’t enough, my past is coming back to haunt me. I’m stalked and hunted, and in the end, the only choice I have is to let Rory go. The only problem is that fighting him is is a hopeless cause. And Fighting fate…never has a happy ending. Does it?

Fighting Fate

SEBASTIAN Man, Kate is the definition of cat lady. She's all work and no play. The stick up her peachy ass is lodged so far up there, she's the star of her own muppet show. Somehow, my baby sister's landed me a starring role. Now that we're stuck together, I'm determined to put the fun into Kate. It's just too bad her sense of humor sucks harder than she does. But I'm a patient guy, if I can crack code, I can crack her. And I'll take all the pleasure in it. She can deny it all she wants, but I know she loves me and my jokes. KATE Sebastian doesn't take anything seriously. Life is one big dick joke to him. So when Amelia, his sister and my best friend, tells me we will be working together on an upcoming pitch...not amused. He loves to rattle me. Everything he does drives me crazy. He might think I love him, but I just love to hate him.

Valentine's 2021 Special Edition

Love 2 Hate U

Na vida temos desafios que o medo pode limitar, mas que adoraríamos superar. Este livro, de uma forma divertida, vai ajudar as crianças a perceber onde vive a coragem e, através de alguns truques muito simples e vividos diariamente, iremos mostrar-lhes como ultrapassar os seus medos. A Catarina e a Mariana são as amigas que te vão levar nesta viagem sem retorno para um mundo onde a coragem anda de mãos dadas com o medo, pois essa é uma emoção de sobrevivência que é normal sentir, sem vergonha. Tens de saber que é normal sentir medo e que isso é humano, é natural.-O que não podes aceitar és aceitar é que o medo te limite ou impeça de superar os teus desafios e atingir os teus objetivos. Lembra-te desta história sempre que o medo te visitar, pois com o medo de mãos dadas com a coragem, vais sempre conseguir fazer e ser aquilo que queres! Lembra-te que os vencedores nunca desistem e os desistentes nunca vencem! E tu és um vencedor! Sê feliz e continua a aprender a brincar! Adoro-te!

Onde vive a coragem?

K. Rustan M. Leino

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 I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.

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

Computer Aided Verification

Gilles Barthe

Joost-Pieter Katoen

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is also available as Open Access on Cambridge Core.

Foundations of Probabilistic Programming

Ahmed Bouajjani

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems

Peter Sutton

Sam Staton

Carla Umbach

This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017. The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language syntax, Linguistic typology, Language evolution, Logics for artificial intelligence and much more.

Alexandra Silva

About

Books

Join the club