理论计算机科学课文。EATCS系列 简短标题: 文本Theor。计算。科学。,EATCS系列。 出版商: 施普林格,查姆 国际标准编号: 1862-4499年;1862-4502/e年 在线: https://rd.springer.com/bookseries/3214 评论: 图书系列 已编制索引的文档: 30份出版物(自2002年起) 最新卷 (2002-2022) 全部的 前5名作者/编辑 4 朱拉吉·赫罗姆科维奇 2 比约纳,餐厅 2 拉尔夫·克拉辛 2 丹尼尔·科宁 2 Leonid O·利金。 2 斯特里赫曼(Ofer Strichman) 1 埃里克·巴杜埃尔 1 苏比尔Bandyopadhyay 1 卢卡·伯纳迪内洛 1 伊夫·贝托特 1 尼古拉·S·比约纳。 1 曼弗雷德·布罗伊 1 罗伯托·布鲁尼 1 皮埃尔·卡斯特兰 1 安东尼奥·塞隆 1 菲利普·达伦多 1 莱昂纳多·德·莫拉 1 法兰克·德雷维斯 1 弗鲁姆,约格 1 威廉·扬·福克金 1 费多尔·福明。 1 罗伯托·戈里埃里 1 埃里希·格拉德尔 1 格罗赫,马丁 1 Hemaspandra,A巷。 1 马库斯·赫特 1 沃纳·E·克鲁格。 1 Phokion G.科莱蒂斯。 1 Arie M.C.A.科斯特。 1 迪特尔·克拉奇 1 弗雷德·克罗格 1 希勒尔·库格勒 1 雷诺·库基·苏尼奥 1 马尔滕,马克思 1 Christian Krog,马德森 1 斯蒂芬·默兹 1 乌戈·蒙塔纳里。 1 泽维尔·穆尼奥斯 1 Mitsunori小原 1 卢卡·保里尼 1 佩恩,古奥热 1 安德烈·佩尔克 1 马库斯·罗根巴赫 1 西蒙娜·隆奇·德拉·罗卡 1 约格·马提亚斯·罗特 1 格列泽戈兹·罗森贝格 1 彼得·鲁齐卡 1 阿尔托·库斯塔·萨洛马 1 施林格洛夫,伯恩德·霍尔格 1 杰拉尔多·施奈德 1 Schneider,Klaus公司 1 谢赫,西拉杰·艾哈迈德 1 乔尔·斯宾塞。 1 约翰·V·塔克。 1 沃尔特·昂格 1 莫西·亚亚科夫·瓦尔迪 1 维尼马,伊德 1 克里斯蒂安·维萨里 1 斯科特·温斯坦 领域 30 计算机科学(68至XX) 6 数理逻辑与基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有1908年被引用中的次1859文件 引用人▼ 年份▼ 参数化复杂性理论。 Zbl 1143.68016号 弗鲁姆,约格;格罗赫,马丁 737 2006 交互式定理证明和程序开发。Coq'Art:归纳结构的微积分。Gérard Huet和Christine Paulin Mohring的前言。 Zbl 1069.68095号 伊夫·贝托特;皮埃尔·卡塞兰 277 2004 有限模型理论基础。 Zbl 1060.03002号 利奥尼德·利金 232 2004 精确指数算法。 Zbl 1370.68002号 费多尔·福明。;迪特尔·克拉奇 205 2010 决策程序。一种算法观点。兰达尔·布莱恩特(Randal E.Bryant)的前言。 Zbl 1149.68071号 丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 57 2008 有限模型理论及其应用。 Zbl 1133.03001号 埃里希·格拉德尔;Phokion G.科莱蒂斯。;利奥尼德·利金;马滕·马克思;乔尔·斯宾塞;莫舍·瓦尔迪。;维尼马,伊德;斯科特·温斯坦 51 2007 Petri网合成。 Zbl 1351.68003号 埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 46 2015 在通信网络中传播信息。广播、八卦、领导人选举和容错。 Zbl 1067.68016号 朱拉吉·赫罗姆科维奇;拉尔夫·克拉辛;安德烈·佩尔克;彼得·鲁日卡;沃尔特·昂格 45 2005 复杂性理论的同伴。 Zbl 0993.68042号 Hemaspandra,A巷。;Mitsunori小原 39 2002 通用人工智能。基于算法概率的顺序决策。 Zbl 1099.68082号 马库斯·赫特 32 2005 参数lambda演算。用于计算的元模型。 Zbl 1084.68020号 西蒙娜·隆奇·德拉·罗卡;卢卡·保里尼 25 2004 复杂性理论和密码学。加密复杂性介绍。 Zbl 1082.94002号 约尔格·罗特 23 2005 时间逻辑和状态系统。 Zbl 1169.03001号 弗雷德·克罗格;斯蒂芬·默兹 20 2008 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 20 2016 语法图片生成。基于树的方法。带CD-ROM。 Zbl 1085.68177号 法兰克·德雷维斯 18 2006 并发理论简介。过渡系统和CCS。 Zbl 1333.68001号 罗伯托·戈里埃里;克里斯蒂安·维萨里 16 2015 随机算法的设计和分析。设计范例介绍。 Zbl 1083.68146号 朱拉吉·赫罗姆科维奇 13 2005 验证反应系统。形式化方法和算法。 兹比尔1067.68092 Schneider,Klaus公司 11 2004 解决难题的算法。第二版,更正第二次印刷。 Zbl 1069.68642号 朱拉吉·赫罗姆科维奇 9 2004 DNA计算。新的计算范式。更正第二次打印。 Zbl 1069.68559号 佩恩,古奥热;格列泽戈兹·罗森贝格;阿托·萨洛马 9 2005 抽象计算机器。lambda微积分观点。 Zbl 1075.68003号 沃纳·克鲁格 6 2005 理论计算机科学。介绍自动机、可计算性、复杂性、算法、随机化、通信和密码学。 Zbl 1113.68001号 朱拉吉·赫罗姆科维奇 5 2004 通信网络中的图形和算法。研究宽带、光纤、无线和自组织网络。 Zbl 1181.68008号 5 2010 分布式系统建模。 Zbl 1130.68028号 万福京 2 2007 反应系统的实用理论。动态行为的增量建模。 Zbl 1070.68023号 Kurki-Soonio,R。 1 2005 软件工程2。系统和语言规范。Christian Krog Madsen的贡献。 Zbl 1095.68021号 比约纳,餐厅 1 2005 计算模型。 兹比尔1480.68001 罗伯托·布鲁尼;乌戈·蒙塔纳里 1 2017 光网络中的信息传播:从技术到算法。与Ralf Klasing合作。 Zbl 1138.68313号 苏比尔Bandyopadhyay 1 2008 软件工程的形式化方法。语言,方法,应用领域。曼弗雷德·布罗伊(Manfred Broy)的前言和约翰·塔克(John V.Tucker)对形式方法的起源和发展的贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德 1 2022 软件工程的形式化方法。语言,方法,应用领域。由Manfred Broy作序,John V.Tucker对形式方法的起源和发展做出贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德 1 2022 计算模型。 Zbl 1480.68001号 罗伯托·布鲁尼;乌戈·蒙塔纳里 1 2017 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 20 2016 Petri网合成。 兹比尔1351.68003 埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 46 2015 并发理论简介。过渡系统和CCS。 Zbl 1333.68001号 罗伯托·戈里埃里;克里斯蒂安·维萨里 16 2015 精确指数算法。 Zbl 1370.68002号 费多尔·福明。;迪特尔·克拉奇 205 2010 通信网络中的图形和算法。研究宽带、光纤、无线和自组织网络。 Zbl 1181.68008号 5 2010 决策程序。一种算法观点。兰达尔·布莱恩特(Randal E.Bryant)的前言。 Zbl 1149.68071号 丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 57 2008 时间逻辑和状态系统。 Zbl 1169.03001号 弗雷德·克罗格;斯蒂芬·默兹 20 2008 光网络中的信息传播:从技术到算法。与Ralf Klasing合作。 Zbl 1138.68313号 苏比尔Bandyopadhyay 1 2008 有限模型理论及其应用。 Zbl 1133.03001号 埃里希·格拉德尔;Phokion G.科莱蒂斯。;利奥尼德·利金;马滕·马克思;乔尔·斯宾塞;莫舍·瓦尔迪。;维尼马,伊德;斯科特·温斯坦 51 2007 分布式系统建模。 Zbl 1130.68028号 万福京 2 2007 参数化复杂性理论。 Zbl 1143.68016号 弗鲁姆,约格;格罗赫,马丁 737 2006 语法图片生成。基于树的方法。带CD-ROM。 Zbl 1085.68177号 法兰克·德雷维斯 18 2006 在通信网络中传播信息。广播、八卦、领导人选举和容错。 Zbl 1067.68016号 朱拉吉·赫罗姆科维奇;拉尔夫·克拉辛;安德烈·佩尔克;彼得·鲁日卡;沃尔特·昂格 45 2005 通用人工智能。基于算法概率的顺序决策。 Zbl 1099.68082号 马库斯·赫特 32 2005 复杂性理论和密码学。密码复杂性简介。 Zbl 1082.94002号 约尔格·罗特 23 2005 随机算法的设计和分析。设计范例介绍。 Zbl 1083.68146号 朱拉吉·赫罗姆科维奇 13 2005 DNA计算。新的计算范式。更正第二次打印。 Zbl 1069.68559号 佩恩,古奥热;格列泽戈兹·罗森贝格;阿托·萨洛马 9 2005 抽象计算机器。lambda演算透视图。 Zbl 1075.68003号 沃纳·克鲁格 6 2005 反应系统的实用理论。动态行为的增量建模。 兹比尔1070.68023 Kurki-Soonio,R。 1 2005 软件工程2。系统和语言规范。Christian Krog Madsen的贡献。 Zbl 1095.68021号 比约纳,餐厅 1 2005 交互式定理证明和程序开发。Coq'Art:归纳结构的微积分。Gérard Huet和Christine Paulin Mohring的前言。 Zbl 1069.68095号 伊夫·贝托特;皮埃尔·卡塞兰 277 2004 有限模型理论基础。 Zbl 1060.03002号 利奥尼德·利金 232 2004 参数lambda演算。用于计算的元模型。 Zbl 1084.68020号 西蒙娜·隆奇·德拉·罗卡;卢卡·保里尼 25 2004 验证反应系统。形式化方法和算法。 Zbl 1067.68092号 Schneider,Klaus公司 11 2004 解决难题的算法。第二版,更正第二次印刷。 Zbl 1069.68642号 朱拉吉·赫罗姆科维奇 9 2004 理论计算机科学。介绍自动机、可计算性、复杂性、算法、随机化、通信和密码学。 Zbl 1113.68001号 朱拉吉·赫罗姆科维奇 5 2004 复杂性理论的同伴。 Zbl 0993.68042号 Hemaspandra,A巷。;Mitsunori小原 39 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名2395位作者引用 73 萨科特·索拉布 61 罗尔夫·尼德迈尔 41 费多尔·福明。 38 斯泽德,斯特凡 35 Petr A.Golovach。 33 格雷戈里·古丁。 32 丹尼尔·洛克斯塔诺夫 30 迪特尔·克拉奇 28 克里斯蒂安·科穆塞维茨 24 伊格纳西·绍 23 塞巴斯蒂安·奥德尼亚克 23 文卡特斯·拉曼 22 约格·马提亚斯·罗特 22 迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 21 雷内·范·贝文 21 肖明宇 20 安德烈·尼切特林 20 Yeo,安德斯 19 罗伯特·加尼安 19 郭炯 18 马修·利德洛夫 18 Micha Pilipczuk 17 研究员迈克尔·拉尔夫 17 亨宁费尔瑙 16 Bodlaender,Hans L。 16 罗伯特·布雷德里克 16 彼得·罗斯马尼思 15 塞尔盖·加斯佩斯 15 Heggenes,皮纳尔 15 达尼尔·马克思 15 内尔德哈拉·米斯拉 15 马钦·皮利普祖克(Marcin L.Pilipczuk)。 15 曼纽尔·索尔吉 15 特雷杜普,罗尼 15 Yngve村 14 雷蒙德·魔鬼队 14 马库斯·赫特 14 迈克尔·兰皮斯 14 这样啊,Ondřej 14 朱可夫斯基(Maksim Evgen’evich) 12 爱德华·艾本 12 金恩贞(Kim,Eun Jung) 12 斯特凡·克拉奇 12 米克斯,基蒂 12 菲利普·格瓦尔盖塞 11 阿坎沙阿格拉瓦尔 11 布鲁诺·库塞尔 11 蒂尔·弗卢施尼克 11 格罗赫,马丁 11 福尔克·Hüffner 11 弗朗西斯·罗萨蒙德。 11 瓦尔斯特伦,马格纳斯 10 纳贾·贝茨勒 10 阿努吉·达瓦尔 10 文森特·弗罗泽 10 哈东,塞普 10 丹尼·赫尔梅林 10 约翰·安德烈亚斯·马考斯基 10 拉马努扬,M.S。 10 马克·罗斯 10 Somnath锡克达尔 10 约翰内斯·乌尔曼 10 马蒂亚斯·韦勒 10 朱,滨海 9 最好的,艾克 9 马雷克·赛根 9 罗伯托·戈里埃里 9 Hemaspandra,A巷。 9 Bart M.P.Jansen。 9 莱文·巴昂 9 阿恩·迈尔 9 Vangelis Th.帕斯科。 9 克里斯托夫·保罗 9 马库斯·施密德。 9 Prafullkumar的故事 9 梅拉夫·泽哈维 8 雷米·贝尔蒙特 8 罗伯特·克劳斯顿 8 Harutyunyan、Hovhannes A。 8 R·克里蒂卡。 8 泽维尔·勒罗伊 8 卢克·马西森 8 斯特凡·门格尔 8 乔治·默齐奥斯(George B.Mertzios)。 8 亨德里克·莫尔特 8 丹尼尔·保卢斯马 8 阿比舍克·萨胡 8 尼科尔·施韦卡特 8 尼姆罗德·塔尔蒙 8 蒂尔·坦托 8 文森特·特金 7 萨姆森·艾布拉姆斯基 7 马克斯·班纳赫 7 克拉克·W·巴雷特。 7 鲍迈斯特,多萝西娅 7 陈洁华 7 陈丽淑 7 戴尔、霍尔格 7 多姆,迈克尔 7 彼得·法利舍夫斯基 …还有2295名作者 全部的 前5名165种期刊被引用 205 理论计算机科学 119 算法 95 计算机与系统科学杂志 69 离散应用数学 59 计算系统理论 55 信息与计算 52 自动推理杂志 48 信息处理信件 40 人工智能 34 SIAM离散数学杂志 33 计算机科学中的逻辑方法 23 数学与人工智能年鉴 20 组合优化期刊 19 SIAM计算机杂志 18 离散算法杂志 17 MSCS公司。计算机科学中的数学结构 15 计算的形式方面 15 程序设计中的逻辑和代数方法杂志 14 计算机基础理论 14 ACM计算逻辑汇刊 14 离散优化 13 纯逻辑与应用逻辑年鉴 11 信息学报 11 系统设计中的形式化方法 11 算法 10 函数编程杂志 9 应用逻辑杂志 8 离散数学 8 调度日志 7 国际近似推理杂志 7 计算机科学中的数学 7 计算机科学评论 6 Studia Logica公司 6 符号计算杂志 6 图形算法与应用杂志 5 欧洲组合数学杂志 5 计算机程序设计科学 5 计算几何 5 逻辑、语言与信息杂志 5 人工智能研究杂志 5 约束条件 5 Doklady数学 5 形式化数学 4 网络 4 运营研究信件 4 国际计算机科学基础杂志 4 欧洲运筹学杂志 4 分布式计算 4 RAIRO公司。理论信息学及其应用 三 组合理论杂志。B系列 三 复杂性杂志 三 离散和计算几何 三 计算机与运筹学 三 机器学习 三 国际代数与计算杂志 三 控制论与系统分析 三 计算复杂性 三 应用非经典逻辑杂志 三 组合数学电子杂志 三 国际运筹学汇刊 三 美国计算机学会期刊 三 高阶和符号计算 三 洛巴切夫斯基数学杂志 三 4个或 2 国际理论物理杂志 2 代数普遍性 2 应用数学与计算 2 组合理论杂志。系列A 2 图论杂志 2 哲学逻辑杂志 2 符号逻辑杂志 2 编程和计算机软件 2 半群论坛 2 数学社会科学 2 运筹学年鉴 2 统计传播。理论与方法 2 数学逻辑档案 2 数学编程。A系列B系列 2 数学科学杂志(纽约) 2 数学逻辑季刊(MLQ) 2 离散数学和理论计算机科学。DMTCS公司 2 自然计算 2 量子信息处理 2 ACM实验算法杂志 2 优化信函 2 RAIRO公司。理论信息学及其应用 2 Logicheskie Issledovaniya逻辑 2 Prikladnaya Diskretnaya Matematika公司 2 SN运筹学论坛 1 倒排索引综述 1 美国数学月刊 1 计算机与数学及其应用 1 国际通用系统杂志 1 以色列数学杂志 1 德国数学实验室(DMV) 1 数学笔记 1 数学信使 1 算术学报 1 数学档案 1 Automatica公司 …还有65种期刊 全部的 前5名43个领域被引用 1,580 计算机科学(68至XX) 547 组合数学(05-XX) 377 数理逻辑与基础(03-XX) 176 运筹学、数学规划(90-XX) 94 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 28 数值分析(65-XX) 28 信息与通信理论、电路(94-XX) 22 生物学和其他自然科学(92-XX) 17 阶、格、有序代数结构(06-XX) 16 统计学(62-XX) 15 一般代数系统(08-XX) 15 范畴理论;同调代数(18-XX) 15 群论与推广(20-XX) 14 量子理论(81-XX) 12 概率论与随机过程(60-XX) 11 总体主题;集合(00-XX) 11 数论(11-XX) 8 历史和传记(01-XX) 7 线性代数和多线性代数;矩阵理论(15-XX) 7 几何图形(51至XX) 6 一般拓扑结构(54至XX) 6 代数拓扑(55-XX) 4 交换代数(13-XX) 4 代数几何(14-XX) 4 系统论;控制(93至XX) 三 实际功能(26年X月X日) 三 动力系统和遍历理论(37至XX) 三 凸和离散几何(52至XX) 三 数学教育(97-XX) 2 测量和集成(28-XX) 2 常微分方程(34-XX) 2 偏微分方程(35-XX) 2 歧管和细胞复合体(57-XX) 1 场论与多项式(12-XX) 1 结合环与代数(16-XX) 1 拓扑群、李群(22日至XX日) 1 复变量的函数(30年XX月) 1 特殊功能(33至XX) 1 欧氏空间的调和分析(42至XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 变分法与最优控制;最优化(49至XX) 1 经典热力学,传热(80-XX) 按年份列出的引文