No. | ±¸ºÐ | Á¦¸ñ(³»¿ë) | °³ÃÖÀÏÀÚ |
---|---|---|---|
798 | FICS ´02 : Fixed Points in Computer Science | 2002. 07. 20~21 | |
797 | WRS-2002 : Workshop on Reduction Strategies in Rewriting and... | 2002. 07. 21 | |
796 | ECAI 2002 : The 15th European Conference on Artificial Intel... | 2002. 07. 21~26 | |
795 | FME-2002 : Formal Methods Europe | 2002. 07. 22~24 | |
794 | RTA-2002 : Conference on Rewriting Techniques and Applicatio... | 2002. 07. 22~24 | |
793 | International Symposium on Software-Testing and Analysis | 2002. 07. 22~24 | |
792 | LICS-2002 : IEEE Symposium on Logic in Computer Science | 2002. 07. 22~25 | |
791 | SAAKM 2002 : Semantic Authoring, Annotation & Knowledge Mark... | 2002. 07. 22~26 | |
790 | WOSP 2002 : 3rd International Workshop on Software and Perfo... | 2002. 07. 23~26 | |
789 | PAPM-PROBMIV 2002 | 2002. 07. 25~26 |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.