停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第八届ICTCS 2003：意大利贝蒂诺罗

>主页 >会议和研讨会 >信息通信与通信系统

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/2003
卡洛·布兰多,科西莫·拉伊夫:
理论计算机科学，第八届意大利会议，ICTCS 2003，意大利贝蒂诺罗，2003年10月13-15日，会议记录。计算机科学课堂讲稿2841,施普林格 2003，十亿3-540-20216-1

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/GairingLMMS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/GairingLMMS03
马丁·盖林,托马斯·吕基,马里奥斯·马夫罗尼科拉斯,博克哈德·莫尼恩,保罗·G·斯皮拉基斯:
极端纳什均衡。 1-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Hofmann03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Hofmann03
马丁·霍夫曼:
内存使用证明。 21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Boudol03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Boudol03
热拉尔·布多尔:
关于移动编程模型。 22

程序设计、模型和分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/MairsonT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/MairsonT03
哈里·梅森,Kazushige Terui公司:
线性逻辑中截断-消除的计算复杂性。 23-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Coen03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Coen03网址
克劳迪奥·萨塞尔多蒂·科恩:
有序语义Linda演算中随机存取机器编码正确性的构造性证明。 37-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/PennaIMTZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/PennaIMTZ03
朱塞佩·德尔拉·佩纳,贝内代托·因特里吉拉,伊戈尔·梅拉蒂,恩里科·特隆西,玛丽莎·文丘里尼·齐利:
用Mur-varphi验证器对随机系统进行有限时域分析。 58-71
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/LagoMP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/LagoMP03
乌戈·达尔·拉戈,安吉洛·蒙塔纳里,加布里埃尔·普皮斯:
面向紧凑和可牵引的基于时间粒度的自动化表示。 72-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/BertoniMP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/BertoniMP03
阿尔贝托·贝托尼,卡洛·梅雷盖蒂,比阿特丽斯·帕拉诺:
接受一元语言的量子自动机大小的下限。 86-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/DamanianiDG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/DamanianiDG03
费鲁西奥·达米亚尼,索菲亚·德罗索波卢,保拉·贾尼尼:
未预期对象重新分类的精细效果：Fickle_三. 97-110

算法和复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/HuangL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/HuangL03
黄启伟,埃罗尔·劳埃德:
成本约束的固定作业调度。 111-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/GustedtT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/GustedtT03
延斯·古斯特德,简·阿恩·特尔:
词汇第一最大独立集的工作优化粗训练PRAM算法。 125-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/FerranteP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/FerranteP03
亚历山德罗·费兰特,Mimmo父母:
具有锐化三角形不等式的完备图中最小权顶点连通性问题的近似算法。 137-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/BertossiPRS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/BertossiPRS03
阿兰·贝尔托西,玛丽亚·克里斯蒂娜·皮诺蒂,罗密奥·里兹,阿尼尔·M·申德:
蜂窝网络中的信道分配。 150-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Calamoneri公司03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Calamoneri03网址
Tiziana Calamoneri公司:
蜂窝网络中一类频率分配问题的精确解。 163-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/ActeoHIJK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/AcetoHIJK03
卢卡·埃特罗,延斯·汉森,Anna Ingólfsdóttir女士,雅各布·约翰森,约翰·努森:
家谱信息一致性检查的复杂性及相关问题。 174-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Subramani03会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Subramani03网站
K.Subramani公司:
关于子句等价和赫尔包含。 188-201

语义和形式语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Bakeld03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Bakeld03
斯特芬·范·贝克尔,乌戈·德利古罗:
一阶变西格玛微积分的逻辑语义。 202-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Lago03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Lago03
乌戈·达尔·拉戈:
浅论轻仿射逻辑的表现力。 216-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/BaldoniBMP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/BaldoniBMP03
马特奥·巴多尼,克里斯蒂娜·巴罗利奥,阿尔贝托·马泰利,维维亚娜·帕蒂:
关于自我和他人的推理：在模型动作逻辑中沟通代理。 228-241
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/CardoneC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/CardoneC03
费利斯·卡多内,马里奥·科波奥:
递归类型的可判定属性。 242-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/BruniMMS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/BruniMMS03
罗伯托·布鲁尼,何塞·梅塞盖尔,乌戈·蒙塔纳里,弗拉迪米罗·萨松:
上下文前网的代数理论。 256-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/CanceilaH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/CancelaH03
丹妮拉·坎西拉,Furio Honsell先生:
Web交互的组合描述。 271-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/AnconaFZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/AnconaFZ03
戴维德·安科纳,索尼娅·法戈齐,埃琳娜·祖卡:
动态链接的微积分。 284-301
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Lagorio03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Lagorio03
乔瓦尼·拉戈里奥:
面向Java的智能编译管理器。 302-315

安全和加密

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/CimatoDV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/CimatoDV03
斯特维奥·西马托,保罗·达科,伊万·维斯康蒂:
移动网络中的匿名组通信。 316-328
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Fuster-Saber03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Fuster-Sabertr03
Amparo Fuster消减器:
二进制序列非线性生成器中的伪随机性方面。 329-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iccs/FerraraM03会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/FerraraM03
安娜·丽莎·费拉拉,芭芭拉·马苏奇:
访问控制问题的信息论方法。 342-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/BartolettiDF03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/BartolettiDF03
马西莫·巴托莱蒂,皮耶保罗·德加诺,吉安·路易吉·费拉里:
安全意识计划转换。 355-368
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/BossiMPR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/BossiMPR03
安娜丽莎·博西,达米亚诺·马其顿,卡拉广场,萨比娜·罗西:
信息流安全和递归系统。 369-382
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/MartinelliPV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/MartinelliPV03
法比奥·马蒂内利,Marinella Petrocchi公司,安娜·瓦卡雷利:
安全流数据的组合验证：EMSS案例研究。 383-396

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。