che-chandler.de

Recent Advances in Constraints

Constraint programming (CP) is a powerful programming paradigm for the declarativedescription and...

Formal Methods in Macro-Biology

This book constitutes the refereed proceedings of the First International Conference on Formal Me...

Recent Advances in Constraints

This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ER...

Recent Advances in Constraints

Constraint programming is the fruit of several decades of research carried out in mathematical lo...

Principles and Practice of Semantic Web Reasoning

Journal on Data Semantics VIII

* Semantic caching * Data warehousing and semantic data mining * Spatial, temporal, multimedia an...

Journal on Data Semantics IX

* Data warehousing and semantic data mining * Spatial, temporal, multimedia and multimodal semant...

Recent Advances in Constraints

This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM Co...

Recent Advances in Constraints

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th ...

Formal Methods in Macro-Biology

This book constitutes the refereed proceedings of the First International Conference on Formal Me...

Journal on Data Semantics IX

- Data warehousing and semantic data mining - Spatial, temporal, multimedia and multimodal semant...

Recent Advances in Constraints

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 13...