丹尼斯·莫雷尔;弗兰茨·根特纳 自动机和字典。 （英语） Zbl 1189.68072号 计算中的文本6.伦敦：国王学院出版物（ISBN 1-904987-32-X）。235页。(2005).MSC公司：65年第68季度 68T50型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Maurel}和\textit{F.Guenthner}、Automata和字典。伦敦：国王学院出版物（2005；Zbl 1189.68072）
米克洛斯·费伦齐（编辑）;安德拉斯·帕塔里察（编辑）;拉霍斯·罗奈（编辑） 计算中的形式化方法。 （英语） Zbl 1110.68001号 布达佩斯：Akadémiai Kiadó（ISBN 963-05-8258-9）。x、 第425页。(2005).MSC公司：68-06 03B70号 05立方厘米85 68平方米 2005年第68季度 65年第68季度 60年第68季度 68兰特 68T27型 68周01 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferenczi}（编辑）等，《计算中的形式方法》。布达佩斯：Akadémiai Kiadó（2005；Zbl 1110.68001）
范瓦林，罗伯特·D·军。 探索语法语义界面。 （英语） 兹伯利1107.68113 剑桥：剑桥大学出版社（ISBN 0-521-01056-X/pbk；0-521-81179-1/hbk；0-511-12415-5/ebook）。xxi，第310页。(2005). 审核人：内库莱·柯特阿努（伊阿什伊） MSC公司：68T50型 03B65号 91层20 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Van Valin jun.}，探索句法-语义界面。剑桥：剑桥大学出版社（2005；Zbl 1107.68113） 全文： 内政部
佐尔坦·埃西克（编辑）;佐尔坦，福尔öp（编辑） 自动机和形式语言。2005年5月17日至20日在匈牙利多博戈科举行的第十一届国际会议（AFL 2005）的会议记录。 （英语） Zbl 1081.68598号 塞格德：塞格德大学信息学院。viii，第307页。(2005).MSC公司：65年第68季度 68-06 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}（编辑）和\textit{Z.Fülöp}（主编），自动机和形式语言。2005年5月17日至20日在匈牙利多博戈科举行的第十一届国际会议（AFL 2005）的会议记录。塞格德：塞格德大学信息学院（2005；Zbl 1081.68598）
克莱莉亚·德·费利塞（编辑）;安东尼奥·雷斯蒂沃（编辑） 语言理论的发展。第九届国际会议，DLT 2005，意大利巴勒莫，2005年7月4-8日。诉讼程序。 （英语） Zbl 1076.68005号 计算机科学课堂讲稿3572.柏林：施普林格出版社（ISBN 3-540-26546-5/pbk）。xi，第409页。(2005).MSC公司：68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.De Felice}（编辑）和textit{A.Restivo}（主编），语言理论的发展。第九届国际会议，DLT 2005，意大利巴勒莫，2005年7月4-8日。诉讼程序。柏林：施普林格出版社（2005；Zbl 1076.68005） 全文： 内政部
英戈·韦格纳 理论计算机科学——面向算法的介绍。第3次修订版。（Theoretische Informatik–eine algorithmicenorientierte-Einführung的理论信息。） （德语） Zbl 1104.68049号 Leitfäden der Informatik公司。威斯巴登：特伯纳（ISBN 3-8351-0033-5/pbk）。ix，240页。(2005).MSC公司：2015年第68季度 68-01 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Wegener}，Theoretische Informatik——eine algorithmenorientierte Einführung。第三次修订版，威斯巴登：Teubner（2005；Zbl 1104.68049）
亚历山大·梅杜纳;什维克，马丁 带有上下文条件的语法及其应用。 （英语） Zbl 1087.68045号 新泽西州霍博肯：John Wiley&Sons（ISBN 0-471-71831-9/hbk；978-0-471-73656-1/电子书）。ix，216页。(2005). 审核人：A.Widiger（罗斯托克） MSC公司：2012年第68季度 68-02 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meduna}和\textit{M.Švec}，带上下文条件的语法及其应用。新泽西州霍博肯：John Wiley&Sons（2005；Zbl 1087.68045） 全文： 内政部
瓦桑塔·坎达萨米，W.B。;佛罗伦萨斯马兰达什;Ilanthenral，K。 线性双代数简介。 （英语） Zbl 1099.15013号 中子学丛书8.亚利桑那州凤凰城：Hexis（ISBN 1-931233-97-7/pbk）。238页。(2005). 审核人：Józef Drewniak（Rzeszow） MSC公司：第15页第30页 15-01 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.B.Vasantha Kandasamy}等人，线性双代数简介。亚利桑那州凤凰城：Hexis（2005；Zbl 1099.15013） 全文： arXiv公司
罗瑟尔，M。 [让·伯斯特尔;多米尼克·佩林;马克西姆·克罗西莫尔;埃里克·拉波特;梅赫里亚·莫赫里;纳迪亚·皮桑蒂;法国玛丽·萨戈;格辛·雷内特;苏菲·施巴思;米歇尔·沃特曼;菲利普·雅克;斯潘科夫斯基，沃伊切赫;多米尼克·波拉洪;吉尔·谢弗;罗曼·科尔巴科夫;格雷戈里·库切洛夫;Jean-Paul Allouche;瓦莱里·伯瑟] 在单词上应用组合学。Jean Berstel、Dominique Perrin、Maxime Crochemore、Eric Laporte、Mehryar Mohri、Nadia Pisanti、Marie-France Sagot、Gesine Reinert、Sophie Schbath、Michael Waterman、Philippe Jacquet、Wojciech Szpankowski、Dominiq Poulalhon、Gilles Schaeffer、Roman Kolpakov、Gregory Koucherov、Jean-Paul Allouche和Valérie Berthé。带有伯斯特尔和佩林的序言。 （英语） Zbl 1133.68067号 数学百科全书及其应用105.剑桥：剑桥大学出版社（ISBN 0-521-84802-4/hbk）。xv，610页。(2005). 审核人：Jean-Paul Allouche（奥赛） MSC公司：68兰特 68-02 11B85号 68第05页 65年第68季度 68T50型 68周05 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Lothaire}，单词的组合应用。Jean Berstel、Dominique Perrin、Maxime Crochemore、Eric Laporte、Mehryar Mohri、Nadia Pisanti、Marie-France Sagot、Gesine Reinert、Sophie Schbath、Michael Waterman、Philippe Jacquet、Wojciech Szpankowski、Dominiq Poulalhon、Gilles Schaeffer、Roman Kolpakov、Gregory Koucherov、Jean-Paul Allouche和Valérie Berthé。Berstel和Perrin的前言。剑桥：剑桥大学出版社（2005；Zbl 1133.68067）
迈克尔·多马拉茨基（编辑）;亚历山大·奥霍金（编辑）;凯·萨洛马（编辑）;于盛（编辑） 自动机的实现和应用。2004年7月22日至24日，加拿大金斯顿，CIAA 2004第九届国际会议。修订了选定的论文。 （英语） 兹比尔1063.68004 计算机科学课堂讲稿3317.柏林：施普林格出版社（ISBN 3-540-24318-6/pbk）。xii，第336页。（2005年）。MSC公司：68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Domaratzki}（ed.）等人，自动机的实现和应用。2004年7月22日至24日，加拿大金斯顿，CIAA 2004第九届国际会议。修订了选定的论文。柏林：施普林格出版社（2005；Zbl 1063.68004） 全文： 内政部
比约纳，迪内斯 软件工程3。领域、需求和软件设计。 （英语） Zbl 1095.68022号 柏林：施普林格出版社（ISBN 3-540-21151-9/hbk）。xxx，766页。(2006). 审核人：都铎·巴勒内斯库（皮特斯蒂） MSC公司：68号30 68甲15 68N20型 68问题65 65年第68季度 68问题85 68-01 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}，软件工程3。领域、需求和软件设计。柏林：施普林格出版社（2005；Zbl 1095.68022）
比约纳，迪内斯 [Christian Krog，马德森] 软件工程2。系统和语言规范。Christian Krog Madsen的贡献。 （英语） Zbl 1095.68021号 理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 3-540-21150-0/hbk）。第二十四、777页。(2006). 审核人：都铎·巴勒内斯库（皮特斯蒂） MSC公司：68号30 68甲15 68N20型 68问题65 65年第68季度 68问题85 68-01 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}，软件工程2。系统和语言的规范。Christian Krog Madsen的贡献。柏林：施普林格出版社（2005；Zbl 1095.68021） 全文： 内政部
比约纳，迪内斯 软件工程1。抽象和建模。 （英语） Zbl 1095.68020号 理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 3-540-21149-7/hbk）。xxxix，711页。(2006). 审核人：都铎·巴勒内斯库（皮特斯蒂） MSC公司：68号30 68-01 65年第68季度 68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}，软件工程1。抽象和建模。柏林：施普林格出版社（2005；Zbl 1095.68020）
Do Long货车（编辑）;伊藤、马萨米（编辑） 信息学的数学基础。会议记录，越南河内，1999年10月25日至28日。 （英语） Zbl 1095.68003号 新泽西州哈肯萨克：世界科学（ISBN 981-02-4656-0/hbk；978-981-270-311-8/电子书）。x、 202页。(2005). 审核人：马吕斯·齐曼德（汤森） MSC公司：68-06 65年第68季度 68问题85 68兰特 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{Do Long Van}和\textit{M.Ito}（编辑），信息学的数学基础。会议记录，越南河内，1999年10月25日至28日。新泽西州哈肯萨克：《世界科学》（2005；Zbl 1095.68003） 全文： 内政部