Compositionality and Concepts in Linguistics and Psychology
By highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the ...
Lee mas
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
Lee mas
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lee mas
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Lee mas
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lee mas
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Lee mas
Modular Programming Languages
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
Lee mas
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lee mas
Service-Oriented Computing ICSOC 2006
This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in ...
Lee mas
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lee mas
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations ...
Lee mas
