资源描述：
《Computability and Complexity.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、ComputabilityandComplexityFoundationsofComputingMichaelGareyandAlbertMeyer,editorsComplexityIssuesinVLSI:OptimalLayoutsfortheShuffle-ExchangeGraphandOtherNetworks,FrankThomsonLeighton,1983EquationalLogicasaProgrammingLanguage,MichaelJ.O’Donnell,1985GeneralTheoryofDe
2、ductiveSystemsandItsApplications,S.YuMaslov,1987ResourceAllocationProblems:AlgorithmicApproaches,ToshihideIbarakiandNaokiKatoh,1988AlgebraicTheoryofProcesses,MatthewHennessy,1988PX:AComputationalLogic,SusumuHayashiandHiroshiNakano,1989TheStableMarriageProblem:Stru
3、ctureandAlgorithms,DanGusfieldandRobertIrving,1989RealisticCompilerGeneration,PeterLee,1989Single-LayerWireRoutingandCompaction,F.MillerMaley,1990BasicCategoryTheoryforComputerScientists,BenjaminC.Pierce,1991Categories,Types,andStructures:AnIntroductiontoCategoryTh
4、eoryfortheWorkingComputerScientist,AndreaAspertiandGiuseppeLongo,1991SemanticsofProgrammingLanguages:StructuresandTechniques,CarlA.Gunter,1992TheFormalSemanticsofProgrammingLanguages:AnIntroduction,GlynnWinskel,1993Hilbert’sTenthProblem,YuriV.Matiyasevich,1993Expl
5、oringInterior-PointLinearProgramming:AlgorithmsandSoftware,AmiArbel,1993TheoreticalAspectsofObject-OrientedProgramming:Types,Semantics,andLanguageDesign,editedbyCarlA.GunterandJohnC.Mitchell,1994FromLogictoLogicProgramming,KeesDoets,1994TheStructureofTypedProgramm
6、ingLanguages,DavidA.Schmidt,1994LogicandInformationFlow,editedbyJanvanEijckandAlbertVisser,1994CircuitComplexityandNeuralNetworks,IanParberry,1994ControlFlowSemantics,JacodeBakkerandErikdeVink,1996AlgebraicSemanticsofImperativePrograms,JosephA.GoguenandGrantMalcol
7、m,1996AlgorithmicNumberTheory,VolumeI:EfficientAlgorithms,EricBachandJeffreyShallit,1996FoundationsforProgrammingLanguages,JohnC.Mitchell,1996ComputabilityandComplexity:FromaProgrammingPerspective,NeilD.Jones,1997ComputabilityandComplexityFromaProgrammingPerspectiveN
8、eilD.JonesTheMITPressCambridge,MassachusettsLondon,Englandc1997MassachusettsInstituteofTechnologyAllrightsreserved.Nopartofthisbookmaybereproducedinanyf
