Pre-Owned Lecture Notes in Computer Science: Computer Science Logic: 18th International Workshop CSL 2004 13th Annual Conference of the Eacsl Karpacz Poland September 20-24 2004 Proceedings Paperback from other stores

  • Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheE... Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic heldonSeptember 20-24 2004 in Karpacz Poland. The CSL conference series started as the International Workshops on C-... more
  • The 1999 Annual Conference of the European Association for Computer Science Lo... The 1999 Annual Conference of the European Association for Computer Science Logic CSL 99 was held in Madrid Spain on September 20-25 1999. CSL 99 was the 13th in a series of annual meetings originally intended as Internat- nal Workshops on Computer... more
  • CSL is the annual conference of the European Association for Computer Science ... CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference thus witnessing the importance and sustained international interest in the application of me- ods from... more
  • The 1998Annual Conference of the EuropeanAssociation for Computer Science Logi... The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic CSL 98 was held in Brno Czech Republic during August 24-28 1998. CSL 98wasthe12thinaseriesofworkshopsandthe7thtobeheldasthe Annual Conference of the EACSL. The... more
  • The Annual Conference of the European Association for Computer Science Logic C... The Annual Conference of the European Association for Computer Science Logic CSL 2002 was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on... more
  • This book constitutes the strictly refereed post-workshop proceedings of the 1... This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic CSL 97 held as the 1997 Annual Conference of the European Association on Computer Science Logic EACSL in Aarhus... more
  • This volume of the Lecture Notes in Computer Science series contains the set o... This volume of the Lecture Notes in Computer Science series contains the set of papers accepted for presentation at the 5th International Workshop on Quality of future Internet Services (QofIS 2004) and at the two one-day workshops -... more
  • Biometric authentication is increasingly gaining popularity in a large spectru... Biometric authentication is increasingly gaining popularity in a large spectrum ofapplications rangingfromgovernmentprograms(e. g. nationalIDcards visas for international travel and the ?ght against terrorism) to personal applications such as... more
  • The International Workshop on Graph-Theoretic Concepts in Computer Science is ... The International Workshop on Graph-Theoretic Concepts in Computer Science is one of the most traditional and high quality conferences in Computer Science. PreviousconferenceswereorganizedatvariousplacesinAustria Germany Italy and the Netherlands.... more
  • The 28th International Workshop on Graph-Theoretic Concepts in Computer ? Scie... The 28th International Workshop on Graph-Theoretic Concepts in Computer ? Science (WG 2002) was held in Cesky ´ Krumlov a beautiful small town in the southern part of the Czech Republic on the river Vltava (Moldau) June 13-15 2002. The workshop was... more
  • This book constitutes the refereed proceedings of the International Workshop o... This book constitutes the refereed proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science RANDOM 97 held as a satelite meeting of ICALP 97 in Bologna Italy in July 1997. The volume presents 14... more
  • The 25th International Workshop on Graph-Theoretic Concepts in Computer Scienc... The 25th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 99) celebrated the anniversaryof the workshop series at the Centro Stefano Franscini on Monte Verit`a Ascona Switzerland from June 17 to 19 1999. It was organized... more
  • The generic term graph-grammars refers to a variety of methods for specifying ... The generic term graph-grammars refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition -... more
  • This book constitutes the thoroughly refereed post-workshop proceedings of the... This book constitutes the thoroughly refereed post-workshop proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science WG 2001 held in Boltenhagen Germany in June 2001. The 27 revised full papers presented... more
  • The 26th International Workshop on Graph-Theoretic Concepts in Computer Scienc... The 26th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2000) was held at Waldhaus Jakob in Konstanz Germany on 15{ 17 June 2000. It was organized by the Algorithms and Data Structures Group of the Department of Computer... more
Items per page