Rockafellar，R.T.公司。；韦茨，R.J.-B。 具有随机惩罚的线性二次规划问题：有限生成算法。 （英语） Zbl 0661.90065号 随机优化，程序。国际会议，基辅/苏联1984年，法律。票据控制信息科学。81, 545-560 (1986). 审核人：B.斯特拉齐基 MSC公司：90立方厘米 90C20个 65千5 PDF格式BibTeX公司 XML格式
王庆仁 统计等价块（SEB）分类器：其渐近性质和前景。 （英语） Zbl 0653.62049号 数学学报。科学。 6, 387-403 (1986). 审核人：A.K.古普塔 MSC公司：62H30型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}，《数学学报》。科学。6387-403（1986年；兹bl 0653.62049）
F.K.汉纳。；北卡罗来纳州Daeche。 逻辑的纯功能实现。 （英语） Zbl 0643.68008号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 598-607 (1986).MSC公司：68号01 68吨15 03B40型 PDF格式BibTeX公司 XML格式
Eiichi后藤（编辑） 软件科学和技术中的数学方法。1985年10月4日至6日在京都大学数学科学研究所举行的研讨会论文集。 （英语） Zbl 0641.68002号 RIMS Kokyuroku公司, 586. 京都：京都大学数学科学研究所。四、 第329页（1986年）。MSC公司：68-06 00B25型 PDF格式BibTeX公司 XML格式
布雷姆纳，默里·R。 快速计算权重重数。 （英语） Zbl 0639.17001号 J.塞姆。计算。 2, 357-362 (1986). 审核人：A.H.布尔 MSC公司：17-04 17对20 17B10号机组 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Bremner}，J.Symb。计算。2357--362（1986年；Zbl 0639.17001） 全文： 内政部
弗兰克·吉尔费特；罗伯特·L·摩尔。 某些CSL代数的同构。 （英语） Zbl 0635.47040号 J.功能。分析。 67, 264-291 (1986). 审核人：M.Degiovanni先生 MSC公司：47升30 47甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Gilfeath}和\textit{R.L.Moore}，J.Funct。分析。67、264--291（1986年；Zbl 0635.47040） 全文： 内政部
Foo，Norman Y。 代数规范不难编写。 （英语） Zbl 0634.68006号 东南亚牛市。数学。 10, 85-95 (1986).MSC公司：68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{纽约Foo}，东南亚公牛。数学。10、85-95（1986年；Zbl 0634.68006）
田宫小野寺；川井，佐藤 计算机图形系统规范和系统生成的形式化。 （英语） 兹伯利0633.68118 可视化计算。 2, 112-126 (1986). 审核人：K.Sutner公司 MSC公司：68单位99 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{T.Onodera}和\textit{S.Kawai}，可视化计算。2、112-126（1986年；Zbl 0633.68118） 全文： 内政部
帕特里克·H·沃利。；罗伯特·施赖伯 网状连接处理器阵列上的嵌套分离。 （英语） Zbl 0633.68021号 新的计算环境：并行、矢量和脉动、Proc。研讨会，斯坦福/加利福尼亚，1984年，8-38（1986年）。MSC公司：68瓦30 65年第68季度 65层10 PDF格式BibTeX公司 XML格式
Sychev，A.N。 组合装置设计中使用的线性化方法。 （英语。俄文原件） Zbl 0627.94026号 自动。控制计算。科学。 20，第4期，72-81（1986）; Avtom翻译。维奇尔。泰克。1986年，第4期，77-86（1986）。MSC公司：94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Sychev}，自动。控制计算。科学。20，No.4，72--81（1986；Zbl 0627.94026）；Avtom翻译。维奇尔。泰克。1986年，第4期，77--86（1986）
扎基洛夫，G.Sh。；阿尤波夫，R.Kh。 连续工艺过程数学模型构建的算法化。（Algoritmizatsiya postroeniya matematicheskikh modelej nepreryvnykh tekhnologicheskikh-protsesov）。 （俄语） Zbl 0626.65059号 塔什干：Izdatel'stvo“Fan”Uzbekskoj SSR。104 p.R.0.95（1986年）。 审核人：伊德沃夏克 MSC公司：65K10码 65C20个 93B30型 80A30型 65-02 PDF格式BibTeX公司 XML格式
布鲁诺·科德诺蒂 几种近似算法的误差分析。 （英语） Zbl 0625.65022号 端口数学。 43 (1985/86), 113-119 (1986). 审核人：F.斯齐达罗夫斯基 MSC公司：65平方英尺 65楼30 65克50 PDF格式BibTeX公司 XML格式引用 \textit{B.Codenotti}，端口数学。43、113--119（1986年；Zbl 0625.65022） 全文： 欧洲DML
赫里斯托夫，Kh.I。 关于非均匀无粘液体流动的矢量势和标量势方法。 （英语） Zbl 0624.76002号 C.R.学院。膨胀。科学。 第39页，第6期，第23-26页（1986年）.MSC公司：76A02型 76B99型 PDF格式BibTeX公司 XML格式引用 \textit{Kh.I.Khristov}，C.R.学院。膨胀。科学。39，第6号，23--26（1986；Zbl 0624.76002）
约翰内斯·马丁。 数据类型和数据结构。 （英语） Zbl 0624.68003号 Prentice-Hall国际计算机科学系列。新泽西州Englewood Cliffs等：Prentice-Hall International。十二、 282页；$25.95 (1986). 审核人：J.波科恩 MSC公司：68-01 68第05页 PDF格式BibTeX公司 XML格式
M.基库塔。；托戈，H。；田中，M。 非线性瞬态热传导问题的边界元法。 （英语） Zbl 0622.73128号 边界元素。8，第1卷，47-58（1986）。MSC公司：第74页第15页 74秒99 PDF格式BibTeX公司 XML格式
Van de Snepscheut，Jan L.A。；扬·蒂杰曼（Jan Tijmen Udding） 通信原语的替代实现。 （英语） Zbl 0622.68028号 信息处理。莱特。 23, 231-238 (1986). 审核人：H.施梅克 MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.A.Van de Snepscheut}和textit{J.T.Udding}，Inf.Process。莱特。23、231--238（1986年；Zbl 0622.68028） 全文： 内政部
I.Kh.西格尔。 旅行商问题的分支定界组合算法的计算实现。 （英语。俄文原件） Zbl 0621.90090号 美国S.R.计算。数学。数学。物理。 26，第3期，14-19（1986）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。26，第5期，664-672（1986）。MSC公司：90立方厘米 90立方厘米 65千5 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{I.Kh.Sigal}，苏联计算。数学。数学。物理。26，No.3，14--19（1986；Zbl 0621.90090）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。26，第5号，664--672（1986） 全文： 内政部
尼尔森，乌尔夫 AID：DCG的一种替代实施方式。 （英语） Zbl 0621.68051号 新一代计算机。 4, 383-399 (1986). 审核人：G.薄荷 MSC公司：第68页第20页 68吨15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{U.Nilsson}，新一代计算。4、383--399（1986年；Zbl 0621.68051） 全文： 内政部
佩奇，C.C。 计算广义奇异值分解。 （英语） 兹比尔06216.5030 SIAM J.科学。统计计算。 7, 1126-1146 (1986). 审核人：雷金斯卡（T.Reginska） MSC公司：2015财年65 15甲18 15A23型 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Paige}，SIAM J.科学。统计计算。71126-1146（1986年；Zbl 0621.65030） 全文： 内政部
现金，J.R。 使用迭代延迟修正的非线性两点边值问题的数值积分。一： 对一些一步公式的调查和比较。 （英语） Zbl 0618.65071号 计算。数学。申请。，A部分 12, 1029-1048 (1986). 审核人：三井T MSC公司：65升10 34B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Cash}，计算。数学。申请。，A部分12，1029--1048（1986；Zbl 0618.65071） 全文： 内政部
巴林斯基，A.I。；李金玉 Toeplitz矩阵：线性方程组的反演和求解。 （俄语） Zbl 0617.65017号 Mat.Metody Fiz公司-墨西哥。波利亚 24, 3-7 (1986). 审核人：E.伊勒 MSC公司：65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Balinskij}和\textit{Li Gyun-y}，Mat.Metody Fiz-墨西哥。波利亚24，3--7（1986；Zbl 0617.65017）
罗伯特·施赖伯；唐维培 更新Cholesky因子分解的脉动阵列。 （英语） Zbl 0617.65012号 比特币 26, 451-466 (1986). 审核人：迈伦·萨斯曼 MSC公司：65平方英尺 15A23型 PDF格式BibTeX公司 XML格式引用 \textit{R.Schreiber}和\textit{W.-P.Tang}，BIT 26，451--466（1986；Zbl 0617.65012） 全文： 内政部
阿文德·帕特尔（Arvind M.Patel）。 多字节错误的即时解码器。 （英语） Zbl 0615.94009 IBM J.研究开发。 30, 259-269 (1986).MSC公司：94B35码 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Patel}，IBM J.Res.Dev.30，259--269（1986；Zbl 0615.94009） 全文： 内政部
穆克吉（Subrata Mukherjee）；波达尔，比马尔 弹性和非弹性壳体分析的积分方程公式。 （英语） Zbl 0615.73096号 边界元素，程序。国际会议，北京/中国，1986，353-366（1986）。MSC公司：74S30型 74K15型 PDF格式BibTeX公司 XML格式
斯蒂芬·泰勒；Shmuel萨夫拉；埃胡德·夏皮罗 平面并发Prolog的并行实现。 （英语） Zbl 0614.68007号 国际J并行程序。 15, 245-275 (1986).MSC公司：68号01 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Taylor}等人，《国际并行程序》。15、245--275（1986年；Zbl 0614.68007） 全文： 内政部
拿撒勒，J.L。 用于求解线性程序序列的优化算法的实现辅助工具。 （英语） Zbl 0613.90064号 ACM事务处理。数学。柔和。 12, 307-323 (1986).MSC公司：90C05（二氧化碳） 65千5 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Nazareth}，ACM翻译。数学。柔和。12、307--323（1986年；Zbl 0613.90064） 全文： 内政部 链接
洛伊斯·M·亚当斯。 加性m步预处理器。 （英语） Zbl 0613.65029号 工程中的创新数值方法，Proc。第四国际交响乐团。，亚特兰大/佐治亚州，1986年，33-42（1986年）。 审核人：V.梅尔曼 MSC公司：65层10 PDF格式BibTeX公司 XML格式
弗朗索瓦斯·佩林；罗伯特·古特；弗朗索瓦·科特维尔 Cyber 205上Wigner-Ville discrète分布计算矢量。（Cyber 205上离散Wigner分布计算的矢量化）。 （法语） Zbl 0612.65092号 特质。信号 3, 23-33 (1986).MSC公司：65兰特 44甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Peyrin}等人，《特性》。信号3，23--33（1986；Zbl 0612.65092）
兹比格涅夫·姆罗泽克 使用样条函数近似法的分布参数过程的数学模型。 （英语） Zbl 0612.65069号 牛市。申请。数学。41，实验367，第9页（1986年）。MSC公司：65N30型 35K05美元 PDF格式BibTeX公司 XML格式
亚瑟·S·阿布·穆斯塔法。 信息提取的复杂性。 （英语） Zbl 0609.94009号 IEEE传输。Inf.理论 32, 513-525 (1986).MSC公司：94甲15 65年第68季度 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Abu-Mostafa}，IEEE翻译。Inf.理论32，513--525（1986；Zbl 0609.94009） 全文： 内政部
威廉·E·菲茨吉本。（编辑） 地震勘探和储层建模中的数学和计算方法。（1985年1月21日至24日，德克萨斯州休斯顿，地震勘探和储层建模数学和计算方法会议论文集）。 （英语） Zbl 0609.73102号 费城：SIAM-工业和应用数学学会。十四、 第277页（1986年）。 审核人：N.克里斯特斯库 MSC公司：74升05 74-06 00B25型 74秒99 86-06 74J25型 65Z05个 PDF格式BibTeX公司 XML格式
拉尔夫·巴特勒；卢斯克，尤因；威廉·麦库恩；罗斯·奥弗贝克 高性能自动化定理证明之路。 （英语） Zbl 0609.68060号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 588-597 (1986).MSC公司：68吨15 68-04 PDF格式BibTeX公司 XML格式
爱德华·弗里斯。 优化年龄替代政策的成本。 （英语） Zbl 0608.90031号 随机过程应用。 21, 195-212 (1986).MSC公司：90秒25 62L20型 62升12 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Frees}，随机过程应用。21195--212（1986；Zbl 0608.90031） 全文： 内政部
加西亚，L。；H·R·希克斯。；卡雷拉斯，B.A。；洛杉矶查尔顿。；J.A.霍姆斯。 使用隐式和显式时间积分方案的三维非线性MHD计算。 （英语） Zbl 0608.76107号 J.计算。物理。 65253-272（1986年）. 审核人：一、阿布尼 MSC公司：76周05 76M99型 65天30分 PDF格式BibTeX公司 XML格式引用 \textit{L.Garcia}等人，《计算杂志》。物理。65、253--272（1986年；Zbl 0608.76107） 全文： 内政部
迈克尔·E·普莱莎。；布鲁斯·斯坦尼茨（Bruce M.Steinetz）。 非经典摩擦有限元接触问题的本构关系。 （英语） Zbl 0608.73117号 NASA技术备忘录。，仪器计算。机械。先知。88838，ICOMP-86-1，19页（1986年）。MSC公司：第74A55页 74M15型 74S05号 74A20型 PDF格式BibTeX公司 XML格式
J.C.西蒙。；Vu-Quoc，L。 三维有限应变杆模型。二、。计算方面。 （英语） Zbl 0608.73070号 计算。方法应用。机械。工程师。 58, 79-116 (1986). 审核人：M.Bernadou先生 MSC公司：74S05号 74S30型 74B20型 74K10型 65N30型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Simo}和\textit{L.Vu-Quoc}，计算。方法应用。机械。工程58，79--116（1986；Zbl 0608.73070） 全文： 内政部
瓦迪姆·莫特尔；弗拉基米尔·雅科夫列夫 具有多变量特性的随机过程参数重复值的估计。 （英语） Zbl 0608.62096号 检测随机过程中的变化，Transl。序列号。数学。工程师，130-142（1986）。MSC公司：2005年6月2日 62米10 62L20型 PDF格式BibTeX公司 XML格式
瓦茨拉夫·彼得卡 不确定过程的控制：应用理论和算法。 （英语） Zbl 0607.93070号 Kybernetika 22，补编第3-6号，72页（1986年）。MSC公司：93E20型 93元57 93E25型 62米10 65C99个 68单位99 93二氧化碳 PDF格式BibTeX公司 XML格式 全文： 欧洲DML
格哈德·诺尔迈尔 计算列聚合线性程序的紧后验界。 （英语） Zbl 0606.90088号 方法操作。物件。 53, 103-114 (1986).MSC公司：90C05（二氧化碳） 65千5 PDF格式BibTeX公司 XML格式引用 \textit{G.Knolmayer}，方法操作。第53号决议，第103--114号决议（1986年；Zbl 0606.90088）
斯拉德克，V。；斯拉德克，J。 使用边界元法改进了应力计算。 （英语） Zbl 0606.73100号 申请。数学。建模 10, 249-255 (1986).MSC公司：74S30型 65兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Sládek}和\textit{J.Slаdekneneneep，应用。数学。模型10，249--255（1986；Zbl 0606.73100） 全文： 内政部
奥利弗·麦克布莱恩（Oliver A.McBryan）。；埃里克·范德维尔德（Eric F.van de Velde）。 并行处理器上的多重网格方法。 （英语） Zbl 0606.65071号 多网格方法II，Proc。第二届欧洲理事会，科隆/德国。1985年，Lect。数学笔记1228232-260（1986）。 审核人：S.Filippi公司 MSC公司：65N22型 65层10 65牛顿50 35J25型 68N25号 65N30型 PDF格式BibTeX公司 XML格式
赫尔穆特·施雷克 Karmarkar的LP算法的实现经验。 （英语） 兹伯利0605.90089 方法操作。物件。 54, 535-542 (1986).MSC公司：90C05（二氧化碳） 65千5 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Schreck}，方法操作。第54、535--542号决议（1986年；Zbl 0605.90089）
杰里·格林。；珍妮·雅克·拉芬特 部分可验证的信息和机制设计。 （英语） 兹比尔0605.90012 经济版。螺柱。 53, 447-456 (1986).MSC公司：91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Green}和\textit{J.-J.Laffont}，经济评论。螺柱53447--456（1986；Zbl 0605.90012） 全文： 内政部 链接
扎克列夫斯基。 关于用序列自动机实现安全Petri网。 （俄语。英文摘要） Zbl 0604.68069号 多克。阿卡德。诺克BSSR 30, 120-123 (1986).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Zakrevskij}，Dokl。阿卡德。诺克BSSR 30，120--123（1986；Zbl 0604.68069）
M.Elizabeth C.赫尔。 用于并发系统的CSP表示法的实现。 （英语） Zbl 0604.68022号 计算。J。 29, 500-505 (1986).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.C.Hull}，计算。J.29，500--505（1986；Zbl 0604.68022） 全文： 内政部
西蒙·琼斯（Simon L.Peyton Jones）。 介绍全惰性超级复合器。 （英语） Zbl 0604.68013号 组合器和函数编程语言。13号春季附表。LITP，Val d'Ajol/法国1985，Lect。注释计算。科学。242, 176-208 (1986).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
吉尔斯·伯诺；米歇尔·比多特；乔比，克莉丝汀 带异常处理的抽象数据类型：基于异常和错误之间的区别的初始方法。 （英语） Zbl 0603.68015号 西奥。计算。科学。 46, 13-45 (1986).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit｛G.Bernot｝等人，Theor。计算。科学。46、13-45（1986年；Zbl 0603.68015） 全文： 内政部
Masato Takeichi 插入注入操作以表示规格。 （英语） Zbl 0603.68014号 新一代计算机。 4, 365-381 (1986).MSC公司：68第05页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi}，新一代计算。4365-381（1986年；Zbl 0603.68014） 全文： 内政部
约翰·克鲁茨格 第二类Fredholm积分方程组的多重网格解法。 （英语） Zbl 0603.65092号 阿卡德代表。威斯。DDR，Inst.数学。R-MATH-08/86，18-35（1986）。 审核人：G.Hämmerlin先生 MSC公司：65兰特 45F05型 PDF格式BibTeX公司 XML格式
R.C.Chang。；李，R.C.T。 平面上N个点的O（N log N）最小生成树算法。 （英语） Zbl 0602.68053号 比特币 26, 7-16 (1986).MSC公司：68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Chang}和\textit{R.C.T.Lee}，BIT 26，7--16（1986；Zbl 0602.68053） 全文： 内政部
李·奈什 PROLOG中的否定和控制。 （英语） Zbl 0602.68006号 计算机科学课堂讲稿, 238. 柏林等：Springer-Verlag。九、 119 p.DM 27.00（1986年）。 审核人：什米德先生 MSC公司：68-02 68N17号 99年第68季度 03B35型 68吨15 PDF格式BibTeX公司 XML格式
马丁·威尔辛 结构化代数规范：一种核心语言。 （英语） Zbl 0599.68021号 西奥。计算。科学。 42, 123-249 (1986).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \文本{M.Wirsing}，Theor。计算。科学。42、123--249（1986年；Zbl 0599.68021） 全文： 内政部
彼得·斯佩卢奇 序列二次规划：理论，实现，问题。 （英语） Zbl 0598.90073号 方法操作。物件。 53, 183-213 (1986). 审核人：K·希特科夫斯基 MSC公司：90立方 49立方米 65千5 PDF格式BibTeX公司 XML格式引用 \textit{P.Spellucci}，方法操作。第53号决议，183--213（1986年；Zbl 0598.90073）
克劳斯·尤根·巴瑟 有限元素法。Matrizen und lineare Algebra，die Methode der finiten Elemente，Lösung von Gleichgewichtsbedingungen und Bewegungsgleichungen。用户。英国诗人彼得·齐默尔曼（Peter Zimmermann）。（工程分析中的有限元程序）。 （德语） Zbl 0598.73070号 柏林等：Springer-Verlag。十六、 820 S.DM 98.00（1986）。 审核人：R.施密特 MSC公司：74S05号 74-02 65华氏度 76-02 15-01 74-04 PDF格式BibTeX公司 XML格式
M.V.Hermenegildo。 逻辑程序的有限与并行执行的一种抽象机器。 （英语） Zbl 0598.68021号 逻辑编程，程序。第三届国际会议，伦敦，1986年，Lect。注释计算。科学。225, 25-39 (1986). 审核人：N.Curteanu公司 MSC公司：68N25号 68瓦30 68T20型 PDF格式BibTeX公司 XML格式
格雷格·迈克尔森 函数和语法的口译员。 （英语） Zbl 0598.68007号 计算。语言。 11, 85-104 (1986).MSC公司：68号01 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.迈克尔森}，计算。语言11，85--104（1986；Zbl 0598.68007） 全文： 内政部
Jay E.阿伦森。；陈，B.David 用于解决多周期网络流问题的正向网络单纯形算法。 （英语） 兹比尔0597.90032 导航。Res.Logist公司。问：。 33, 445-467 (1986).MSC公司：90B10型 65千5 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Aronson}和\textit{B.D.Chen}，海军。Res.Logist公司。Q.33445-467（1986；Zbl 0597.90032） 全文： 内政部
安德鲁·波斯特莱特；大卫·施梅德勒 差异信息经济中的实施。 （英语） Zbl 0597.90010号 《经济学杂志》。理论 39, 14-33 (1986).MSC公司：91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Postlewaite}和\textit{D.Schmeidler}，J.Econ。理论39，14-33（1986；Zbl 0597.90010） 全文： 内政部
F.哈特曼。；左特曼特尔。 板弯曲问题的直接边界元法。 （英语） Zbl 0596.73068号 国际期刊数字。方法工程。 23, 2049-2069 (1986).MSC公司：74S30型 74K20型 65兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Hartmann}和\textit{R.Zotemantel}，国际数学家杂志。方法工程23，2049--2069（1986；Zbl 0596.73068） 全文： 内政部
伊昌·朱；胡玉亨；T·M·帕恩。 用于求解结构化线性系统的VLSI算法和流水线结构。 （英语） Zbl 0595.68039号 超大规模集成电路算法和体系结构。爱琴海工场计算机。，卢特拉基/希腊1986年，勒克特。注释计算。科学。227, 156-165 (1986).MSC公司：65年第68季度 68瓦30 65平方英尺 PDF格式BibTeX公司 XML格式
圭拉，康塞蒂娜 收缩期设计的统一框架。 （英语） Zbl 0595.68034号 超大规模集成电路算法和体系结构，Proc。爱琴海工场计算机。，Loutraki/希腊，1986年，Lect。注释计算。科学。227, 46-56 (1986).MSC公司：68瓦99 90立方厘米 68问题80 65千5 94C99号 PDF格式BibTeX公司 XML格式
李·奈什 NU-PROLOG中的否定词和量词。 （英语） Zbl 0595.68006号 逻辑编程，程序。第三届国际会议，伦敦，1986年，Lect。注释计算。科学。225, 624-634 (1986).MSC公司：68号01 PDF格式BibTeX公司 XML格式
医学博士格里戈里亚迪斯。 网络单纯形方法的有效实现。 （英语） 兹比尔0594.90025 数学。程序。书房 26, 83-111 (1986).MSC公司：90B10型 90C05（二氧化碳） 65千5 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Grigoriadis}，数学。程序。研究26，83--111（1986；Zbl 0594.90025） 全文： 内政部
吉姆·威尔士；Hay，阿索尔 标准PASCAL的模型实现。 （英语） Zbl 0594.68004号 Prentice-Hall国际计算机科学系列。新泽西州Englewood Cliffs等：普伦蒂斯/霍尔国际。十一、 第483页，59.95美元（1986年）。 审核人：G.格里加斯 MSC公司：68-02 68号01 PDF格式BibTeX公司 XML格式
德布，马纳斯·K。；安妮迪亚·戴布 矩阵法：量纲分析中的一种强大技术。 （英语） Zbl 0592.93005号 J.富兰克林研究所。 321, 233-240 (1986). 审核人：D.库斯米尔 MSC公司：93A99型 68岁20岁 15A90型 70G99型 93B17号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Deb}和\textit{A.Deb}，J.Franklin Inst.321，233--240（1986；Zbl 0592.93005） 全文： 内政部
中村信介 迭代数组乘法算法。 （英语） Zbl 0592.68047号 IEEE传输。计算。 35, 713-719 (1986).MSC公司：68问题80 94立方厘米10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Nakamura}，IEEE翻译。计算。35、713--719（1986年；Zbl 0592.68047） 全文： 内政部
邓普西，J.P。；李慧 单边支撑矩形板。二、。实施；集中均匀加载。 （英语） 兹比尔0591.73144 J.应用。机械。 53, 151-156 (1986).MSC公司：第74A55页 74M15型 74K20型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Dempsey}和\textit{H.Li}，J.Appl。机械。53、151——156（1986年；Zbl 0591.73144） 全文： 内政部
佩德森，T。 用高级语言进行流程管理。 （英语） Zbl 0591.68034号 软质。，实际。专家。 16, 303-333 (1986).MSC公司：68N25号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{T.Pedersen}，软。，实际。专家。16、303--333（1986年；Zbl 0591.68034） 全文： 内政部
劳里安·M·奇里卡。；大卫·F·马丁。 编译器实现正确性证明。 （英语） Zbl 0591.68014号 ACM事务处理。程序。语言系统。 8, 185-214 (1986).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Chirica}和\textit{D.F.Martin}，ACM翻译。程序。语言系统。8185-214（1986；Zbl 0591.68014） 全文： 内政部 链接
帕克，K.C。；斯坦利，G.M。 基于假定自然坐标应变的曲壳单元。 （英语） Zbl 0588.73137号 J.应用。机械。 53, 278-290 (1986).MSC公司：74S05号 PDF格式BibTeX公司 XML格式引用 \textit｛K.C.Park｝和\textit｛G.M.Stanley｝，J.Appl。机械。53、278--290（1986年；Zbl 0588.73137） 全文： 内政部
Yoshiro Ikura公司；乔治·L·奈姆豪泽。 运输问题多项式对偶单纯形算法的计算经验。 （英语） Zbl 0587.90068号 离散应用程序。数学。 13, 239-248 (1986).MSC公司：90C08型 65千5 90立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ikura}和\textit{G.L.Nemhauser}，离散掌声。数学。13、239--248（1986；Zbl 0587.90068） 全文： 内政部
他，J。；C.A.R.霍尔。；J.W.桑德斯。 数据精细化。Résumé。 （英语） Zbl 0587.68018号 编程，程序。欧洲交响乐团。，Saarbrücken/FRG 1986，Lect。注释计算。科学。213, 187-196 (1986).MSC公司：68第05页 68N25号 PDF格式BibTeX公司 XML格式
克里斯·汉金。；杰弗里·伯恩。；西蒙·佩顿·琼斯 并行组合子约简的一种安全方法。 （英语） Zbl 0587.68010号 编程，程序。欧洲药典。，Saarbrücken/FRG 1986，Lect。注释计算。科学。213, 99-110 (1986).MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式
达尔文·D·克林曼。；罗伯特·施耐德（Robert F.Schneider）。 大规模最短路径问题的微机算法。 （英语） Zbl 0586.90086号 离散应用程序。数学。 13, 183-206 (1986).MSC公司：90立方厘米 05C35号 65千5 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Klingman}和\textit{R.F.Schneider}，离散应用。数学。13、183--206（1986；Zbl 0586.90086） 全文： 内政部
啤酒，G。 组合边界元-有限元分析的实现及其在地质力学中的应用。 （英语） Zbl 0586.73172号 开发边界元素。方法4191-225（1986）。MSC公司：74升05 74秒99 74-04 PDF格式BibTeX公司 XML格式
J.O.沃森。 平面应变的厄米三次和奇异元。 （英语） Zbl 0586.73169号 开发边界元素。方法4，1-28（1986）。MSC公司：74卢比 74S30型 74G70型 PDF格式BibTeX公司 XML格式
马诺利斯，G.D。；艾哈迈德·S·。；P.K.班纳吉。 三维瞬态弹性动力学的边界元方法实现。 （英语） 兹伯利0586.73136 开发边界元素。方法429-65（1986）。MSC公司：74S30型 74秒99 74-04 PDF格式BibTeX公司 XML格式
美国德里格斯。；梅茨，A。 一种用于解决稀疏分配问题的有效标记技术。 （英语） Zbl 0585.90060号 计算 36, 301-311 (1986).MSC公司：90C08型 65千5 PDF格式BibTeX公司 XML格式引用 \textit{U.Derigs}和\textit{A.Metz}，计算36，301--311（1986；Zbl 0585.90060） 全文： 内政部
Vickery，Shawnee K。；罗伯特·马克兰（Robert E.Markland）。 串行生产系统中的多阶段批量计算。 （英语） Zbl 0585.90041号 国际J.生产研究。 24, 517-534 (1986).MSC公司：90B30型 90B35型 90立方厘米 90立方31 90 C90 90B50型 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Vickery}和\textit{R.E.Markland}，《国际期刊生产研究》24，517--534（1986；Zbl 0585.90041） 全文： 内政部
罗马克里希南，I.V。；D.S.福塞尔。；亚伯拉罕·西尔伯沙茨 在线性数组上映射齐次图。 （英语） Zbl 0585.68060号 IEEE传输。计算。 35, 189-209 (1986).MSC公司：68问题80 68N25号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Ramakrishnan}等人，IEEE Trans。计算。35、189--209（1986年；Zbl 0585.68060） 全文： 内政部
罗伯特·吉格里奇 代码生成技术的逻辑规范。 （英语） Zbl 0585.68044号 程序作为数据对象。研讨会，哥本哈根/丹麦。1985年，Lect。注释计算。科学。217, 96-111 (1986).MSC公司：68N25号 PDF格式BibTeX公司 XML格式
吉尔斯·伯诺；米歇尔·比多特；乔比，克莉丝汀 抽象实现和正确性证明。 （英语） Zbl 0585.68025号 计算机科学的理论方面，第三年。交响乐团。，奥赛/法国1986年，Lect。注释计算。科学。210, 236-251 (1986).MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
米尔科夫斯卡，G。；A.萨尔维基。 算法逻辑的应用。 （英语） Zbl 0585.68014号 代数和编程树，Proc。第11届科洛克，尼斯/法国，1986年，Lect。注释计算。科学。214, 288-306 (1986).MSC公司：68号01 PDF格式BibTeX公司 XML格式
G.图乌。；G·索西尔。 硅表面双生树木切除术。（硅上的二元决策树）。 （法语） Zbl 0584.90049号 RAIRO，自动。生产信息指数。 20, 159-181 (1986).MSC公司：90B99型 68N99型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Thau}和\textit{G.Saucier}、RAIRO、Autom。生产信息Ind.20，159--181（1986；Zbl 0584.90049）
J.C.西蒙。；Wriggers，P。；施韦泽霍夫，K.H。；R.L.泰勒。 涉及非弹性和接触约束的有限变形后屈曲分析。 （英语） Zbl 0584.73045号 国际期刊数字。方法工程。 237779-800（1986年）.MSC公司：74G60型 74S30型 74B20型 74K10型 第74A55页 74M15型 74S05号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Simo}等人，《国际数学家杂志》。方法工程23，779--800（1986；Zbl 0584.73045） 全文： 内政部
克利夫·琼斯。 使用VDM进行系统软件开发。 （英语） Zbl 0584.68008号 Prentice-Hall国际计算机科学系列。新泽西州Englewood Cliffs等：Prentice-Hall International。十六、 300页20.95美元（1986年）。 审核人：W.夸索维奇 MSC公司：68-01 68新元 PDF格式BibTeX公司 XML格式
张三成 结构动力和稳定性分析中特征值提取的选择性重正交化Lanczos算法。 （英语） Zbl 0582.73075号 计算。结构。 23, 121-128 (1986).MSC公司：74S30型 2015财年65 65层25 74S05号 74秒99 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chang}，计算。结构。23121-128（1986年；Zbl 0582.73075） 全文： 内政部
D.J.库克。；阿卜杜拉·扎德（F.Abdollahzadeh）。 FORTRAN DO-LOOP的不安全性。 （英语） Zbl 0581.68006号 软质。，实际。专家。 16, 201-215 (1986).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Cooke}和\textit{F.Abdollahzadeh}，软件。，实际。专家。16、201-215（1986；Zbl 0581.68006） 全文： 内政部
Juang，J.N。；J.D.特纳。；Chun，H.M。 带终端约束的最优跟踪器的闭式递归公式。 （英语） Zbl 0579.93035号 J.优化理论应用。 51, 307-320 (1986).MSC公司：93立方厘米 93B40码 93亿B50 65K10码 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Juang}等人，J.Optim。理论应用。51、307--320（1986年；Zbl 0579.93035） 全文： 内政部
G.J.特维。；N.G.V.阿瓦尼西安。 使用梯度有限差分对梁进行DR分析。 （英语） Zbl 0577.73086号 计算。结构。 22, 737-742 (1986).MSC公司：74S30型 74秒99 74K10型 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Turvey}和\textit{N.G.V.Der Avanessian}，计算。结构。22737--742（1986年；Zbl 0577.73086） 全文： 内政部
伊恩·海耶斯。 规范指导的模块测试。 （英语） Zbl 0575.68037号 IEEE传输。软件工程。 12, 124-133 (1986).MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛I.J.Hayes｝，IEEE Trans。柔和。工程12，124--133（1986；Zbl 0575.68037） 全文： 内政部
O.G.维诺格拉多夫。 基于子结构概念的刚度矩阵反演算法。 （英语） Zbl 0574.73092号 计算。结构。 22, 253-259 (1986).MSC公司：74S30型 15A09号 65楼30 74秒99 74-04 PDF格式BibTeX公司 XML格式引用 \textit{O.G.Vinogradov}，计算。结构。22253--259（1986年；Zbl 0574.73092） 全文： 内政部
安东·蒂胡斯（Anton G.Tijhuis）。；范德维登，Raphic M。 有耗径向非均匀介质圆柱瞬态散射的SEM方法。 （英语） 兹比尔0572.73114 波浪运动。 8, 43-63 (1986).MSC公司：2015年1月74日 74S30型 74J20型 74秒99 74E05型 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Tijhuis}和\textit{R.M.van der Weiden}，《波浪运动》8，43-63（1986；Zbl 0572.73114） 全文： 内政部
Lee M.泰勒。；陈二平；乔尔·库兹摩尔（Joel S.Kuszmaul）。 动态载荷下脆性岩石的微裂纹损伤累积。 （英语） Zbl 0571.73108号 计算。方法应用。机械。工程师。 55, 301-320 (1986).MSC公司：74升10 74卢比 74秒99 74A20型 74-04 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Taylor}等人，计算。方法应用。机械。工程55，301-320（1986；Zbl 0571.73108） 全文： 内政部
托比亚斯·尼普科 非确定性数据类型：模型和实现。 （英语） Zbl 0564.68013号 学报信息。 22, 629-661 (1986).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow}，《信息学报》22，629--661（1986；Zbl 0564.68013） 全文： 内政部
保罗·卡斯皮；尼古拉斯·哈尔巴赫斯 描述和推理计算系统时间行为的功能模型。 （英语） Zbl 0559.68001号 学报信息。 22, 595-627 (1986).MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Caspi}和\textit{N.Halbwachs}，《学报》第22期，第595--627页（1986年；Zbl 0559.68001） 全文： 内政部