586 resultater (0,57241 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Theory and Practice of Model Transformations - - Bog - Springer International Publishing AG - Plusbog.dk

Theory and Practice of Model Transformations - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 13 revised papers were carefully selected from 36 submissions. The papers are organized in topical sections on model transformation languages, model transformation tools, developing model transformations, applications of model transformations, and looking ahead.

DKK 416.00
1

Model Checking Software - - Bog - Springer International Publishing AG - Plusbog.dk

Model Checking Software - - Bog - Springer International Publishing AG - Plusbog.dk

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.

DKK 416.00
1

Model Checking Software - - Bog - Springer International Publishing AG - Plusbog.dk

Model Checking Software - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

DKK 476.00
1

Theory and Practice of Model Transformations - - Bog - Springer International Publishing AG - Plusbog.dk

Theory and Practice of Model Transformations - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L''Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.

DKK 375.00
1

Model and Data Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

Model and Data Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016. The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 submissions. The papers range on a wide spectrum covering fundamental contributions, applications and tool developments and improvements in model and data engineering activities.

DKK 423.00
1

Model and Data Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

Model and Data Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022. The 18 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers cover topics such as database systems, data stream analysis, knowledge-graphs, machine learning, model-driven engineering, image processing, diagnosis, natural language processing, optimization, and advanced applications such as the internet of things and healthcare.

DKK 519.00
1

Model and Data Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

Model and Data Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as modeling and meta modeling; ontology-based modeling, reasoning and reuse; event-B and modeling languages; context modeling and model transformation; data mining; query processing; modeling activities and inference; prediction and recommendation; requirement and systems engineering.

DKK 416.00
1

Model-Driven Engineering and Software Development - - Bog - Springer International Publishing AG - Plusbog.dk

Model-Driven Engineering and Software Development - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8–10, 2021 and February 6–8, 2022. The 11 full papers included in this book were carefully reviewed and selected from 121 submissions. The purpose of the International Conference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development.

DKK 593.00
1

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer International Publishing AG - Plusbog.dk

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

DKK 426.00
1

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer International Publishing AG - Plusbog.dk

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

DKK 604.00
1

Model-Based Safety and Assessment - - Bog - Springer International Publishing AG - Plusbog.dk

Model-Based Safety and Assessment - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.

DKK 415.00
1

Molecular Response Functions for the Polarizable Continuum Model - Roberto Cammi - Bog - Springer International Publishing AG - Plusbog.dk

Molecular Response Functions for the Polarizable Continuum Model - Roberto Cammi - Bog - Springer International Publishing AG - Plusbog.dk

This Brief presents the main aspects of the response functions theory (RFT) for molecular solutes described within the framework of the Polarizable Continuum Model (PCM). PCM is a solvation model for a Quantum Mechanical molecular system in which the solvent is represented as a continuum distribution of matter. Particular attention is devoted to the description of the basic features of the PCM model, and to the problems characterizing the study of the response function theory for molecules in solution with respect to the analogous theory on isolated molecules.

DKK 426.00
1

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer International Publishing AG - Plusbog.dk

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

DKK 426.00
1

Human Needs' Analysis and Evaluation Model for Product Development - Gabriela Unger Unruh - Bog - Springer International Publishing AG - Plusbog.dk

Human Needs' Analysis and Evaluation Model for Product Development - Gabriela Unger Unruh - Bog - Springer International Publishing AG - Plusbog.dk

This book presents a model (HUNE) that assists in the insertion of human aspects in the product development process (PDP), at the beginning of a project, at the analyzed information, during its development and post-development, evaluating its suitability for human beings. The model proved to be actual with respect to the existing ones, dynamic and flexible, because it does not replace any model, but can be applied to other models, methods, or structures of PDPs, and enables scope, replication, and future improvements. Its applications brought satisfactory results, and it was very well evaluated by the participants in the application, by external experts and also through scientific publications.

DKK 391.00
1

Model Checking Software - - Bog - Springer International Publishing AG - Plusbog.dk

Model Checking Software - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

DKK 416.00
1

Model-Based Safety and Assessment - - Bog - Springer International Publishing AG - Plusbog.dk

Model-Based Safety and Assessment - - Bog - Springer International Publishing AG - Plusbog.dk

​This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.

DKK 426.00
1

SDL 2015: Model-Driven Engineering for Smart Cities - - Bog - Springer International Publishing AG - Plusbog.dk

SDL 2015: Model-Driven Engineering for Smart Cities - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain specific languages; goal modeling; use-case modeling; and model-based testing.

DKK 375.00
1