×

找到7734个文档(结果1-100)

数学软件:从问题到程序。为工程师和科学家建模。(数学软件:vom Problem zum Programm。Modellbildung für Ingenieure und Naturwissenschaftler) (德语) Zbl 0914.68110号

威斯巴登:Vieweg(ISBN 3-528-06771-3)。viii,第220页(1998年)。
PDF格式BibTeX公司 XML格式引用

计算机科学课本和练习书。第二卷:计算机科学理论。(Lehr-undübungsbuch der Informatik.Bd 2:信息理论。) (德语) Zbl 0918.68001号

München:莱比锡的Fachbuchverlag是Hanser Verlag。280页(1998年)。
MSC公司:68-01 68倍
PDF格式BibTeX公司 XML格式引用

图论。无轮廓图形处理算法。I.V.Pottosin编辑。(Teoriya grafov.Algoritmy obrabotki beskonturnykh grafov) (俄语) Zbl 0913.05088号

新西伯利亚:瑙卡。Sibirskoe Predpriyatie RAN.385 p.(1998)。
MSC公司:05C90年 68兰特
PDF格式BibTeX公司 XML格式引用

人工智能和逻辑编程逻辑手册。第5卷:逻辑编程。 (英语) Zbl 0889.03001号

牛津:克拉伦登出版社。xv,799页(1998年)。
PDF格式BibTeX公司 XML格式引用

最小不动点的简单线性时间算法(扩展抽象)。 (英语) Zbl 1527.68132号

Larsen,Kim G.(编辑)等人,《自动化,语言和编程》。第25届国际学术讨论会,ICALP’98。1998年7月13日至17日,丹麦奥尔堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1443, 53-66 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机辅助验证。第十届国际会议,CAV’98,加拿大不列颠哥伦比亚省温哥华,1998年6月28日至7月2日。诉讼程序。 (英语) Zbl 1524.68005号

