资源描述：
《semantics with applications - an appetizer (springer, 2007)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、SHanneRiisNielson # # UNDERGRADUATETOPICSinCOMPUTERSCIENCESemanticswithApplicationsAnAppetizer UTiCSUndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)d
2、elivershigh-qualityinstructionalcontentforundergraduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialtofinal-yeartopicsandapplications,UTiCSbookstakeafresh,concise,andmodernapproachandareidealforself-studyorforao
3、ne-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumerousexamplesandproblems.Manyincludefullyworkedsolutions.AlsointhisseriesIainCraigObject-OrientedProgrammingLanguages:Interpreta
4、tion978-1-84628-773-2MaxBramerPrinciplesofDataMining978-1-84628-765-7HanneRiisNielsonandFlemmingNielsonSemanticswithApplications:AnAppetizerHanneRiisNielson,PhDFlemmingNielson,PhD,DScTheTechnicalUniversityofDenmarkTheTechnicalUniversityofDenmarkDenmarkDenmarkS
5、erieseditorIanMackieÉcolePolytechnique,FranceandKing’sCollegeLondon,UKAdvisoryboardSamsonAbramsky,UniversityofOxford,UKChrisHankin,ImperialCollegeLondon,UKDexterKozen,CornellUniversity,USAAndrewPitts,UniversityofCambridge,UKHanneRiisNielson,TechnicalUniversity
6、ofDenmark,DenmarkStevenSkiena,StonyBrookUniversity,USAIainStewart,UniversityofDurham,UKDavidZhang,TheHongKongPolytechnicUniversity,HongKongBritishLibraryCataloguinginPublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLibraryLibraryofCongressCon
7、trolNumber:2006939147UndergraduateTopicsinComputerScienceISSN1863-7310ISBN-10:1-84628-691-3e-ISBN-10:1-84628-692-1ISBN-13:978-1-84628-691-9e-ISBN-13:978-1-84628-692-6Printedonacid-freepaper©Springer-VerlagLondonLimited2007Apartfromanyfairdealingforthepurposeso
8、fresearchorprivatestudy,orcriticismorreview,aspermittedundertheCopyright,DesignsandPatentsAct1988,thispublicationmayonlybereproduced,storedortransmitted,inanyformorbyanymeans,witht
