Domain specific visualization – Bücher zum Thema Domain specific visualization finden und kaufen

Buch Cover Formal Methods and Software Engineering

Springer International Publishing
53.49 € · eBook

Concurrent systems Distributed algorithms Model checking Software product lines Specification languages Consistency verification Constraint solving Domain specific visualization Evaluation Language design Logic Model-driven engineering Reliability Security Semantics

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of ...

Solving Software Challenges for Exascale

Springer International Publishing
42.79 € · eBook

communications management concurrent algorithms cross-computing tools and techniques distributed computing models domain specific languages fault tolerance massively parallel and high-performance simulations message passing modeling molecular simulation monte carlo methods optimization parallel algorithms performance analysis runtime environments

This volume contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014. The 6 full papers presented together with 6 short papers were carefully reviewed and selected fr...

Formal Methods and Software Engineering

Springer International Publishing
53.49 € · Paperback

Concurrent systems Distributed algorithms Model checking Software product lines Specification languages Consistency verification Constraint solving Domain specific visualization Evaluation Language design Logic Model-driven engineering Reliability Security Semantics

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of ...

Solving Software Challenges for Exascale

Springer International Publishing
42.8 € · Paperback

communications management concurrent algorithms cross-computing tools and techniques distributed computing models domain specific languages fault tolerance massively parallel and high-performance simulations message passing modeling molecular simulation monte carlo methods optimization parallel algorithms performance analysis runtime environments

This volume contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014. The 6 full papers presented together with 6 short papers were carefully reviewed and selected fr...

Ergebnisse für: Domain specific visualization

Hier findest Du Bücher, die sich mit Domain specific visualization beschäftigen.