×

软件。实践与经验

简短标题: 软质。,实践。专家。
出版商: 奇切斯特John Wiley&Sons
国际标准编号: 0038-0644; 1097-024倍/年
在线: http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024倍
评论: 期刊;不再索引
已编制索引的文档: 652出版物(1971–2005)
索引的引用: 632出版物参考文献10706。
全部的 前5名

作者

12 布林奇·汉森(Brinch Hansen,Per)
7 尼克劳斯·沃思
6 大卫·汉森。
4 劳伦斯五世·阿特金森。
4 G.R.弗兰克。
4 罗纳德·佩罗特。
4 塞克·C·J·。
4 Brian A.Wichmann。
马尔科姆·P·阿特金森。
裴斗焕
拉杰库马尔·布亚
丹尼·克鲁克斯
卡洛斯·何塞·佩雷拉·德·卢塞纳
塞巴斯蒂安·德奥罗维奇
R.Geoff,Dromey
彼得·芬威克
纳兰·H·格哈尼。
先生们,W.Morven
Andrew T.F.赫特。
雅各布·卡泽内尔森
布莱恩·克尼根(Brian W.Kernighan)。
唐纳德·欧文,克努思
约翰·拉茅斯
宾夕法尼亚州派尔。
杰弗里·罗尔。
阿瑟·H·J·赛尔。
斯蒂芬·罗纳德·沙克
肖恩费尔德,J.L。
威廉·M·韦特(William M.Waite)。
吴佩奇
2 保罗·安奇洛蒂
2 马西莫·安科纳
2 格雷戈里·安德鲁斯。
2 路易斯·安尼多
2 Paul A.Bailes。
2 提姆·贝尔
2 Judy M.主教。
2 Bulmer,A.R。
2 卡吉尔,T.A。
2 Chae,Heung Seok先生
2 Tyng-Ruey庄
2 莫里斯·克林特
2 雅克·科恩
2 Douglas E.科默。
2 唐纳德·科恩。
2 坎宁安,R.J。
2 奈杰尔·戴利
2 Sivarama P.丹达穆迪。
2 朱塞佩·迪巴蒂斯塔
2 加布里埃拉·多德罗
2 T·M·R·埃利斯。
2 穆罕默德·法亚德(Mohamed E.Fayad)。
2 研究员,David M。
2 Fernández Iglesias,Manuel J。
2 克里斯托弗·弗雷泽(Christopher W.Fraser)。
2 约翰·甘农。
2 Emden R.甘斯纳。
2 拉尔夫·格里斯沃尔德(Ralph E.Griswold)。
2 乌代·古杰尔(Uday G.Gujar)。
2 安娜·哈奇
2 斯蒂芬·黑格。
2 大卫·M·哈兰德。
2 轩尼诗,约翰·勒罗伊
2 C.A.R.Tony Hoare
2 丹尼尔·霍夫曼
2 R.奈杰尔·霍斯普尔
2 M.Elizabeth C.赫尔。
2 达雷尔·因斯。
2 萨托鲁·卡瓦伊
2 德里克·库里(Derrick G.Kourie)。
2 权永瑞
2 劳森、索伦
2 奥利维尔·莱卡梅
2 安德鲁·李斯特(Andrew M.Lister)。
2 刘梦驰
2 马丁·拉马斯
2 Robert W.P.Luk。
2 纳迪亚·马格纳特·塔尔曼
2 桑德拉·马姆拉克。
2 詹姆斯·麦格雷戈(James J.McGregor)。
2 R·M·麦基。
2 彼得·M·奈利。
2 斯蒂芬·诺思(Stephen C.North)。
2 弗兰克·帕根。
2 雅各布·帕尔姆
2 I.T.帕森斯。
2 W.F.C.乘务长。
2 马歇尔·拉斐尔
2 安德斯·雷文(Anders P.Ravn)。
2 马丁·理查兹
2 威廉·D·鲁姆。
2 斯科文,R.S。
2 M·J·R·沙夫。
2 保罗·索伦森。
2 罗伯特·D·坦能。
2 丹尼尔·塔尔曼
2 范怀克,克里斯托弗·J。
2 让·G·沃彻。
2 旺德,I.C。
2 大卫·安东尼·瓦特
…还有903多名作者

按年份列出的出版物

zbMATH Open中包含的引文

144出版物有被引用627中的次566文件 引用人 年份
一种新的应用语言实现技术。 兹伯利0386.68009
特纳,D.A。
60
1979
开放式图形可视化系统及其在软件工程中的应用。 Zbl 1147.68782号
Emden R.甘斯纳。;斯蒂芬·诺思(Stephen C.North)。
38
2000
ABACUS系统用于整数规划和组合优化中的分支与降价算法。 Zbl 1147.90416号
迈克尔·Jünger;斯蒂芬·蒂内尔
30
2000
关于CGAL的设计一个计算几何算法库。 Zbl 1147.68781号
安德烈亚斯·法布里;吉泽曼,Geert-Jan;卢茨凯特纳;斯特凡·席拉;Sven Schönherr
25
2000
FORTRAN程序的实证研究。 Zbl 0243.68003号
唐纳德·科努特(Donald E.Knuth)。
18
1971
分布式计算网格资源管理系统的分类和调查。 Zbl 0987.68786号
克劳斯·克劳特;Rajkumar布亚;穆图库马鲁·马赫斯瓦兰
17
2002
回溯搜索算法和最大公共子图问题。 Zbl 0466.68053号
詹姆斯·麦格雷戈(James J.McGregor)。
17
1982
DAG-一个绘制有向图的程序。 Zbl 0661.68067号
E.R.甘斯纳。;南卡罗来纳州北部。;Vo、K.P。
10
1988
漂亮的树木印花。 Zbl 0431.68040号
让·G·沃彻。
10
1980
模块化多道程序设计语言。 Zbl 0346.68012号
北卡罗来纳州沃思。
9
1977
NR-grep:快速灵活的图案匹配工具。 Zbl 1008.68028号
冈萨洛·纳瓦罗
9
2001
把段落分成几行。 Zbl 0471.68021号
唐纳德·科努特(Donald E.Knuth)。;迈克尔·普拉斯(Michael F.Plass)。
9
1981
使用符合FIPA的代理框架开发多代理系统。 Zbl 0963.68668号
法比奥·贝利福明;阿戈斯蒂诺·波吉;乔瓦尼·里马萨
8
2001
使用Quicksort开发部分订单。 Zbl 0537.68058号
R.Geoff,Dromey
8
1984
Klava:一个用于分布式和移动应用程序的Java包。 Zbl 1009.68933号
洛伦佐·贝蒂尼;洛科·德尼古拉;罗萨里奥·普格利泽
7
2002
三种字符串匹配算法的比较。 Zbl 0466.68050号
de V.Smit,G。
7
1982
使用字内并行进行近似字符串匹配。 Zbl 0942.68787号
奥尔登·赖特(Alden H.Wright)。
6
1994
Java智能卡上的字节码验证。 Zbl 1009.68891号
泽维尔·勒罗伊
6
2002
代理:移动代理系统的应用和性能。 Zbl 1009.68902号
罗伯特·S·格雷。;乔治·西本科;大卫·科茨;罗纳德·彼得森。;丹妮拉·罗斯
6
2002
用于广域分布式计算的网格和网格技术。 Zbl 1009.68937号
贝克,马克;拉杰库马尔·布亚;多梅尼科·拉福伦萨
6
2002
编程语言Oberon。 Zbl 0646.68012号
北卡罗来纳州沃思。
6
1988
在FORTRAN中展开循环。 Zbl 0393.68011号
J.J.东加拉。;A.R.Hinds。
6
1979
关于空间填充曲线的生成和使用。 Zbl 0511.68085号
伊恩·维滕(Ian H.Witten)。;布莱恩·威维尔
6
1983
图形数据库模式。 Zbl 1009.68921号
朱塞佩·迪巴蒂斯塔;沃尔特·迪迪莫;莫里齐奥·帕特里格纳尼;毛里齐奥·皮佐尼亚
5
2002
Burrows-Wheeler压缩算法中的第二步算法。 Zbl 0987.68789号
塞巴斯蒂安·德奥罗维奇
5
2002
如何压缩词库。 Zbl 0987.68782号
Marcin G.库拉。;塞巴斯蒂安·德奥罗维奇
5
2001
为多机器库生成特殊功能例程。 Zbl 0317.68024号
肖恩费尔德,J.L。
5
1976
DAVE-Fortran程序的验证错误检测和文档系统。 Zbl 0329.68011号
Leon J.奥斯特维尔。;劳埃德·福斯迪克。
5
1976
一种生成希尔伯特曲线的新算法。 Zbl 0593.65014号
A.J.费希尔。
5
1986
Burrows-Wheeler压缩算法的改进。 Zbl 1060.68595号
塞巴斯蒂安·德奥罗维奇
4
2000
别名掩埋:没有破坏性读取的唯一变量。 Zbl 1009.68878号
约翰·博伊兰德
4
2001
半自动语法恢复。 Zbl 1009.68889号
拉梅尔,R。;C.弗霍夫。
4
2001
Graphlet:图形编辑器的设计和实现。 兹比尔1147.68784
米歇尔·希姆索尔特
4
2000
高级语言的调试工具。 Zbl 0236.68003号
萨特思韦特,E。
4
1972
PFORT验证器。 Zbl 0291.68008号
B.G.莱德。
4
1974
抽象方程解释器的实现。 Zbl 0591.68010号
克里斯托夫·霍夫曼。;迈克尔·奥唐纳;罗伯特·斯特兰德。
4
1985
PASCAL编译器的设计。 Zbl 0232.68005号
北卡罗来纳州沃思。
4
1971
可变长度整数代码的Burrows-Wheeler压缩。 Zbl 1009.68927号
彼得·芬威克
2002
稳定的快速分拣。 Zbl 0457.68055号
达利亚·莫茨金
1981
Make—维护计算机程序的程序。 Zbl 0393.68015号
斯图亚特·费尔德曼一世。
1979
用于系统建模的排队网络软件。 Zbl 0395.68088号
苏尔,C.H。;E.A.麦克奈尔。
1979
逻辑编程和编译器编写。 兹比尔0428.68015
大卫·H·D·沃伦。
1980
显示一类填充曲线的算法。 Zbl 0589.68071号
格里菲斯,J.G。
1986
模式匹配算法。 Zbl 0592.68057号
戴维斯,G。;鲍舍,S。
1986
规范方法:一种集成的关系方法。 Zbl 0602.68015号
阿里·米莉;王、肖阳;于,清
1986
SequenceL中的自动并行控制结构。 Zbl 1009.68864号
丹尼尔·库克。;Andersen,Per公司
2
2000
Java中的受限类型。 Zbl 1009.68879号
维泰克,简;鲍里斯·博科夫斯基
2
2001
摩尔:移动代理系统。 Zbl 1009.68903号
鲍曼,J。;F.霍尔。;罗瑟梅尔,K。;M.斯特拉瑟。;西尔曼。
2
2002
面向对象类的内聚度量。 Zbl 1009.68858号
Chae,Heung Seok先生;权永瑞;裴斗焕
2
2000
模块的设计与实现。 Zbl 0347.68007号
北卡罗来纳州沃思。
2
1977
将一类递归过程转换为非递归过程。 Zbl 0348.68031号
罗尔,J.S。
2
1977
符号测试效果的评估。 Zbl 0376.68024号
威廉·豪登(William E.Howden)。
2
1978
回顾性排序和选择。 Zbl 1147.68472号
约翰·D·瓦洛伊斯。
2
2000
性能预测的一些风险:模式匹配的案例研究。 Zbl 0987.68930号
彼得·芬威克
2
2001
包含有限差分算子的FORTRAN的扩展。 Zbl 0245.65054号
约翰·加里;理查德·赫尔加森
2
1972
关于布尔表达式的求值。 兹伯利0272.68036
古德斯,E。;A.赖特。
2
1973
ASAB:中文屏幕阅读器。 Zbl 1010.68972号
卢克,R.W.P。;杨博士。;卢,Q。;Leung,H.L。;李秀英。;梁,F。
2
2003
Lambda库:C++中的未命名函数。 Zbl 1010.68973号
雅科雅尔维;加里·鲍威尔;安德鲁·卢姆斯代恩
2
2003
消除组合过程中的递归。 Zbl 0459.68034号
罗尔,J.S。
2
1981
并发程序的调试器。 Zbl 0559.68044号
Jason,步态
2
1985
Sasl中的Yacc——函数编程练习。 Zbl 0566.68006号
西蒙·佩顿·琼斯
2
1985
重新访问并行分配。 Zbl 0519.68009号
P.H.韦尔奇。
2
1983
DTL:一种设计和实现结构化网络并发程序的语言。 Zbl 0519.68030号
J.W.休斯。;鲍威尔,M.S。
2
1983
在程序的文档和验证中使用重影变量和虚拟编程。 Zbl 0544.68006号
M.克林特。;维森特,C。
2
1984
二叉树的广义非递归遍历。 Zbl 0466.68054号
基尔古尔,A.C。
2
1981
Triplex:区间算术系统。 Zbl 0479.68032号
科尔,A.J。;R.莫里森。
2
1982
Java 3D、3D图形环境和行为。 Zbl 1009.68892号
安东尼·伯尔斯。;英国,大卫
1
2002
基于虚拟机的异构检查点。 Zbl 1009.68926号
阿德南·阿巴里亚;罗伊·弗里德曼
1
2002
应对GNU Eiffel编译器实现中的混叠。 Zbl 1009.68880号
奥利维尔·曾德拉;多米尼克·科尔内
1
2001
J3DV:基于Java的3D数据库可视化工具。 Zbl 1009.68898号
方、香;约翰·A·米勒。;乔纳森·阿诺德
1
2002
具有Ara移动代理系统的应用和编程经验。 Zbl 1009.68901号
霍尔格·佩恩
1
2002
在面向对象的软件演化过程中维护可追溯性链接。 Zbl 1009.68870号
安东尼奥,G。;坎福拉,G。;G·卡萨扎。;A.德卢西亚。
1
2001
BRISK:一种便携式、灵活的分布式仪器系统。 Zbl 1009.68860号
阿列克桑达尔·巴基奇;马特·W·穆特卡。;黛安·罗弗。
1
2000
从国家标准过渡到unicode:操作系统和编程语言中的多语言支持。 Zbl 1009.68857号
吴佩奇
1
2000
用于查找动态编程错误的静态分析器。 Zbl 1009.68852号
威廉·R·布什。;乔纳森·平卡斯。;大卫·J·西拉夫。
1
2000
软件产品线:案例研究。 Zbl 1009.68856号
马克·阿尔迪斯;奈杰尔·戴利;丹尼尔·霍夫曼;希伊,哈维;大卫·维斯
1
2000
在持久编程语言中实现自动细粒度锁定。 兹比尔1008.68783
戴恩斯,L。
1
2000
\(\text{P}\sup{3}\):Java的代码和设计约定预处理器。 Zbl 1005.68746号
科林·德普拉丁;乔杜里,普拉奈
1
2003
爱迪生-一种多处理器语言。 Zbl 0452.68028号
布林奇·汉森(Brinch Hansen,Per)
1
1981
爱迪生的设计。 Zbl 0452.68029号
布林奇·汉森(Brinch Hansen,Per)
1
1981
并发\(C++:\)类的并发编程。 Zbl 0661.68006号
新罕布什尔州盖哈尼。;鲁姆,W.D。
1
1988
模块的使用。 Zbl 0347.68006号
北卡罗来纳州沃思。
1
1977
关于PASCAL编译器中的代码生成。 Zbl 0359.68036号
乌尔斯·阿曼
1
1977
更多关于从反向抛光重新创建源代码的内容。 Zbl 0357.68024号
P.J.布朗。
1
1977
一种查询程序运行时行为的语言。 Zbl 0361.68017号
雅克·科恩;尼尔·卡彭特
1
1977
帕斯卡语中的歧义和不安全。 Zbl 0366.68010号
威尔士语,J。;斯内林格,W.J。;C.A.R.霍尔。
1
1977
用高级语言实现LISP。 Zbl 0366.68012号
菲奇,J.P。;A.C.诺曼。
1
1977
经济范围检查单位为帕斯卡。 Zbl 0368.68020号
J·威尔士。
1
1978
自编译编译器:对其实现和可移植性的评估。 Zbl 0371.68001号
奥利维尔·莱卡梅;玛丽·克劳德·佩罗尔·托马斯
1
1978
软件可移植性指南。 Zbl 0385.68034号
安德鲁·塔南鲍姆(Andrew S.Tanenbaum)。;保罗·克林特;维姆·博姆
1
1978
Awk-一种模式扫描和处理语言。 Zbl 0393.68012号
阿霍,阿尔弗雷德五世。;布莱恩·克尼根(Brian W.Kernighan)。;彼得·温伯格。
1
1979
Algol 68中的任意精度算法。 Zbl 0394.68027号
肖恩费尔德,J.L。;J.T.托马森。
1
1979
帕斯卡的描述草稿。 Zbl 0399.68007号
艾德曼,A.M。;R·布鲁尔。;伯内特·霍尔,D.G。;R·M·德摩根。;西芬德利。;M.I.杰克逊。;乔斯林,D.A。;M.J.里斯。;瓦特,D.A。;J·威尔士。;维奇曼,B.A。
1
1979
Pascal-Plus——模块化多道程序设计的另一种语言。 兹伯利0411.68025
J·威尔士。;巴斯塔德·D·W。
1
1979
分析编译程序编写中的Pascal程序。 Zbl 0428.68016号
Masaaki岛崎;Fukaya、Shigeru;池田克雄;竹桥清野
1
1980
用户定义运算符的公理。 Zbl 0429.68017号
宾夕法尼亚州派尔。
1
1980
无穷幂级数。 Zbl 0441.68042号
史蒂文·哈灵顿
1
1980
Ada概述。 兹比尔0442.68004
巴恩斯,I.G.P。
1
1980
可运输的软件包。 Zbl 0442.68017号
R.G.哈姆雷特。;R.M.哈拉利克。
1
1980
图形绘制算法的实验研究。 Zbl 1147.68785号
卢卡·维斯马拉;朱塞佩·迪巴蒂斯塔;阿希姆·加尔格;朱塞佩·利奥塔;罗伯托·塔马西娅;弗朗西斯科·瓦尔吉
1
2000
ASAB:中文屏幕阅读器。 Zbl 1010.68972号
卢克,R.W.P。;杨,D.S。;卢,Q。;Leung,H.L。;李秀英。;梁,F。
2
2003
Lambda库:C++中的未命名函数。 Zbl 1010.68973号
雅科雅尔维;加里·鲍威尔;安德鲁·卢姆斯代恩
2
2003
\(\text{P}\sup{3}\):Java的代码和设计约定预处理器。 Zbl 1005.68746号
科林·德普拉丁;普拉奈乔杜里
1
2003
用于光学音乐识别的音乐符号构造引擎。 Zbl 1010.68968号
班布里奇,大卫;提姆·贝尔
1
2003
分布式计算网格资源管理系统的分类和调查。 Zbl 0987.68786号
克劳斯·克劳特;拉杰库马尔·布亚;穆图库马鲁·马赫斯瓦兰
17
2002
Klava:一个用于分布式和移动应用程序的Java包。 Zbl 1009.68933号
洛伦佐·贝蒂尼;洛科·德尼古拉;罗萨里奥·普格利泽
7
2002
Java智能卡上的字节码验证。 Zbl 1009.68891号
泽维尔·勒罗伊
6
2002
代理:移动代理系统的应用和性能。 Zbl 1009.68902号
罗伯特·S·格雷。;乔治·西本科;大卫·科茨;罗纳德·彼得森。;丹妮拉·罗斯
6
2002
用于广域分布式计算的网格和网格技术。 兹比尔1009.68937
马克·贝克;拉杰库马尔·布亚;多梅尼科·拉福伦萨
6
2002
图形数据库模式。 兹比尔1009.68921
朱塞佩·迪巴蒂斯塔;沃尔特·迪迪莫;莫里齐奥·帕特里格纳尼;毛里齐奥·皮佐尼亚
5
2002
Burrows-Wheeler压缩算法中的第二步算法。 Zbl 0987.68789号
塞巴斯蒂安·德奥罗维奇
5
2002
可变长度整数代码的Burrows-Wheeler压缩。 Zbl 1009.68927号
彼得·芬威克
2002
摩尔:移动代理系统。 Zbl 1009.68903号
鲍曼,J。;F.霍尔。;罗瑟梅尔,K。;M.斯特拉瑟。;西尔曼。
2
2002
Java 3D、3D图形环境和行为。 Zbl 1009.68892号
安东尼·巴罗斯(Anthony L.Burrows)。;英国,大卫
1
2002
基于虚拟机的异构检查点。 Zbl 1009.68926号
阿德南·阿巴里亚;罗伊·弗里德曼
1
2002
J3DV:一个基于Java的三维数据库可视化工具。 Zbl 1009.68898号
方、香;约翰·A·米勒。;乔纳森·阿诺德
1
2002
具有Ara移动代理系统的应用和编程经验。 Zbl 1009.68901号
霍尔格·佩恩
1
2002
NR-grep:快速灵活的图案匹配工具。 Zbl 1008.68028号
冈萨洛·纳瓦罗
9
2001
使用符合FIPA的代理框架开发多代理系统。 Zbl 0963.68668号
法比奥·贝利法明;阿戈斯蒂诺·波吉;乔瓦尼·里玛萨
8
2001
如何压缩词库。 Zbl 0987.68782号
Marcin G.库拉。;塞巴斯蒂安·德奥罗维奇
5
2001
别名掩埋:没有破坏性读取的唯一变量。 兹比尔1009.68878
约翰·博伊兰德
4
2001
半自动语法恢复。 Zbl 1009.68889号
拉梅尔,R。;C.弗霍夫。
4
2001
Java中的受限类型。 Zbl 1009.68879号
维泰克,简;鲍里斯·博科夫斯基
2
2001
性能预测的一些风险:模式匹配的案例研究。 Zbl 0987.68930号
彼得·芬威克
2
2001
处理GNU Eiffel编译器实现中的别名。 Zbl 1009.68880号
奥利维尔·曾德拉;多米尼克·科尔内
1
2001
在面向对象的软件演化过程中维护可追溯性链接。 Zbl 1009.68870号
安东尼奥,G。;坎福拉,G。;G·卡萨扎。;A.德卢西亚。
1
2001
数字ActiveX组件。 兹伯利0963.68670
利维,G.F。
1
2001
用于异构网络中优化求解器远程执行的Java/CORBA虚拟机体系结构。 Zbl 0963.68666号
González-Castaño,F.J。;阿尼多·里夫翁。;普萨达·卡巴洛,J.M。;罗德里格斯-埃尔南德斯,P.S。;López-Gómez,R。
1
2001
增强用于调度问题的CLP分支和绑定技术。 Zbl 0963.68664号
Bosi,F。;M.米兰。
1
2001
针对大型文本集合的自我调整树。 Zbl 0990.68562号
休·E·威廉姆斯。;贾斯汀·佐贝尔;海因茨,斯特芬
1
2001
快速字符串匹配,可进行多次搜索。 Zbl 0986.68925号
彼得·芬威克
1
2001
使用软件组件开发基于WWW的高度交互和协作应用程序。 Zbl 0987.68932号
路易斯·安尼多;马丁·拉马斯;曼努埃尔·J·费尔南德斯。
1
2001
开放式图形可视化系统及其在软件工程中的应用。 Zbl 1147.68782号
Emden R.甘斯纳。;斯蒂芬·诺思(Stephen C.North)。
38
2000
ABACUS系统用于整数规划和组合优化中的分支与降价算法。 Zbl 1147.90416号
迈克尔·Jünger;斯蒂芬·蒂内尔
30
2000
关于CGAL的设计一个计算几何算法库。 Zbl 1147.68781号
安德烈亚斯·法布里;吉泽曼,Geert-Jan;卢茨凯特纳;斯特凡·席拉;Sven Schönherr
25
2000
改进Burrows-Wheeler压缩算法。 Zbl 1060.68595号
塞巴斯蒂安·德奥罗维奇
4
2000
Graphlet:图形编辑器的设计和实现。 Zbl 1147.68784号
米歇尔·希姆索尔特
4
2000
SequenceL中的自动并行控制结构。 Zbl 1009.68864号
丹尼尔·库克。;Andersen,Per公司
2
2000
面向对象类的内聚度量。 Zbl 1009.68858号
Chae,Heung Seok先生;权永瑞;裴斗焕
2
2000
回顾了反思性排序和选择。 Zbl 1147.68472号
约翰·D·瓦洛伊斯。
2
2000
BRISK:一种便携式、灵活的分布式仪器系统。 Zbl 1009.68860号
阿列克桑达尔·巴基奇;马特·W·穆特卡。;黛安·罗弗。
1
2000
从国家标准到unicode的过渡:操作系统和编程语言中的多语言支持。 Zbl 1009.68857号
吴佩奇
1
2000
用于查找动态编程错误的静态分析器。 Zbl 1009.68852号
威廉·R·布什。;乔纳森·平卡斯。;大卫·J·西拉夫。
1
2000
软件产品线:案例研究。 Zbl 1009.68856号
马克·阿尔迪斯;奈杰尔·戴利;丹尼尔·霍夫曼;希伊,哈维;大卫·维斯
1
2000
在持久编程语言中实现自动细粒度锁定。 Zbl 1008.68783号
戴恩斯,L。
1
2000
图形绘制算法的实验研究。 Zbl 1147.68785号
卢卡·维斯马拉;朱塞佩·迪巴蒂斯塔;阿希姆·加尔格;朱塞佩·利奥塔;罗伯托·塔马西娅;弗朗西斯科·瓦尔吉
1
2000
Java线程和SugarCubes。 Zbl 1147.68451号
弗雷德里克·布西诺;Jean-Ferdy苏西尼
1
2000
C++类层次结构的Java本机接口习惯用法。 Zbl 0971.68661号
戴尔·帕森;朱振宇
1
2000
BOX:浏览XML中的对象。 Zbl 0971.68660号
Nentwich,基督徒;沃尔夫冈·艾默里奇;安东尼·芬克尔斯坦;安德烈亚·齐斯曼
1
2000
使用字内并行进行近似字符串匹配。 Zbl 0942.68787号
奥尔登·赖特(Alden H.Wright)。
6
1994
Joyce的多处理器实现。 Zbl 0825.68280号
布林奇·汉森(Brinch Hansen,Per)
1
1989
DAG-绘制有向图的程序。 Zbl 0661.68067号
E.R.甘斯纳。;南卡罗来纳州北部。;Vo、K.P。
10
1988
编程语言Oberon。 Zbl 0646.68012号
北卡罗来纳州沃思。
6
1988
并发\(C++:\)类的并发编程。 兹比尔0661.68006
新罕布什尔州盖哈尼。;鲁姆,W.D。
1
1988
Joyce-分布式系统的编程语言。 Zbl 0601.68011号
布林奇·汉森(Brinch Hansen,Per)
1
1987
AIDA-用于Pascal程序的动态数据流异常检测系统。 Zbl 0607.68008号
Chan、Fun Ting;陈宗岳
1
1987
寄存器分配的Sethi-Ullman算法的推广。 Zbl 0617.68031号
安德鲁·W·阿佩尔。;肯尼思·苏福威特。
1
1987
一种生成希尔伯特曲线的新算法。 Zbl 0593.65014号
A.J.费希尔。
5
1986
显示一类填充曲线的算法。 Zbl 0589.68071号
格里菲斯,J.G。
1986
模式匹配算法。 Zbl 0592.68057号
戴维斯,G。;鲍舍,S。
1986
规范方法论:一种集成的关系方法。 Zbl 0602.68015号
阿里·米莉;王晓阳;于,清
1986
可执行语义描述。 Zbl 0575.68017号
大卫·A·瓦特。
1
1986
并发C。 Zbl 0599.68028号
新罕布什尔州盖哈尼。;鲁姆,W.D。
1
1986
抽象方程解释器的实现。 Zbl 0591.68010号
克里斯托夫·霍夫曼。;运营;迈克尔·唐奈尔;罗伯特·斯特兰德。
4
1985
并发程序的调试器。 兹伯利0559.68044
Jason,步态
2
1985
Sasl中的Yacc——函数编程练习。 Zbl 0566.68006号
西蒙·佩顿·琼斯
2
1985
Pascal中类型歧义问题的规范和实现。 Zbl 0575.68007号
德里克·帕特里奇
1
1985
变量共享和消息传递之间的程序转换方法。 Zbl 0563.68009号
Teruo Hikita公司;清崎石仓
1
1985
强制终止回路。 Zbl 0547.68016号
R.Geoff,Dromey
1
1985
使用Quicksort开发部分订单。 Zbl 0537.68058号
R.Geoff,Dromey
8
1984
在程序的文档和验证中使用虚变量和虚拟编程。 Zbl 0544.68006号
M.克林特。;维森特,C。
2
1984
Ada语言中的并发编程:轮询偏差。 Zbl 0536.68014号
Gehani,新罕布什尔州。;卡吉尔,T.A。
1
1984
分布式系统语言设计实验。 Zbl 0542.68019号
克鲁克斯,D。;埃尔德,J.W.G。
1
1984
关于空间填充曲线的生成和使用。 Zbl 0511.68085号
伊恩·维滕(Ian H.Witten)。;布莱恩·威维尔
6
1983
重新访问并行分配。 Zbl 0519.68009号
韦尔奇,P.H。
2
1983
DTL:一种设计和实现结构化网络并发程序的语言。 Zbl 0519.68030号
J.W.休斯。;鲍威尔,M.S。
2
1983
模块化程序的执行探查器。 Zbl 0515.68007号
苏珊·L·格雷厄姆。;彼得·凯斯勒。;马歇尔·K·麦库希克。
1
1983
回溯搜索算法和最大公共子图问题。 Zbl 0466.68053号
詹姆斯·麦格雷戈(James J.McGregor)。
17
1982
三种字符串匹配算法的比较。 Zbl 0466.68050号
de V.Smit,G。
7
1982
Triplex:区间算术系统。 Zbl 0479.68032号
科尔,A.J。;R.莫里森。
2
1982
在Pascal中优化两状态case语句。 Zbl 0481.68006号
阿特金森,L.V。
1
1982
Pascal案例陈述汇编。 Zbl 0488.68012号
约翰·L·轩尼诗。;诺亚·门德尔松
1
1982
餐饮哲学家问题的稳健分布式解决方案。 兹比尔0489.68020
卡吉尔,T.A。
1
1982
把段落分成几行。 Zbl 0471.68021号
唐纳德·科努特(Donald E.Knuth)。;迈克尔·普拉斯(Michael F.Plass)。
9
1981
稳定的快速分拣。 Zbl 0457.68055号
达利亚·莫茨金
1981
消除组合过程中的递归。 Zbl 0459.68034号
罗尔,J.S。
2
1981
二叉树的广义非递归遍历。 Zbl 0466.68054号
基尔古尔,A.C。
2
1981
爱迪生-一种多处理器语言。 Zbl 0452.68028号
布林奇·汉森(Brinch Hansen,Per)
1
1981
爱迪生的设计。 Zbl 0452.68029号
布林奇·汉森(Brinch Hansen,Per)
1
1981
便携式LISP编译器。 Zbl 0467.68024号
马丁·格里斯。;Anthony C.赫恩。
1
1981
顺序进程之间的消息传递:回复原语和管理员概念。 Zbl 0467.68027号
先生们,W.Morven
1
1981
使用Pascal进行模块化编程。 Zbl 0471.68004号
Steensgaard-Madsen,J。
1
1981
一次编译短路布尔表达式。 Zbl 0471.68015号
乔治·洛戈塞提斯;普拉蒂克·米什拉
1
1981
漂亮的树木印花。 Zbl 0431.68040号
让·G·沃彻。
10
1980
逻辑编程和编译器编写。 Zbl 0428.68015号
大卫·H·D·沃伦。
1980
分析编译程序编写中的Pascal程序。 Zbl 0428.68016号
Masaaki岛崎;Fukaya、Shigeru;池田克雄;竹桥清野
1
1980
用户定义运算符的公理。 Zbl 0429.68017号
派尔,I.C。
1
1980
无穷幂级数。 Zbl 0441.68042号
史蒂文·哈灵顿
1
1980
Ada概述。 兹比尔0442.68004
巴恩斯,I.G.P。
1
1980
可运输的软件包。 Zbl 0442.68017号
R.G.哈姆雷特。;哈拉利克,R.M。
1
1980
…以及其他44个文档
全部的 前5名

1141位作者引用

7 迈克尔·Jünger
5 丹·哈尔佩林
5 朱塞佩·利奥塔
5 冈萨洛·纳瓦罗
4 1月Daciuk
4 朱塞佩·迪巴蒂斯塔
4 彼得·伊德斯
4 卢茨凯特纳
4 奥拉·彼得森
4 Masahiro Shibata
4 罗伯托·塔马西娅
马库斯·奇马尼
特奥多尔·加布里埃尔(Teodor Gabriel Crainic)
奥格·德穆尔
卢卡·迪·加斯佩罗
沃尔特·迪迪莫
彼得·芬威克
埃菲·福格尔
卡斯滕·古温格
米查尔·考特
扬·威廉·克鲁普
卢卡·马提尼
库尔特·梅尔霍恩
佩特拉·穆策尔
弗莱明·尼尔森
西蒙·琼斯(Simon L.Peyton Jones)。
罗萨里奥·普格利泽
汉内·里斯·尼尔森
安德烈亚·谢尔夫
铃木,Yuichi
乔尔马·塔尔希奥
罗伯特·D·坦能。
Thapalia,Biju K。
Ioannis G.托利斯。
斯坦·华莱士。
Yaman,汉德
2 加根阿格拉瓦尔
2 里卡多·A·贝扎·耶茨。
2 亨德里克·彼得·巴伦德雷格特
2 吉尔·巴特
2 埃里克·小檗
2 朱利亚·贝尔纳迪尼
2 菲利普·比尔
2 理查德·伯德(Richard S.Bird)。
2 伊戈尔·博尔沙科夫(Igor A.Bolshakov)。
2 莱泽克·博尔泽姆斯基
2 努里丁·布德里加A。
2 布兰德,塞巴斯蒂安
2 克里斯托夫·布赫海姆
2 本克,霍斯特
2 斯万特·卡尔松
2 拉斐尔·卡拉斯科。
2 陈法蒂
2 陈景森
2 科尔,A.J。
2 路易斯·达马斯
2 De Francesco,尼科莱塔
2 洛科·德尼古拉
2 塞巴斯蒂安·德奥罗维奇
2 雷米·杜伦斯
2 弗拉基米尔Estivill-Castro
2 Fluet,Matthew T。
2 崔维斯·盖吉
2 阿希姆·加尔格
2 Pawe Gawrychowskił
2 埃琳娜·贾奇诺
2 保拉·詹尼尼
2 丹尼尔·戈拉
2 理查德·哈姆雷特。
2 伊多·汉尼埃尔
2 Teruo Hikita公司
2 海克·霍夫曼
2 胡叶发
2 雅科雅尔维
2 博通县卡库加瓦
2 布莱恩·卡勒豪格
2 J.R.肯纳韦。
2 肯·肯尼迪
2 克里斯托夫·凯勒(Christoph W.Keßler)。
2 金德秀
2 金永焕
2 沃纳·E·克鲁格。
2 唐纳德·欧文,克努思
2 马丁·拉贝。
2 曼努埃尔·拉古纳
2 拉尔夫·拉梅尔
2 米歇尔·兰扎
2 李莫昆
2 朱塞佩·莱蒂埃里
2 克里斯托斯·列夫科普洛斯
2 骗子,弗劳克
2 拉斐尔·杜埃尔·林斯
2 刘,西安
2 阿尔贝托·卢什·拉富恩特
2 艾伦·J·麦克劳德。
2 米查尔·曼考斯基
2 乔瓦尼·曼齐尼
2 哈维尔·L·马兰科。
2 康斯坦蒂诺斯·马加里蒂斯(Konstantinos G.Margaritis)。
2 拉斐尔·马蒂
…还有1041位作者
全部的 前5名

149种期刊引用

45 理论计算机科学
36 信息处理信件
25 信息学报
17 软件。实践与经验
17 函数编程杂志
11 离散应用数学
10 计算机程序设计科学
9 计算几何
9 逻辑程序设计理论与实践
8 新一代计算
8 算法
8 实时系统
8 比特。Nordisk Tidskrift信息处理
7 信息与计算
7 运筹学年鉴
7 国际计算机数学杂志
6 应用数学与计算
6 计算与应用数学杂志
6 计算机与系统科学杂志
6 苏联数学杂志
6 计算机与运筹学
6 计算的形式方面
6 欧洲运筹学杂志
6 系统设计中的形式化方法
5 信息科学
5 MSCS公司。计算机科学中的数学结构
5 高阶和符号计算
5 计算机语言、系统和结构
5 计算机科学中的数学
4 计算机与数学及其应用
4 比特币
4 计算
4 符号计算杂志
4 国际并行程序设计杂志
4 自动推理杂志
4 国际计算机科学基础杂志
4 数学编程。A系列B系列
4 调度日志
4 离散算法杂志
计算机物理通信
国际计算机与信息科学杂志
国际工程数值方法杂志
符号逻辑杂志
模拟中的数学和计算机
国际生产研究杂志
应用数值数学
计算机科学与技术杂志
数学和计算机建模
计算统计学
控制论与系统分析
离散优化
科学中国。信息科学
程序设计中的逻辑和代数方法杂志
2 人工智能
2 计算数学
2 编程和计算机软件
2 控制论
2 控制论与系统
2 随机结构与算法
2 吉泰。实验与理论人工智能杂志
2 国际计算几何与应用杂志
2 模式识别
2 数学与人工智能年鉴
2 图形算法与应用杂志
2 RAIRO公司。理论信息学及其应用
2 逻辑与代数程序设计杂志
2 JMMA公司。数学建模与算法杂志
2 4OR(或)
1 倒排索引综述
1 加拿大统计杂志
1 应用力学与工程中的计算机方法
1 离散数学
1 广义相对论与引力
1 国际通用系统杂志
1 物理快报。A类
1 ACM数学软件汇刊
1 Automatica公司
1 生物计量学
1 卡尔科洛
1 信息
1 凯贝内提卡
1 圣母院形式逻辑杂志
1 SIAM计算机杂志
1 统计学
1 OR演讲
1 运营研究信件
1 计算机辅助几何设计
1 RAIRO公司。数学建模与分析数字
1 应用数学快报
1 科学计算杂志
1 并行:实践与经验
1 全球优化杂志
1 离散事件动态系统
1 应用智能
1 RAIRO公司。Informatique Théorique et Applications公司
1 控制科学档案
1 计算优化与应用
1 逻辑、语言与信息杂志
1 国际计算机与系统科学杂志
1 SIAM科学计算杂志
…还有49种期刊

按年份列出的引文