1
Property Testing [E-Book] : Current Research and Surveys /
2
LATIN 2010: Theoretical Informatics [E-Book] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings /
3
Conceptual Structures: Knowledge Architectures for Smart Applications [E-Book] : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings /
4
Practice and Theory of Automated Timetabling VI [E-Book] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers /
5
Conceptual Structures: Inspiration and Application [E-Book] / 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings
6
Practice and Theory of Automated Timetabling V [E-Book] / 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
7
Conceptual Structures at Work [E-Book] : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings /
8
Practice and Theory of Automated Timetabling IV [E-Book] : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers /
9
Evolutionary Multi-Criterion Optimization [E-Book] : Second International Conference, EMO 2003, Faro, Portugal, April 8–11, 2003. Proceedings /