（美）西加尔（Sigal 相关电子书下载

（美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.）著2009 年出版609 页ISBN：9787115196576

本书是严格的、可读性很强的计算机科学理论中核心主题的介绍性教材，书中涵盖的主题包括可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义。本书分为5个部分分别讲述...

（美）埃里奇·西加尔著；杨慎生译注1999 年出版126 页ISBN：9787302021858

（西）露西亚·冈萨雷斯·拉瓦多著；（西）阿尔贝托·加尔西亚·阿耶尔贝插图；董舒琪译2013 年出版179 页ISBN：7305111532

（西）贝·佩·加尔多斯（Benito Perez Galdos）著；李德明译1996 年出版264 页ISBN：7207031130

（法）加尔伏可莱西（M.D.Calvocoressi）撰；孤松译1952 年出版253 页ISBN：

（西）加尔多斯（Galdos，B.P.）著；王治权，蒋宗曹译1990 年出版213 页ISBN：7532707466

（西）加尔多斯著；杨明江译1982 年出版192 页ISBN：10109·1493

（西）加尔多斯（B.P.Galdos）著；刘煜译1983 年出版285 页ISBN：10118·816

（西）加尔多斯（Benito Perez Galdos）著；王治泉等译1999 年出版399 页ISBN：7532722805

（西）加尔多斯（B.P.Galdos）著；申宝楼，蔡华文译1982 年出版233 页ISBN：10188·290