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 “ingrid nunes”
Skip side bar filters

  • Engineering Multi-Agent Systems

    4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

    Edición de Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS.The 10 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The book also contains 2 invited papers; extended versions of AAMAS 2016 demonstration abstracts. ... Leer más

    $49.99 USD

La gente que leyó esto también disfrutó

  • Using Event-B for Critical Device Software Systems

    de Neeraj Kumar Singh ...
    Series series Computer Science (R0)
    Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).This is assessed and evaluated via a standard case study: the cardiac pacemaker. ... Leer más

    $89.09 USD

  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

    Edición de Sébastien Destercke, Thierry Denoeux ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiègne, France, in July 2015. The 49 revised full papers presented were carefully reviewed and selected from 69 submissions and cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief ... Leer más

    $49.49 USD

  • Hardware and Software: Verification and Testing

    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

    Edición de Roderick Bloem, Eli Arbel ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future ... Leer más

    $49.99 USD

  • Information Security

    16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

    Edición de Yvo Desmedt ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and ... Leer más

    $49.99 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

  • Hardware and Software: Verification and Testing

    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

    Edición de Nir Piterman ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model ... Leer más

    $49.49 USD

  • Software Technologies: Applications and Foundations

    STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

    Edición de Manuel Wimmer, Dániel Varró, Paolo Milazzo ...
    Series series Springer Nature Proceedings Computer Science
    This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were ... Leer más

    $49.99 USD

  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

    Edición de Alessandro Antonucci, Laurence Cholvy, Odile Papini ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017. The 44 revised full papers presented together with 5 abstracts of invited talks were carefully reviewed and selected from 63 submissions and cover topics on analogical reasoning; argumentation; ... Leer más

    $49.99 USD

  • Formal Methods and Software Engineering

    18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

    Edición de Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and ... Leer más

    $49.99 USD

  • Concurrency, Security, and Puzzles

    Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

    Edición de Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić ...
    Series series Computer Science (R0)
    This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in ... Leer más

    $49.99 USD

  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

    Edición de Thierry Lecomte, Ralf Pinger, Alexander Romanovsky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem ... Leer más

    $49.99 USD