60岁生日:Wilfried Brauer,1997
克里斯蒂安·弗雷克萨 , 马蒂亚斯·扬岑 , 吕迪格·瓦尔克 :
《计算机科学基础:潜力-理论-认知》(Foundations of Computer Science:Potential-Theory-Cognition),致辞于威尔弗里德·布劳尔(Wilfried Brauer)60岁生日之际。 计算机科学课堂讲稿 1337中, 施普林格 1997 ,国际标准图书编号 3-540-63746-倍
计算机科学及其潜力
弗里德里希·L·鲍尔 :
公式的威力及其极限。 1-8 海因茨·泽玛奈克 :
硬件-软件:等价与矛盾。 9年-19年 沃尔夫冈·科伊 :
定义纪律。 21-35
计算机科学的社会意义
德克·西夫克斯 :
计算机科学作为文化发展:走向更广泛的理论。 37-47 乔泽夫·格鲁斯卡 , 罗兰·沃尔玛 :
面向信息时代调整信息学教育。 49-67 赫伯特·克拉伦 , 克里斯蒂安·弗洛伊德 , 弗里德里希·迪斯特迈耶 :
信息学与社会:远程教育课程。 69-78
形式语言理论与自动机
亚历山德鲁·马泰斯库 , 格列泽戈兹·罗森伯格(Grzegorz Rozenberg) , 阿尔托·萨洛马 :
平行性的句法和语义方面。 79-105 英格伯特·库普卡 :
完备格中的唯一不动点及其在形式语言和语义中的应用。 107-115 乔治·卡纳 , 沃纳·库伊奇 :
论语言、幂级数和元素的抽象族。 117-124 克劳斯·约恩·兰格 :
SymSPACE有完整的形式语言吗(log n)? 125-134 马蒂亚斯·扬岑 :
关于扭闭三重奏:r.e.集的一个新的形态特征。 135-142 哈维尔·埃斯帕尔扎 , 彼得·罗斯马尼思 :
上下文无关语法若干问题的自动机方法。 143-152
结构与复杂性理论
卡雷尔·库利克二世 , 贾科·卡里 :
王牌的非周期套数。 153-162 比吉特·詹纳 :
对数空间复杂性类互补下的闭包——一项调查。 163-175 伯恩德·柯西格 :
NSPACE中稀疏集和可打印集之间的关系(log n)。 177-184年 克劳斯·维赫劳赫(Klaus Weihrauch) :
可计算分析的基础。 185-199 尤根·施密杜贝尔(Jürgen Schmidhuber) :
计算机科学家对生命、宇宙和万物的看法。 201-208 曼弗雷德·库德莱克 :
日历和年表。 209-217年
Petri网
哈特穆特·埃里格 , 朱莉娅·帕德伯格 :
Petri网的统一方法。 219-231年 阿斯特里德·基恩 :
观察Petri网的偏序运行。 233-238 何塞·梅塞盖尔 , 乌戈·蒙塔纳里 , 弗拉迪米罗·萨松 :
Petri网的表示定理。 239-249 沃尔克·迪克特 :
关于迹方程的注记。 251-260 Ekkart点燃器 , 沃尔夫冈·雷西格 :
用代数Petri网验证分布式算法。 261-270 沃尔特·福格勒 :
关于行动改进的简短理论。 271-278
系统分析与分布式系统
曼弗雷德·布罗伊 :
交互和反应系统:状态、观察、实验、输入、输出、不确定性、组成性等等。 279-286 汉斯·达杜纳 :
不同客户类型的状态相关串联的离散时间分析。 287-296 约格·德塞尔 :
分布式算法如何玩代币游戏。 297-306 罗尔夫·沃尔特 :
异步堆栈重温:轮次设置黄昏卷轴。 307-312 博克哈德·莫尼恩 , 佩特拉·贝伦布里克 , 莱因哈德·吕琳 , 马尔科·里德尔 :
连续媒体流的在线调度。 313-320
软件工程与验证
汉斯·朗马克 :
对Goodenough和Gerhart的软件测试和验证理论的贡献:强编译器测试和编译器实现验证之间的关系。 321-335 Günter Hotz公司 , 吴洪忠 :
关于均匀树的排列复杂性。 337-350 哈罗德·博利 :
声明式编程的关系函数集成。 351-358
认知与人工智能
齐格弗里德·坎吉 :
中文室内外。 第359-368页 克里斯托弗·哈贝尔 , 卡罗拉·埃森巴赫 :
空间认知中的抽象结构。 369-378 克里斯蒂安·弗雷克萨 :
认知过程中的时空结构。 379-387
知识表示与推理
丹尼尔·埃尔南德斯 :
空间距离的定性与模糊再现。 389-398 西蒙·普里贝诺 :
什么是部件? 关于零件-孔关系的形式化。 399-406 克劳斯-维护辊 :
SPOCK:关于零件清单完整性的可行性研究。 407-415 科尔斯汀·席尔 :
具有自适应推理策略的决策支持系统。 417-427
机器学习
凯萨琳娜·莫里克 :
数据库中的知识发现——一种归纳逻辑编程方法。 429-436 库尔特·阿蒙 :
构图启发。 437-444 Gerhard Weiß :
作业分配问题:并行和分布式机器学习研究。 445-454 穆罕默德·萨拉赫·哈姆迪 , 卡尔·凯瑟 :
自我改进行为仲裁。 455-464
神经网络与机器人
玛吉特·斯特姆 :
机械手路径规划的神经网络。 465-472 马丁·埃尔德拉彻 , 托马斯·皮克 :
使用子目标图进行路径规划。 473-480 克里斯蒂安·希滕科夫 , 古斯塔沃装饰 :
使用神经网络对时间序列进行非线性马尔可夫表征。 481-488
语言和信息系统
加布里埃尔·谢勒 :
基于特征的语义概念感知。 489-497 格尔达·鲁格 :
信息检索应用中同义词表关系的自动检测。 499-506 利奥·费费勒 , 迪特尔·舒特 :
InfoShere M-V:一种新的信息三维可视化方法。 507-514