C.J.布隆。;范德伯格，A.H.P。 强迫非线性双曲微分方程时间周期解近似的有效性。 （英文） Zbl 0843.35057号 申请。分析。 52，编号1-4155-176（1994）.MSC公司：35升70 35B10型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Blom}和\textit{A.H.P.Van der Burgh}，应用。分析。52，编号1--4，155--176（1994；Zbl 0843.35057） 全文： 内政部
雷克林，V.A。 基于非形式规范的自动机合成。 （英语。俄文原件） 兹比尔083668070 赛博。系统。分析。 30，第4期，496-504（1994）; 翻译自Kibern。修女。分析。4, 29-41 (1994).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Raikhlin}，Cybern。系统。分析。30，第4号，496--504（1994；Zbl 0836.68070）；翻译自Kibern。修女。分析。4, 29--41 (1994) 全文： 内政部
约翰·米切尔（John C.Mitchell）。 朝向方法专门化和继承的类型化基础。 （英文） Zbl 0836.68010号 Gunter，Carl A.（编辑）等人，《面向对象编程的理论方面》。类型、语义和语言设计。伦敦：麻省理工学院出版社。麻省理工学院计算机基础新闻系列。519-546 (1994).MSC公司：68甲15 65年第68季度 68问题55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell}，in：面向对象编程的理论方面。类型、语义和语言设计。伦敦：麻省理工学院出版社。519--546（1994；Zbl 0836.68010）
高，F.-L。;佩恩，F.R。 为计算流经圆柱体的流量而进行的初步建模。 （英文） Zbl 0847.76068号 Constanda，C.（编辑），《科学与工程中的综合方法》，1993年8月27日至29日在日本仙台东北大学举行的国际会议论文集，ISME’93。哈洛：朗曼科技。皮特曼研究笔记数学。序列号。317, 109-118 (1994). 审核人：A.R.Rao（班加罗尔） MSC公司：76米25 76D05型 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Kao}和\textit{F.R.Payne}，皮特曼研究笔记数学。序列号。317、109--118（1994年；Zbl 0847.76068）
佩恩，F.R。 计算机优化的非线性PDE系统求解器。 （英文） 兹伯利0824.65115 Constanda，C.（编辑），《科学与工程中的综合方法》，1993年8月27日至29日在日本仙台东北大学举行的国际会议论文集，ISME’93。哈洛：朗曼科技。皮特曼研究笔记数学。序列号。317, 61-71 (1994).MSC公司：65纳米38 65升05 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Payne}，皮特曼研究笔记数学。序列号。317、61-71（1994年；Zbl 0824.65115）
L.V.博格达诺夫。;扎哈罗夫，V.E。 关于（超线部分）修整方法的一些发展。 （英文） Zbl 0839.35115号 圣彼得堡数学学院。J。 6，第3期，475-493（1995）; 代数分析的翻译。6，第3期，40-58（1994年）。MSC公司：35克53 35N15型 第35页 35兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.V.Bogdanov}和\textit{V.E.Zakharov}，圣彼得堡数学。J.6，No.3，40-58（1994；Zbl 0839.35115）；代数分析的翻译。6，第3号，40-58（1994）
维克多·P·斯奈斯。 Galois模块结构。 （英文） Zbl 0830.11042号 菲尔德研究所专著. 2. 普罗维登斯，RI:AMS（ISBN 0-8218-0264-X/hbk）。vii，207页（1994年）。 审核人：I.费森科（诺丁汉） MSC公司：11兰特33 11-02 11卢比70 11平方英寸 2009年2月11日 11个31 11兰特 19层27 11系列40 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Snaith}，Galois模块结构。罗得岛普罗维登斯：AMS（1994年；兹bl 083011042）
基塔耶夫。 关于Toda格和Volterra格单相椭圆解平均的注记。 （英文） Zbl 0812.34011号 物理D 74，编号1-2，45-58（1994）.MSC公司：34A35型 34C29号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Kitaev}，Physica D 74，No.1--2，45-58（1994；Zbl 0812.34011） 全文： 内政部
C.B.琼斯。;加利福尼亚州米德尔堡。 部分函数的类型化逻辑被经典地重构。 （英文） Zbl 0804.03018号 学报信息。 31，第5号，399-430（1994）. 审核人：C.B.Jones（曼彻斯特） MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}和\textit{C.A.Middelburg}，《学报信息》31，第5期，399--430（1994；Zbl 0804.03018） 全文： 内政部
保尔·乔治·贝克尔;W.Dale Brownawell;罗伯特·塔布斯 Drinfeld模的Gelfond定理。 （英文） 兹伯利0834.11027 密歇根州数学。J。 41，第2期，219-233（1994年）. 审核人：P.Philippon（巴黎） MSC公司：2011年9月 11J85型 14升05 PDF格式BibTeX公司 XML格式引用 \textit{P.-G.Becker}等人，密歇根州数学。J.41，No.2，219--233（1994；Zbl 0834.11027） 全文： 内政部
乔纳森·阿什利;玛丽·皮埃尔 关于代码构造的极点方法的注释。 （英文） Zbl 0815.94006号 IEEE传输。Inf.理论 40，第2期，512-517（1994）.MSC公司：94A40型 94B35码 65年第68季度 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{J.Ashley}和\textit{M.-P.Béal}，IEEE Trans。Inf.Theory 40，No.2，512--517（1994；Zbl 0815.94006） 全文： 内政部
帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 模型检查的部分方法。 （英文） 兹比尔0806.68079 Inf.计算。 110，第2号，305-326（1994）.MSC公司：60年第68季度 2010年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{P.Wolper}，Inf.Comput。110，第2号，305-326（1994；Zbl 0806.68079） 全文： 内政部 链接
卡宾斯基，M。;新泽西州卡特兰。 Navier-Stokes方程唯一性问题的非标准方法。 （英文） Zbl 0805.35088号 莫纳什。数学。 117，编号1-2，51-61（1994）.MSC公司：35季度30 76D05型 35D05型 05年3月 28E05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Capin nski}和\textit{N.J.Cutland}，莫纳什。数学。117，编号1--2，51-61（1994；Zbl 0805.35088） 全文： 内政部 欧洲DML
L.V.博格达诺夫。;扎哈罗夫，V.E。 关于（超线部分）修整方法的一些发展。 （英文） Zbl 0813.35102号 代数分析。 6，第3期，40-58（1994年）.MSC公司：35克53 35N15型 第35页 35兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.V.Bogdanov}和\textit{V.E.Zakharov}，《代数分析》。6，第3号，40-58（1994；Zbl 0813.35102）