Book123

Technical Algorithms and Complexity: 4th Italian Conference, CIAC 2000 Rome, Italy, March 1-3, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN: 3540671595 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 4th Italian Conference on Algorithms and Complexity, CIAC 2000, held in Rome, Italy, in March 2000. The 21 revised full papers pr ...

Technical Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

ISBN: 3642024238 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in ...

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