×

兹马思-数学第一资源

软件技术与理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。(英语) Zbl 1029.00064号
计算机科学讲义. 2914柏林:斯普林格。十三,第446页。(2003年)。

将索引文章显示为搜索结果。

本卷的文章将单独审查。上一次会议已经过审查(见Zbl 1014.00021).
索引文章:
贝克,迈克尔;普菲茨曼,比吉特,Needham Schroeder-Lowe公钥协议的安全性证明,1-12[Zbl 1205.94073]
巴尔茨,安德烈亚斯;杰格尔,杰罗德;斯里瓦斯塔夫,阿南德,稀疏非对称连接器的构造(扩展摘要),13-22[Zbl 1205.68026]
比里,尼古拉斯;加尔米切,迪迪埃,资源分配的分离逻辑(扩展抽象),23-37[Zbl 1205.03043]
安德鲁布莱克。;克雷默,文森特;格雷奥伊,拉希德;奥德斯基,马丁,交易的等式理论,38-49[Zbl 1205.68120]
布鲁姆,斯蒂芬L。;ç植,佐坦,正则词公理(扩展摘要),50-61[Zbl 1205.68192]
博亚尼茨克,米科·阿杰,1-有界TWA无法确定,62-73[Zbl 1205.68193]
艾哈迈德·布瓦贾尼;图伊里,泰西尔,进程重写系统的可达性分析,74-87[Zbl 1205.68183]
花束,亚历克西斯朱利安;塞尔,奥利弗;瓦鲁基维茨,伊戈尔,无限和正则条件下的下推游戏,88-99[Zbl 1205.68194]
布鲁伊埃,维罗尼克;拉斯金,让·弗朗索瓦,实时模型检查:参数无处不在,100-111[Zbl 1205.68219]
Carayol,阿诺;沃尔,斯蒂芬,逻辑上无限图的Caucal层次和高阶下推自动机,112-123[Zbl 1205.03022]
骑士,亚尼克;Küsters,拉尔夫;俄罗斯女巫,米夏埃尔;图鲁阿尼,马修,用Diffie-Hellman指数和指数乘积判定协议的安全性,124-135[Zbl 1205.94078号]
科奎尔,艾曼纽;法吉斯,弗朗索瓦,拟格中的子类型约束,136-148[Zbl 1205.68121号]
德瓦努尔,尼基尔R。;瓦齐拉尼,维杰诉。,用于计算线性情况下Arrow-Debreu价格的改进近似方案,149-155[Zbl 1205.91109]
迪克特,沃尔克;洛里,马库斯,图积上的词方程,156-167[Zbl 1188.20066]
杜巴什,德夫达特;劳拉,路易吉;潘科尼,亚历山德罗,植物分区模型中协同过滤的简单算法分析与实验评价(扩展摘要),168-182[Zbl 1205.68259]
额尔古恩,芬达;穆图克里希南S。;萨希纳普,S.岑克,比较序列和片段重排,183-194[Zbl 1205.68524]
ç植、佐坦;威尔,帕斯卡,关于逻辑定义的可识别树语言,195-207[Zbl 1196.68149]
戈帕兰,巴黎人;李普顿,理查德J。;梅塔,阿拉尼亚克,有向图连通性的随机时空权衡,208-216[Zbl 1205.68506]
古德蒙德森,约阿希姆;纳拉辛汉,女孩;斯密德,米切尔,多边形路径的距离保持近似,217-228[Zbl 1205.68465]
苏门答腊岛,几何簇的联合分离与正多面体的极端不规则性,229-243[Zbl 1205.68466]
古普塔,阿努帕姆;斯里尼瓦桑,阿拉文德,关于覆盖施泰纳问题,244-251[Zbl 1205.68513]
赫施考夫博士。;洛兹,埃斯。;Sangiorgi,D。,空间逻辑的最小结果,252-264[Zbl 1205.03046]
喀什亚普,斯里尼瓦斯;库勒,萨米尔,并行磁盘上非均匀大小数据放置算法,265-276[Zbl 1205.68145]
卡维塔,T。,阿贝尔群同构及相关问题的有效算法,277-288[Zbl 1205.68521]
科内曼,约琴;拉维,R。,低次最小代价Steiner树的拟多项式时间逼近算法,289-301[Zbl 1205.68515]
洛丁,克里斯托夫;罗德,菲利普,破坏模态逻辑的模型检验与可满足性,302-313[Zbl 1205.68222]
马哈扬,米娜;拉玛,拉格哈文;拉曼,文卡提什;Vijayakumar,S。,通过条带移动进行合并和排序,314-325[Zbl 1205.68137]
曼尼思,塞巴斯蒂安,对于线性尺寸增加的功能,宏树传感器层次结构崩溃,326-337[Zbl 1205.68208]
莫哈利克,斯瓦鲁普;瓦鲁基维茨,伊戈尔,分布式游戏,338-351[Zbl 1205.68089]
穆图克里希南S。;施特劳斯,马丁,多维直方图的维护,352-362[Zbl 1205.68132]
拉马努贾姆,R。;苏雷什,S.P。,标签使得保密性可以用无界的nonce来判定,363-374[Zbl 1205.94097]
斯帕科夫斯基,霍尔格;塔库尔,玛雅;特里帕蒂,拉胡尔,量子和经典复杂性类:分离、折叠和闭包性质,375-386[Zbl 1205.68166]
韦纳德,梅克;施尼格,乔治,关于贪婪的超弦猜想,387-398[Zbl 1205.68528号]
布莱恩特,兰德尔E。,用布尔方法推理无限状态系统,399-407[Zbl 1205.03044]
蔡金义;渡边,大阪,严格相对化,408-419[Zbl 1205.68163]
葛斯勒,格雷戈;斯法基斯,约瑟夫,无死锁系统的基于组件的构造(扩展抽象),420-433[Zbl 1205.68245]
纳奥,莫尼,中等硬功能:从复杂性到垃圾邮件攻击,434-442[Zbl 1205.94093]

理学硕士:
00B25号 特别关注的杂项会议记录
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68N30型 数学规格、软件规格、软件验证等
PDF格式 BibTeX公司 XML 引用
全文: 链接