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...


Computer Science (R0) Serie de eBooks

1 - 12 de 12 resultados
Skip side bar filters

  • Automated Theorem Proving in Software Engineering

    de Johann M. Schumann ...
    Series series Computer Science (R0)
    This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm ... Leer más

    $49.99 USD

La gente que leyó esto también disfrutó

  • Software Engineering for Resilient Systems

    8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

    Edición de Ivica Crnkovic, Elena Troubitsyna ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; ... Leer más

    $49.99 USD

  • Trusted Systems

    6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers

    Edición de Moti Yung, Liehuang Zhu, Yanjiang Yang ...
    Series series Springer Nature Proceedings Computer Science
    Normal 0 false false false EN-US X-NONE X-NONEThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Trusted Systems, INTRUST 2014, held in Beijing, China, in December 2014.The conference brings together academic and industrial researchers, designers, and implementers with end-users of trusted systems, in order to foster the exchange of ... Leer más

    $49.99 USD

  • Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

    Edición de Ivan Lanese, Eric Madelaine ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... Leer más

    $49.99 USD

  • Privacy in a Digital, Networked World

    Technologies, Implications and Solutions

    Edición de Sherali Zeadally, Mohamad Badra ...
    Series series Computer Science (R0)
    This comprehensive textbook/reference presents a focused review of the state of the art in privacy research, encompassing a range of diverse topics. The first book of its kind designed specifically to cater to courses on privacy, this authoritative volume provides technical, legal, and ethical perspectives on privacy issues from a global selection of renowned experts. Features: examines privacy ... Leer más

    $53.99 USD

  • Multiple Access Communications

    9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings

    Edición de Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 9th International Workshop on Multiple Access Communications, MACOM 2016, held in Aalborg, Denmark, in November 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 12 submissions. They were organized in topical sections named: physical layer aspects; MAC layer aspects; and information theory. ... Leer más

    $49.99 USD

  • FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

    Edición de John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary ... Leer más

    $49.99 USD

  • Formal Methods: Foundations and Applications

    18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

    Edición de Bill Roscoe, Márcio Cornélio ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and ... Leer más

    $40.99 USD

  • Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

    Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers

    Edición de Raphaël C.-W. Phan, Moti Yung ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the Second International Conference on Cryptology and Malicious Security, held in Kuala Lumpur, Malaysia, December 1-2, 2016.The 26 revised full papers, two short papers and two keynotes presented were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on revisiting tradition; different ... Leer más

    $49.99 USD

  • Sequences and Their Applications - SETA 2014

    8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

    Edición de Kai-Uwe Schmidt, Arne Winterhof ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Sequences and Their Applications, SETA 2014, held in Melbourne, VIC, Australia, in November 2014. The 24 full papers presented together with 2 invited papers were carefully reviewed and selected from 36 submissions. The papers have been organized in topical sections on Boolean functions, perfect sequences, ... Leer más

    $49.99 USD

  • Advances in Cryptology -- CRYPTO 2012

    32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings

    Edición de Ran Canetti, Reihaneh Safavi-Naini ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 32nd Annual International Cryptology Conference, CRYPTO 2012, held in Santa Barbara, CA, USA, in August 2012. The 48 revised full papers presented were carefully reviewed and selected from 225 submissions. The volume also contains the abstracts of two invited talks. The papers are organized in topical sections on symmetric cryptosystems, secure ... Leer más

    $49.49 USD

  • Formal Aspects of Component Software

    12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

    Edición de Christiano Braga, Peter Csaba Ölveczky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, ... Leer más

    $49.49 USD