计算机科学课堂讲稿1427.柏林:施普林格出版社(ISBN 978-3-540-64608-2/pbk;978-3-540-69339-0/电子书)。ix,552页。(1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

短而平滑的多边形路径。 (英语) Zbl 1508.68382号

Lucchesi,Cláudio L.(编辑)等,拉丁文'98,理论信息学。第三届拉丁美洲研讨会,巴西坎皮纳斯,1998年4月20日至24日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1380, 151-162 (1998).
MSC公司:68单位05 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

散列和无爪函数的量子密码分析。 (英语) Zbl 1508.68118号

Lucchesi,Cláudio L.(编辑)等,拉丁文'98,理论信息学。第三届拉丁美洲研讨会,巴西坎皮纳斯,1998年4月20日至24日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1380, 163-169 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用特定和可能规则的分类策略。 (英语) Zbl 1502.68288号

Polkowski,Lech(ed.)等人,《粗糙集与当前计算趋势》。1998年6月22日至26日在波兰华沙举行的1998年RSCTC第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1424, 37-44 (1998).
MSC公司:68层37 62H30型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布敏感算法。 (英语) Zbl 1502.68345号

Arnborg,Stefan(编辑)等人,算法理论-SWAT’98。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 335-346 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于约旦区域并集的正则顶点的数目。 (英语) Zbl 1502.68299号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 322-334 (1998).
MSC公司:68单位05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

快速高效计算加权Voronoi细胞在分子生物学中的应用。 (英语) Zbl 1502.68351号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 310-321 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超平面排列中的输出敏感细胞计数。 (英语) 兹比尔1502.68347

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 300-309 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

解决稀疏网格上的基本问题。 (英语) Zbl 1502.68040号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 288-299 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

决定因素:旧算法,新见解(扩展抽象)。 (英语) Zbl 1502.05139号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 276-287 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机联机多线程分页。 (英语) Zbl 1502.68051号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 264-275 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

速度比洞察力更强大。 (英语) Zbl 1502.68375号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 255-263 (1998).
MSC公司:68周27 90B35型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SAT的局部搜索算法:最坏情况分析。 (英语) Zbl 1502.68270号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 246-254 (1998).
MSC公司:68T20型 68瓦40
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式语言约束路径问题。 (英语) Zbl 1502.68205号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 234-245 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分(k)树算法中表计算的内存需求。 (英语) Zbl 1502.68202号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 222-233 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平面图的最小消去。 (英语) Zbl 1502.68219号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 210-221 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最近的一些强不相似性结果。 (英语) 兹比尔1502.68132

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 205-209 (1998).
MSC公司:2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权网络中的并发多播。 (英语) Zbl 1502.68042号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 193-204 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网格上移动机器人的最优确定性协议。 (英语) Zbl 1502.68290号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 181-192 (1998).
MSC公司:68T40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并行二变量线性规划。 (英语) Zbl 1502.68305号

Arnborg,Stefan(编辑)等人,算法理论-SWAT’98。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 169-180 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于二进制堆构建的比较器网络。 (英语) Zbl 1502.68088号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 158-168 (1998).
MSC公司:68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱随机源抽取器及其应用。 (英语) Zbl 1502.68366号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 155-157 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

优先级队列的概率数据结构(扩展摘要)。 (英语) Zbl 1502.68105号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 143-154 (1998).
MSC公司:68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进了存储有限的选择的时空权衡上限。 (英语) Zbl 1502.68113号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 131-142 (1998).
MSC公司:68页第10页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简单的汇合持久连环列表(扩展抽象)。 (英语) Zbl 1502.68098号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 119-130 (1998).
MSC公司:68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最坏情况下有效的外部内存优先级队列。 (英语) Zbl 1502.68087号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 107-118 (1998).
MSC公司:68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束平方中心问题。 (英语) Zbl 1502.68327号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 95-106 (1998).
MSC公司:68单位05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型和运动规划。 (英语) Zbl 1502.68313号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 83-94 (1998).
MSC公司:68单位05 68T40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

围绕区域移动角度。 (英语) Zbl 1502.68325号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432,71-82(1998年)。
MSC公司:68单位05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种计算彩色线段中可见最近外来邻居的优化算法。 (英语) Zbl 1502.68320号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 59-70 (1998).
MSC公司:68单位05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

矩阵的一般块分布的近似。 (英语) Zbl 1502.68122号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432,47-58(1998年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带冲突装箱的近似方案。 (英语) Zbl 1502.90148号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 35-46 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有动态距离功能的设施位置(扩展抽象)。 (英语) Zbl 1502.90105号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 23-34 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多面体曲面上加权最短路径的(ε)近似算法。 (英语) 兹比尔1504.68243

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 11-22 (1998).
MSC公司:68单位05 68周25
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最大流量算法的最新发展(特邀讲座)。 (英语) Zbl 1502.90182号

Arnborg,Stefan(编辑)等人,《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1432, 1-10 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ESTL:事件和状态的时间逻辑。 (英语) Zbl 1510.68042号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 365-384 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数网的灵活性。 (英语) Zbl 1523.68043号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 345-364 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于M-net演算的触发器语义。 (英语) Zbl 1510.68020号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 306-325 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于Petri网的事件驱动过程链认证。 (英语) Zbl 1510.68066号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 286-305 (1998).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面对事务和数据依赖性的死锁检测。 (英语) Zbl 1510.68050号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 266-285 (1998).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用结构Petri网分析研究阻塞排队网络的乘积形式均衡分布。 (英语) Zbl 1510.68057号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 246-265 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

标记GSPN的迭代分解和聚合。 (英语) Zbl 1510.68053号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420、226-245(1998年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

循环思考。 (英语) Zbl 1510.68070号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 205-225 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代币传递MUTEX解决方案的效率——一些实验。 (英语) Zbl 1510.68052号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 185-204 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Petri盒演算中重复等价的公理化。 (英语) Zbl 1510.68060号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 165-184 (1998).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SDL的组合Petri网语义。 (英语) Zbl 1510.68056号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 144-164 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于线性时间时间特性验证中的顽固集。 (英语) Zbl 1510.68045号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 124-143 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在不展开的情况下找到顽固的有色Petri网集。 (英语) Zbl 1510.68063号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 104-123 (1998).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

柔性制造系统的一类结构良好的Petri网。 (英语) Zbl 1510.68055号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 64-83 (1998).
MSC公司:68问题85 90B30型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

手动和自动利用SPN模型中的对称性。 (英语) Zbl 1510.68054号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 28-43 (1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Petri网作为标记对象。介绍基本对象网。 (英语) Zbl 1508.68254号

Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 1-24 (1998).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重启自动机的不同类型的单调性。 (英语) Zbl 1499.68182号

Arvind,V.(编辑)等人,《软件技术和理论计算机科学基础》。第18次会议,印度钦奈,1998年12月17日至19日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1530, 343-354 (1998).
PDF格式BibTeX公司 XML格式引用

算法理论–SWAT’98。第六届斯堪的纳维亚算法理论研讨会,瑞典斯德哥尔摩,1998年7月8日至10日。诉讼程序。 (英语) 兹比尔1499.68006

计算机科学课堂讲稿1432.柏林:施普林格出版社(ISBN 978-3-540-64682-2/pbk;978-3-540-69106-8/电子书)。ix,350页。(1998).
MSC公司:68-06 68瓦xx 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

1998年Petri网的应用和理论。1998年6月22日至26日,第19届国际会议,ICATPN'98,葡萄牙里斯本。诉讼程序。 (英语) Zbl 1499.68015号

计算机科学课堂讲稿1420.柏林:施普林格出版社(ISBN 978-3-540-64677-8/pbk;978-3-540-69108-2/电子书)。viii,第385页。(1998年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组合模式匹配。1998年7月20日至22日在美国新泽西州皮斯卡塔韦举行的98年CPM第九届年度研讨会。诉讼程序。 (英语) Zbl 1484.68010号

计算机科学课堂讲稿1448.柏林:施普林格出版社(ISBN 978-3-540-64739-3/pbk)。ix,251页。(1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个授权模型及其形式语义。 (英语) Zbl 1487.68054号

Jean-Jacques(编辑)等,《计算机安全–ESORICS 98》。第五届欧洲计算机安全研究研讨会,1998年9月16日至18日,比利时卢瓦因拉纽夫。柏林:斯普林格。莱克特。注释计算。科学。1485, 127-142 (1998).
MSC公司:68平方米25 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

处理大型开放分布式系统中的多策略安全。 (英语) Zbl 1487.68055号

Jean-Jacques(编辑)等,《计算机安全–ESORICS 98》。第五届欧洲计算机安全研究研讨会,1998年9月16日至18日,比利时卢瓦因拉纽夫。柏林:斯普林格。莱克特。注释计算。科学。1485, 51-66 (1998).
MSC公司:68平方米25 68米14
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多级安全应用程序策略的内核化体系结构。 (英语) Zbl 1487.68059号

Jean-Jacques(编辑)等,《计算机安全–ESORICS 98》。第五届欧洲计算机安全研究研讨会,1998年9月16日至18日,比利时卢瓦因拉纽夫。柏林:斯普林格。莱克特。注释计算。科学。1485, 33-49 (1998).
MSC公司:68平方米25 68N20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机安全–ESORICS 98。第五届欧洲计算机安全研究研讨会,1998年9月16日至18日,比利时卢瓦因拉纽夫。 (英语) Zbl 1481.68021号

计算机科学课堂讲稿1485.柏林:施普林格出版社(ISBN 978-3-540-65004-1/pbk;978-3-540-49784-4/电子书)。x、 第377页。(1998).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个广义逼近定理,以及通过一个变量多项式的叠加来精确表示多个变量的多项式。 (英语。俄文原件) Zbl 1497.41003号

俄罗斯数学。 42,第5、4-7号(1998年); Izv的翻译。维什。乌切布。扎韦德。,Mat.1998,第5、6-9号(1998年)。
PDF格式BibTeX公司 XML格式引用
全文: MNR公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段