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 “chun ouyang”
Skip side bar filters

  • Web Services and Formal Methods

    10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

    Edición de Emilio Tuosto, Chun Ouyang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model ... Leer más

    $40.99 USD

La gente que leyó esto también disfrutó

  • CUDA Application Design and Development

    de Rob Farber ...
    As the computer industry retools to leverage massively parallel graphics processing units (GPUs), this book is designed to meet the needs of working software developers who need to understand GPU programming with CUDA and increase efficiency in their projects. CUDA Application Design and Development starts with an introduction to parallel computing concepts for readers with no previous parallel ... Leer más

    $44.99 USD

  • Software Engineering for Resilient Systems

    7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

    Edición de Alessandro Fantechi, Patrizio Pelliccione ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and ... Leer más

    $40.99 USD

  • System Analysis and Modeling. Technology-Specific Aspects of Models

    9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

    Edición de Steffen Herbold, Jens Grabowski ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... Leer más

    $49.99 USD

  • Human Aspects of Information Security, Privacy, and Trust

    4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

    Edición de Theo Tryfonas ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 4th International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing ... 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

  • Software Engineering

    International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

    Edición de Bertrand Meyer, Martin Nordio ...
    Series series Computer Science (R0)
    The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field.Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected ... Leer más

    $40.99 USD

  • Cooperative Work and Coordinative Practices

    Contributions to the Conceptual Foundations of Computer-Supported Cooperative Work (CSCW)

    de Kjeld Schmidt ...
    Series series Computer Science (R0)
    Information technology has been used in organisational settings and for organisational purposes such as accounting, for a half century, but IT is now increasingly being used for the purposes of mediating and regulating complex activities in which multiple professional users are involved, such as in factories, hospitals, architectural offices, and so on. The economic importance of such coordination ... Leer más

    $143.09 USD

  • Modelling Foundations and Applications

    12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

    Edición de Andrzej Wąsowski, Henrik Lönn ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track ... Leer más

    $49.49 USD

  • 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

  • Security of Industrial Control Systems and Cyber-Physical Systems

    Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers

    Edición de Frédéric Cuppens, Nora Cuppens-Boulahia, Sokratis Katsikas, Costas Lambrinoudakis ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second Conference onSecurity of Industrial Control Systems and Cyber-Physical Systems, CyberICPS 2016, held in Crete, Greece, in September 2016 in conjunction with ESORICS 2016, the 21st annual European Symposium on Research in Computer Security.The 5 revised full papers 2 invited papers presented were carefully reviewed and selected from 18 ... Leer más

    $49.49 USD

  • Testing Software and Systems

    28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

    Edición de Natalia Kushik, Mihai Nica, Franz Wotawa ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in ... Leer más

    $49.99 USD