Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

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
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “ana baxter”
Skip side bar filters

  • Audiobook

    A Little Freckled Person: A Book of Child Verse (UNABRIDGED)

    optional

    by Mary Carolyn Davies ...
    Narrated by Lisa Herring, Hugh Bolduc, Charles Sokolsky, Ana Baxter ...

    Unabridged

    44 min

    Here is a delightful collection of short verses for children by Mary Carolyn Davies. Seeing the world through child-like imagination, these light-hearted poems are of trains, fishing, gardening, fairies and so much more. ... Read more

    $4.99 USD

  • The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part II

    Edited by Ana Cavalcanti, James Baxter ...
    Series Book 14781 - Lecture Notes in Computer Science
    This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service.Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and ... Read more

    $125.99 USD

  • The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part I

    Edited by Ana Cavalcanti, James Baxter ...
    Series Book 14780 - Lecture Notes in Computer Science
    This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service.Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and ... Read more

    $107.99 USD

  • Audiobook

    Little Book of Yves Saint Laurent

    The Story of the Iconic Fashion Designer

    by Emma Baxter-Wright ...
    Narrated by Ana Clements ...
    Series series Little Books of Fashion

    Unabridged

    1 hour 51 min

    Little Book of Yves Saint Laurent is the fascinating story of 60 years of innovative fashion design.An enigmatic, daring and astonishingly creative designer, Yves Saint Laurent is credited with the elevation of haute couture to fine art, turning the fashion show into a spectacle of breathtaking proportions, and revolutionizing the gendered norms of womenswear.Describing Saint Laurent’s beginnings ... Read more

    $9.99 USD

  • Audiobook

    The Little Book of Chanel

    The Story of the Iconic Fashion Designer

    by Emma Baxter-Wright ...
    Narrated by Ana Clements ...
    Series series Little Books of Fashion

    Unabridged

    1 hour 12 min

    Little Book of Chanel is the pocket-sized and beautifully illustrated story of the most celebrated fashion designer in history.Chronicling the life and legacy of Coco Chanel, one of fashion's most influential couturiers, this book offers a fascinating account of Chanel's evolution and innovation. From her early days of millinery, through her revolutionary inventions in sportswear and jersey ... Read more

    $9.99 USD

  • Audiobook

    Little Guides to Style Collection

    The History of Eight Fashion Icons

    by Emma Baxter-Wright, Karen Homer, Laia Farran Graves ...
    Narrated by Ana Clements ...

    Unabridged

    12 hours 40 min

    The largest collection of Little Books of Fashion titles in one audio collection.Contains the Little Book of Chanel, the Little Book of Dior, he Little Book of Prada, the Little Book of Gucci, the Little Book of Louis Vuitton, the Little Book of Hermès, the Little Book of Valentino, and the Little Book of Yves Saint Laurent.This audiobook is expertly read by Ana Clements, with audio eng... ... Read more

    $34.99 USD

  • Audiobook

    Little Guides to Style

    The Story of Four Iconic Fashion Houses

    by Emma Baxter-Wright, Karen Homer, Laia Farran Graves ...
    Narrated by Ana Clements ...
    Series series Little Books of Fashion

    Unabridged

    5 hours 30 min

    The stories of four legendary fashion houses.Exploring four designers who exemplify elegance and high couture, these little books of fashion follow these brands from their creation, moving through their style evolutions, the key looks that define them and their impact on the fashion landscape today.Discover the story behind the little black dress with the Little Book of Chanel, the tailoring ... Read more

    $34.99 USD

People who read these also enjoyed

  • Programming Languages and Systems

    27th European Symposium on Programming, ESOP 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 Amal Ahmed ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 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 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... Read more

    Free

  • 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

  • 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

  • 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

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 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, Part I

    Edited by Tomáš Vojnar, Lijun Zhang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 total of ... Read more

    Free