2 Millionen Bücher heute bestellen und morgen im Press & Books oder k kiosk abholen.

Kontakt Filiale finden

Die Merkliste ist leer.

Registrieren Passwort vergessen?

Der Warenkorb ist leer.

Bitte warten - die Druckansicht der Seite wird vorbereitet.

Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Druckansicht verlassenErneut drucken

Model and Data Engineering

Model and Data Engineering

ISBN/GTIN

Model and Data Engineering

6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

von

Bellatreche, LadjelHrsg.Aït-Ameur, YamineHrsg.Almendros Jiménez, Jesús M.Hrsg.Pastor, ÓscarHrsg.

BuchKartoniert, Paperback

Verkaufsrang522390inEnglish Non Fiction A-Z

CHF69.00

In den Warenkorb

Beschreibung

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.

Weitere Beschreibungen

Details

ISBN/GTIN978-3-319-45546-4

ProduktartBuch

EinbandKartoniert, Paperback

Verlag

Springer International Publishing

ErscheinungslandDeutschland

Erscheinungsdatum07.09.2016

Auflage1st ed. 2016

ReiheProgramming and Software Engineering

Reihen-Nr.9893

Seiten380 Seiten

SpracheEnglisch

Artikel-Nr.3165108

WarengruppeEnglish Non Fiction

DetailwarengruppeEnglish Non Fiction A-Z

Weitere Details

Reihe

Deductive Software Verification ¿ The KeY Book

Formal Methods and Software Engineering

Programming Languages and Systems

Hardware and Software: Verification and Testing

On the Move to Meaningful Internet Systems: OTM 2016 Conferences

Formal Methods: Foundations and Applications

Engineering Trustworthy Software Systems

Mastering Scale and Complexity in Software Reuse

Formal Aspects of Component Software

Reliable Software Technologies ¿ Ada-Europe 2017

End-User Development

Rules and Reasoning

Serviceology for Services

Principles and Practice of Constraint Programming

Critical Systems: Formal Methods and Automated Verification

Software Architecture

Automated Technology for Verification and Analysis

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Fundamentals of Software Engineering

Testing Software and Systems

Runtime Verification

Formal Methods and Software Engineering

Product-Focused Software Process Improvement

Hardware and Software: Verification and Testing

Requirements Engineering: Foundation for Software Quality

Programming with Actors

Reliable Software Technologies ¿ Ada-Europe 2018

Theory and Practice of Model Transformation

Modelling Foundations and Applications

Web Services ¿ ICWS 2018

Dependable Software Engineering. Theories, Tools, and Applications

Principles and Practice of Constraint Programming

Integrated Formal Methods

Programming and Performance Visualization Tools

Software Architecture

Rules and Reasoning

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Service-Oriented and Cloud Computing

Autor

Bellatreche, LadjelHrsg.Aït-Ameur, YamineHrsg.Almendros Jiménez, Jesús M.Hrsg.Pastor, ÓscarHrsg.

Weitere Produkte von Bellatreche, Ladjel

Hrsg.

Advances in Model and Data Engineering in the Digitalization Era

Smart Applications and Data Analysis

Advances in Model and Data Engineering in the Digitalization Era

New Technologies, Artificial Intelligence and Smart Data

Proceedings of the International Conference on Artificial Intelligence and Computer Vision (AICV2021)

ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium

Data Warehousing and Knowledge Discovery

Computer Science and Its Applications

Modeling Approaches and Algorithms for Advanced Computer Applications

De la conception physique au tuning des entrepôts de données

Advances in Databases and Information Systems

New Trends in Databases and Information Systems

Advances in Databases and Information Systems

New Trends in Database and Information Systems

Conception physique de bases de données à base ontologique

Advances in Model and Data Engineering in the Digitalization Era

Modeling Approaches and Algorithms for Advanced Computer Applications

Big Data Analytics

SOFSEM 2018: Theory and Practice of Computer Science

Data Warehousing and Knowledge Discovery

Computer Science and Its Applications

Smart Applications and Data Analysis

Data Warehousing Design and Advanced Engineering Applications

Weitere Produkte von Aït-Ameur, Yamine

Hrsg.

Theoretical Aspects of Software Engineering

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Formal Methods and Software Engineering

Weitere Produkte von Almendros Jiménez, Jesús M.

Hrsg.

Weitere Produkte von Pastor, Óscar

Hrsg.

Advanced Information Systems Engineering

Web Engineering: Modelling and Implementing Web Applications

Web Engineering: Modelling and Implementing Web Applications

Advanced Information Systems Engineering

Modelling to Program

Business Process Management

Conceptual Modeling Perspectives

Seminal Contributions to Information Systems Engineering

Conceptual Modeling Perspectives

Advanced Information Systems Engineering

Conceptual Modeling - ER 2005

On the Move to Meaningful Internet Systems: OTM 2014 Conferences

Conceptual Modeling

Model-Driven Architecture in Practice

Seminal Contributions to Information Systems Engineering