Book123

Technical Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings ... Computer Science and General Issues)

ISBN: 354074455X Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Ceský Krumlov, Czech Republic ...

Technical Approximation Algorithms for Combinatorial Optimization: Third International Workshop, APPROX 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN: 3540679960 Publisher: Springer Author: Description:Proceedings of the Third International Workshop, APPROX 2000, held in Saarbruken, Germany, September 5-8, 2000. Topics of interest at the workshop included design and analysis of appr ...

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 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 Advances in Cryptology - CRYPTO 2000: 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000. Proceedings (Lecture Notes in Computer Science)

ISBN: 3540679073 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 20th Annual International Cryptology Conference, CRYPTO 2000, held in Santa Barbara, CA, USA in August 2000. The 32 revised full ...

Technical Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN: 354067778X Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revis ...