Book123

Science/Engineering TeX, XML, and Digital Typography: International Conference on TEX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TEX User ... (Lecture Notes in Computer Science)

===Computer相关链接===[2007/0916][2007/0912][2007/0912][2007/0911][2007/0908]TeX, XML, and Digital Typography: International Conference on TEX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TEX User ... (Lect ...

Technical User Modeling 2007: 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

ISBN: 354073077X Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 11th International Conference on User Modeling, UM 2007, held in Corfu, Greece in July 2007. The 30 revised full papers and 32 po ...

Technical Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... (Lecture Notes in Computer Science)

ISBN: 3540433694 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 11th International Conference on Compiler Construction, CC 2002, held in Grenoble, France, in April 2002. The 19 revised full pap ...

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 Compiler Construction: 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... (Lecture Notes in Computer Science)

ISBN: 3540009043 Publisher: Springer Author: Description:  This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003. The 20 revised full ...

Technical Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science)

ISBN: 3540665366 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in ...