×

找到24个文档（结果1-24）

最新的 引文 关联
约瑟夫·戈根（Joseph A.Goguen）。

证明和重写。 （英语） Zbl 1496.03045号

Kirchner，Hélène（编辑）等人，《代数和逻辑编程》。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。463, 1-24 (1990).
MSC公司：03B35型 08A70号 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Goguen}，莱克特。票据计算。科学。463，1--24（1990年；Zbl 1496.03045）
全文： 内政部
渡边顺郎（编辑）；莫里奥·长田（编辑）

1990年ACM-SIGSAM符号和代数计算国际研讨会论文集，ISSAC’90，日本东京，1990年8月20日至24日。 （英语） Zbl 1281.68040号

纽约州纽约市：计算机协会（ACM）（ISBN 0-201-54892-5）。第307页。(1990).
MSC公司：68-06 65-06 13-06 37-06 35-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Watanabe}（编辑）和\textit{M.Nagata}（编），ACM-SIGSAM 1990年符号和代数计算国际研讨会论文集，ISSAC’90，日本东京，1990年8月20日至24日。纽约州纽约市：计算机协会（ACM）（1990；Zbl 1281.68040）
全文： 内政部
赫莱内·基什内尔（编辑）；沃尔夫冈·韦克勒（编辑）

代数和逻辑编程。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。 （英语） Zbl 0763.68011号

计算机科学课堂讲稿. 463. 柏林等：Springer-Verlag。VII、 386页（1990年）。
审核人：米歇尔·伊坦（斯特拉斯堡）
MSC公司：68-06 68N17号 第68季度第42季度 08A70号 18A99型 68号01
PDF格式BibTeX公司 XML格式引用
\textit{H.Kirchner}（编辑）和textit{W.Wechler}（主编），代数和逻辑编程。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0763.68011）
全文： 内政部
巴顿，J.C.M。（编辑）；Klop，J.W。（编辑）

1990年开始。并发理论：统一与扩展。荷兰阿姆斯特丹，1990年8月。诉讼程序。 （英语） Zbl 0746.68005号

计算机科学课堂讲稿458.柏林等：斯普林格·弗拉格。七、 第536页（1990年）。
审核人：F.-L.Tiplea（拉什）
MSC公司：68-06 2010年第68季度 第68季度55 60年第68季度 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}（编辑）和textit{J.W.Klop}（主编），CONCUR’90。并发理论：统一与扩展。荷兰阿姆斯特丹，1990年8月。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0746.68005）
阿方索·米奥拉（编辑）

符号计算系统的设计与实现。1990年4月10日至12日，意大利卡普里，DISCO’90国际研讨会。诉讼程序。 （英语） Zbl 0757.68013号

计算机科学课堂讲稿. 429. 柏林等：Springer-Verlag。十二、 第284页（1990年）。
审核人：弗朗西斯·约翰·赖特（伦敦）
MSC公司：68-06 68甲15 68瓦30 68吨15 68单位05 68N17号 第68季度第42季度 68层35
PDF格式BibTeX公司 XML格式引用
\textit{A.Miola}（编辑），符号计算系统的设计与实现。1990年4月10日至12日，意大利卡普里，DISCO’90国际研讨会。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0757.68013）
霍斯特·哈尔托夫

以计算机技术为例介绍信息学。（Einführung在《信息技术》杂志上发表。） （德语） 兹比尔0758.68007

BI-Hochschultaschenbücher公司。曼海姆等：B.I.Wissenschaftsverlag。八、 第136页（1990年）。
审核人：E.Maehle（帕德博恩）
MSC公司：68-01 94-01 94B05型 94立方厘米 68M99型
PDF格式BibTeX公司 XML格式引用
\textit{H.Haltof}，Einführung在Beispiel der Rechnertechnik的Informatik中。曼海姆等：B.I.-Wissenschaftsverlag（1990；Zbl 0758.68007）
约翰·纳什。

计算机的紧凑数值方法。线性代数和函数最小化。第2版。 （英语） Zbl 0697.68004号

布里斯托尔等：亚当·希尔格。十二、 278页55.00英镑/hbk；19.50英镑/pbk（1990年）。
审核人：H.Schachtzabel先生
MSC公司：68-01 65平方英尺 2015财年65 65-04 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Nash}，计算机的紧凑数值方法。线性代数和函数最小化。第二版Bristol等：Adam Hilger（1990；Zbl 0697.68004）
Alvaro L.G.A.库蒂尼奥。；JoséL.D.阿尔维斯。；Nelson F.F.埃贝肯。；Lea M.Troina女士。

在IBM3090矢量计算机上使用多项式预处理的有限元方程的共轭梯度解。 （英语） Zbl 0729.73240号

计算。方法应用。机械。工程师。 84，No.2，129-145（1990）.
MSC公司：74S05号 74-04 65日元10 68-04
PDF格式BibTeX公司 XML格式引用
\textit{A.L.G.A.Coutinho}等人，计算。方法应用。机械。Eng.84，No.2，129--145（1990；Zbl 0729.73240）
全文： 内政部
尤拉杰Hromkovič；马提亚斯·克劳斯；克里斯托夫·梅内尔；斯蒂芬·瓦克

分支程序提供了多目标确定性和非确定性超大规模集成电路面积的下限。 （英语） 兹比尔0674.68033

Inf.计算。 96，第2期，第168-178页（1992年）.
审核人：J.霍姆科维奇
MSC公司：68平方米 2015年3月1日 94立方厘米 68N25号 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hromkovič}等人，《信息计算》。96，第2号，168--178（1990年；Zbl 0674.68033）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

软件