International School of Theoretical Physics.International School of Theoretical Physics(14th : 1990 : Poland):Strongly correlated electron systems High-Te superconductivity.World Scientific,1991.
M. Broy.Summer School on Theoretical Foundations of Programming Methodology(1981 : Marktoberdorf):Theoretical Foundations of Programming Methodology.North-Holland Pub.,1981.
Winter School of Theoretical Physics.Winter School of Theoretical Physics(27th : 1991: Karpacz):Nonlinear fields : classical random semiclassical.World Scientific,1991.
I. Guessarian,LITP Spring School on Theoretical Computer Science.LITP Spring School on Theoretical Computer Science (1990 : La Roche Posay):Semantics of systems of concurrent processes :L proceedings.Springer-Verlag,1990.
J. E. Pin,LITP Spring School on theoratical Computer Science.LITP Spring School on theoretical Computer Science(1988 : France):Formal properties of finite automata and applications.Spinger-Verlag,1989.
.Practice and theory of automated timetabling VI : 6th international conference, PATAT 2006, Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers /.,.
Practice and theory of automated timetabling VI : 6th international conference, PATAT 2006, Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers /