Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “daniel dougherty”
Skip side bar filters

  • The Great Isolation

    de aaron a. abeyta, Kevin J. Anderson, Tyson Hausdoerffer, J.S. Mayank, Laura Pritchett, Fran Wilde, Leath Tonino, Kristen Arendt, Nancy Beauregard, Corrinne Brubaker, Jennifer Goddard-Garcia, Daniel Dougherty, Robin Conley, Nic Lishko, Erica Reid, Joshua Williams, Marilyn K. Moody, Carla Mercado, Elise Tobler, Evan Barber, Ed Hickok, Alicia Cohn ...
    For a moment, the world stood still……but our people were forced to stand alone.And in the midst of this darkness, one Colorado group decided to use art to heal broken hearts.As mandatory stay-at-home orders continued, it became clear that the Coronavirus pandemic would not surrender anytime soon. Feelings of trepidation and sadness spread like wildfire, and our people grew weary and afraid.That's ... Leer más

    $4.99 USD

  • Energize Your Leadership

    Discover, Ignite, Break Through

    de Energized Leaders, LLC, Larae Quy, Cynthia Bazin, Carol Dougherty, John Thurlbeck, Barry Smith, Alli Polin, Chery Gegelman, Karin Hurt, Terri Klass, Daniel Buhr, Hoda Maalouf, Jon Mertz, Lalita Raman, Scott Mabry, Susan Mazza, Tony Vengrove ...
    Energize Your Leadership springs from a collaboration of 16 leaders from around the world who came together online. They recognized a lack of energy, excitement and sense of purpose in the leaders they interact with each day. As they explored ways to help these disengaged, overwhelmed and discouraged leaders discover a new spark an extraordinary community of friends developed. Here they share ... Leer más

    $7.99 USD o gratis con Kobo Plus

  • Superconductivity Revisited

    de Ralph Dougherty, J. Daniel Kimel ...
    While the macroscopic phenomenon of superconductivity is well known and in practical use worldwide, the current theoretical paradigm for superconductivity suffers from a number of limitations. For example, there is no currently accepted theoretical explanation for the pattern of superconductor critical temperatures in the periodic table. Historical ... Leer más

    $89.99 USD

  • Audiolibro

    How to Build Empowered Partners® that Skyrocket Your Visibility and Income

    A Networking Handbook for Creatives

    de Stephanie Bonte-Lebair ...
    Narrado por Stephanie Bonte-Lebair, Suzy Prudden, Karlyn Ankrom, Scott Aaron, Erin Duffy, Ella Glasgow, Deborah Daniel, Jeannie Dougherty, Danny Bermant, Abigail Tiefenthaler0, Natalie Krul1, Lynda Sunshine West2 ...

    Completo

    3 hora 23 minutos

    For every creative, service-based entrepreneur who has said, "I meet great people at networking events, but it doesn't translate into enough new clients," this book is for you.Professional singer turned networking coach and facilitator, Stephanie Bonte-Lebair joins forces with key creative experts to address the skills creatives need to leverage networking relationships for more speaking, revenue, ... Leer más

    $11.99 USD o gratis con Kobo Plus

  • Protocols, Strands, and Logic

    Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

    Edición de Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe ...
    Series series Computer Science (R0)
    This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume.Joshua’s most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several “symbolic approaches” to security ... Leer más

    $71.99 USD

La gente que leyó estos también disfrutó

  • Data-Intensive Text Processing with MapReduce

    de Jimmy Lin, Chris Dyer ...
    Series series Synthesis Lectures on Human Language Technologies
    Our world is being revolutionized by data-driven methods: access to large amounts of data has generated new insights and opened exciting new opportunities in commerce, science, and computing applications. Processing the enormous quantities of data necessary for these advances requires large clusters, making distributed computing paradigms more crucial than ever. MapReduce is a programming model ... Leer más

    $36.99 USD

  • Computer Aided Verification

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

    Edición de Alexandra Silva, K. Rustan M. Leino ...
    Series Libro 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 ... Leer más

    Gratis

  • 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 II

    Edición de Hana Chockler, Georg Weissenbacher ...
    Series Libro 2 - 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 ... Leer más

    Gratis

  • 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 I

    Edición de Dirk Beyer, Marieke Huisman ...
    Series Libro 1 - 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 ... Leer más

    Gratis

  • 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

    Edición de Dirk Beyer, Marieke Huisman ...
    Series Libro 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 ... Leer más

    Gratis

  • 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

    Edición de Hana Chockler, Georg Weissenbacher ...
    Series Libro 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 ... Leer más

    Gratis

  • Handbook of Constraint Programming

    Edición de Francesca Rossi, Peter van Beek, Toby Walsh ...
    Series series Foundations of Artificial Intelligence
    Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics ... Leer más

    $193.99 USD