서명 | 저자 | 출판사 |
---|---|---|
OTM Confederated International Workshops Monterrey, Mexico) (2008 :; OTM Confederated International Workshops Corporate Author | Springer | |
National Academy Press | ||
Springer Berlin Heidelberg | ||
Springer Berlin Heidelberg | ||
US-USSR Workshop on Planetary Sciences Institute for Space Research, Moscow, R.S.F.S.R.) (1989 :; US-USSR Workshop on Planetary Sciences Corporate Author | National Academy Press | |
National Academy Press | ||
COST 263 International Workshop Barcelona, Spain) 2004 : (5th :; COST 263 International Workshop Corporate Author | Springer | |
International Conference on the Quality of Software Architectures Erfurt, Germany) 2005 : (1st :; International Conference on the Quality of Software Architectures Corporate Author | Springer | |
International Workshop on Randomization and Approximation Techniques in Computer Science Berkeley, Calif.) 1999 : (3rd :; International Workshop on Randomization and Approximation Techniques in Computer Science Corporate Author | Springer | |
International Seminar on Relational Methods in Computer Science Bad Malente, Germany) 2003 : (7th : | Springer | |
International Seminar on Relational Methods in Computer Science St. Catharines, Ont.) 2005 : (8th :; International Seminar on Relational Methods in Computer Science Corporate Author | Springer | |
International Conference on Relational Methods in Computer Science Manchester, England) 2006 : (9th :; International Conference on Relational Methods in Computer Science Corporate Author | Springer | |
International Conference on Relational Methods in Computer Science Frauenworth, Germany) 2008 : (10th : | Springer | |
International Seminar on Relational Methods in Computer Science Dawḥah, Qatar) 2009 : (11th :; International Seminar on Relational Methods in Computer Science Corporate Author | Springer | |
TACAS 2007 Braga, Portugal) (2007 : | Springer-Verlag | |
TACAS 2008 Budapest, Hungary) (2008 :; TACAS 2008 Corporate Author | Springer | |
TACAS (Conference) Berlin, Germany) 2000 : (6th :; TACAS 2000 Corporate Author | Springer | |
TACAS '99 Amsterdam, Netherlands), (1999 : issuing body.; TACAS '99 Corporate Author | Springer | |
TACAS (Conference) Barcelona, Spain) 2004 : (10th :; TACAS 2004 Corporate Author | Springer | |
TACAS 2006 Vienna, Austria) (2006 : | Springer |