Book123

Technical Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

ISBN: 3540705937 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 rev ...

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 Automata, Languages and Programming: 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN: 3540677151 Publisher: Springer Author: Description:Proceedings of the 27th International Colloquium, ICALP 2000, held in Geneva, Switzerland, July 9-15, 2000. In addition to all of the papers from the Colloquium, abstracts of a plenar ...

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 Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN: 3540679014 Publisher: Springer Author: Description:The proceedings of the 25th International Symposium, MFCS 2000, held in Bratislava, Slovakia, August 28- September 1, 2000. The conference was rather unique in that it was organized a ...

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 ...