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

This bookconstitutes the refereed proceedings of the 5th International Conference on Abstract...

Correct Software in Web Applications and Web Services

Semantics in Data and Knowledge Bases

InhaltsangabeAbout Semantics.-Constraints in RDF -Types and Constraints: From Relational to XML D...

Fundamentals of Information Systems

InhaltsangabePreface. 1. Foundations of Object-oriented Modeling Notations in a Dynamic Logic Fra...

Database and Expert Systems Applications

InhaltsangabeConsistent Query Answering Using Relational Databases through Argumentation.- Analyt...

Semantics in Databases

This book constitutes the thoroughly refereed post-proceedings of the Second International Worksh...

Web Information Systems Engineering - WISE 2008

This book constitutes the proceedings of the 9th International Conference on Web Information Syst...

Semantics in Data and Knowledge Bases

This book constitutes the thoroughly refereed post-workshop proceedings of the Third Internationa...

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

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on ...

Foundations of Information and Knowledge Systems

This volume contains the papers presented at the First International Sym- sium on Foundations of ...

Database and Expert Systems Applications

This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd Inte...

Semantics in Data and Knowledge Bases

This book constitutes the thoroughly refereed post-conference proceedings of the 5th Internationa...