Book123

Technical Computing and Combinatorics: 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues)

ISBN: 3540697322 Publisher: Springer Author: Description:The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, China, in June 2008. The 66 revised full papers presente ...

Technical Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN: 3540678956 Publisher: Springer Author: Description:Proceedings of the 14th International Workshop, CSL 2000, Annual Conference of the EACSL, held in Fischbachau, Germany, August 21-26, 2000. Topics covered by this year's papers includ ...

Technical Algorithmic Number Theory: 5th International Symposium, ANTS-V, Sydney, Australia, July 7-12, 2002. Proceedings (Lecture Notes in Computer Science)

ISBN: 3540438637 Publisher: Springer Author: Description:Proceedings of the 5th Intl Symposium, ANTS-V, held July 7-12, 2002 in Sydney, Australia. Softcover.

Technical CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN: 3540678972 Publisher: Springer Author: Description:Proceedings of the 11th International Conference on Concurrency Theory, held in University Park, PA, August 22-25, 2000. The scope of the confernce covered all areas of semantics, log ...

Technical Computing and Combinatorics: 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

ISBN: 3540735445 Publisher: Springer Author: Description:The refereed proceedings of the 13th Annual International Computing and Combinatorics Conference, COCOON 2007, held in Banff, Canada in July 2007. The 51 revised full papers presented ...

Technical Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN: 3540677275 Publisher: Springer Author: Description:This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000. T ...