User Modeling 2005
10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings
This title belongs to the subseries: Lecture Notes in Artificial Intelligence
Book titles in this series
-
-
Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
This title belongs to the subseries: Theoretical Computer Science and General Issues
-
Model Driven Architecture
European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
This title belongs to the subseries: Programming and Software Engineering
-
Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
This title belongs to the subseries: Theoretical Computer Science and General Issues
-
Scenarios: Models, Transformations and Tools
International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
This title belongs to the subseries: Programming and Software Engineering
-
Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
This title belongs to the subseries: Theoretical Computer Science and General Issues
-
Unconventional Programming Paradigms
International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
This title belongs to the subseries: Theoretical Computer Science and General Issues
-
Fundamentals of Computation Theory
Proceedings of the 1981 International FCT-Conference, Szeged, Hungaria, August 24-28, 1981
-
Logical Foundations of Computer Science
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
-
Advanced Information Systems Engineering
7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings
