约翰·威廉姆斯
人员信息
其他同名人员
Crispin St.John Alvah纳什威廉姆斯 约翰·威廉姆斯 — 消歧页 约翰·威廉姆斯 约翰·威廉姆斯 约翰·威廉姆斯 约翰·威廉姆斯 约翰·威廉姆斯 丹·威廉姆斯 0001 (又名:丹·约翰·威廉姆斯) -弗吉尼亚理工大学,美国弗吉尼亚州布莱克斯堡 约翰·威廉姆斯 0001 (又名:约翰·威廉姆斯 0004 ) -澳大利亚布里斯班昆士兰大学信息技术与电气工程学院 约翰·威廉姆斯 0002 -英国伯明翰大学癌症与基因组科学研究所/转化医学研究所
优化列表
2000 – 2009
2007 [公元9年] 约翰·威廉姆斯 :
致编辑的信:卡尔文·穆尔斯和专利制度。 信息资源。 12 ( 三 ) ( 2007 ) 2001 [第12条] 阿伦·沃纳 , 约翰·威廉姆斯 , 杰弗里·卡岑伯格 , 安德鲁·亚当森 , 维姬詹森 :
SHREK公司。 SIGGRAPH电子影院节目视频回顾 2001 : 36
1990 – 1999
1997 [j8] 雷内·米勒 , 奥德赛·G·察塔洛斯 , 约翰·威廉姆斯 :
DataWeb:Web的可自定义数据库发布。 IEEE多媒体。 4 ( 4 ) : 14-21 ( 1997 ) 1996 [第11条] 迈克尔·凯里 , 劳拉·哈斯 , 维维卡南达·马甘蒂 , 约翰·威廉姆斯 :
PESTO:对象数据库的集成查询/浏览器。 超大规模数据库 1996 : 203-214 1995 [j7] 劳伦斯·S·科恩 , 约翰·威廉姆斯 :
DECsafe可用服务器环境的技术说明。 数字。 技术J。 7 ( 4 ) ( 1995 ) [j6] 亚历山大·艾肯 , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
安全:一种在出现错误时转换程序的语义技术。 ACM事务处理。 程序。 语言系统。 17 ( 1 ) : 63-84 ( 1995 ) [第10条] 迈克尔·凯里 , 劳拉·哈斯 , 彼得·施瓦兹 , 曼尼什·阿里亚 , 威廉·科迪 , 罗纳德·费金 , 迈伦·弗利克纳 , 阿伦·卢涅夫斯基 , 韦恩·尼布莱克 , 德拉古丁·佩特科维奇 , 约阿希姆·托马斯 , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
面向异构多媒体信息系统:大蒜方法。 骑行-DOM 1995 : 124-131 【c9】 威廉·科迪 , 劳拉·哈斯 , 韦恩·尼布莱克 , 曼尼什·阿里亚 , 迈克尔·凯里 , 罗纳德·费金 , 迈伦·弗利克纳 , 李明恂 , 德拉古丁·佩特科维奇 , 彼得·施瓦兹 , 约阿希姆·托马斯 , 玛丽·托克·罗斯 , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
按内容查询多个存储库中的多媒体数据:大蒜项目。 德国船级社 1995 : 17-35 1990 [j5] 约瑟夫·哈珀(Joseph Y.Halpern) , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
FP重写规则和重写策略的完整性。 美国临床医学杂志 37 ( 1 ) : 86-143 ( 1990 ) 【c8】 亚历山大·艾肯 , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
存在错误时的程序转换。 POPL公司 1990 : 210-217
1980 – 1989
1988 【c7】 约翰·威廉姆斯 , 爱德华·L·威默斯 :
为了方便而牺牲简单:你在哪里划界? POPL公司 1988 : 169-179 1986 【c6】 约瑟夫·哈珀(Joseph Y.Halpern) , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
FP的良好重写策略。 低收入国家 1986 : 149-162 [电子2] 威廉·谢利斯 , 约翰·威廉姆斯 , 理查德·加布里埃尔 :
1986年ACM LISP和函数编程会议记录,LFP 1986,美国马萨诸塞州剑桥,1986年8月4-6日。 ACM公司 1986 ,国际标准图书编号 0-89791-200-4 [目录] 1985 [c5] 约瑟夫·哈珀(Joseph Y.Halpern) , 约翰·威廉姆斯 , 爱德华·L·威默斯 , 蒂莫西·温克勒 :
FP的表示语义和重写规则。 POPL公司 1985 : 108-120 1983 【j4】 罗纳德·费金 , 约翰·威廉姆斯 :
一种公平拼车调度算法。 IBM J.研究开发。 27 ( 2 ) : 133-139 ( 1983 ) 1982 [j3] 约翰·威廉姆斯 :
关于函数程序代数的发展。 ACM事务处理。 程序。 语言系统。 4 ( 4 ) : 733-757 ( 1982 ) 1981 【c4】 约翰·威廉姆斯 :
递归定义功能程序的形式表示。 国际消防委员会 1981 : 460-470
1970 – 1979
1977 [电子1] 约翰·威廉姆斯 , 大卫·A·费舍尔 :
编程语言的设计与实现,国防部主办的研讨会会议记录,1976年9月30日至10月1日,美国纽约州伊萨卡。 计算机科学课堂讲稿 54, 施普林格 1977 ,国际标准图书编号 3-540-08360-X型 [目录] 1976 [注2] 托马斯·希曼斯基 , 约翰·威廉姆斯 :
自下而上分析技术的非规范扩展。 SIAM J.计算。 5 ( 2 ) : 231-250 ( 1976 ) 【c3】 阿兰·德默斯 , 詹姆斯·多纳休 , 雷·T·泰特鲍姆 , 约翰·威廉姆斯 :
封装数据类型和泛型。 程序设计语言的设计与实现 1976 : 171-214 1975 [j1] 约翰·威廉姆斯 :
有界上下文可分析语法。 信息控制。 28 ( 4 ) : 314-334 ( 1975 ) 1973 【c2】 托马斯·希曼斯基 , 约翰·威廉姆斯 :
非规范分析。 重拍 1973 : 122-129
1960 – 1969
1963 【c1】 约翰·威廉姆斯 :
一种用于自动对文档进行分类的判别方法。 AFIPS秋季联合计算会议 1963 : 161-166