×

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

最新的 引文 关联
罗瑟尔，M。（编辑）
[莫西·伊登;加多夫，G。;博里洛，M。;吉安·卡洛·罗塔;M.弗拉托。;查尔斯·加尔宾;安德烈·里奇内罗维奇;莫里斯·哈雷;莫里斯·格罗斯;泽利格·哈里斯;罗杰·C·林登。;普罗塞西，C。;杰勒德·莱莱门特;克里斯托夫·鲁特瑙尔;阿尔多·德卢卡;皮埃尔·巴鲁坎德;多米尼克·福塔;阿兰·拉斯库克斯;罗伯特·科里;安东尼奥·马吉;阿达尔伯特·科伯;何，史;G.X.维诺。;让·伯斯特尔;乔夫鲁特，基督徒;米歇尔·弗利斯;乔治·汉塞尔;多米尼克·佩林;安东尼奥·雷斯蒂沃;罗森斯蒂尔，P。;西蒙·艾姆雷]

话。杂项提供给M.-P.Schützenberger。（梅兰格斯汽车公司提供M.-P.Schützenberger。） （法语） Zbl 0862.05001号

语言，Raisonnement，Calcul。巴黎：爱马仕出版社。第401页（1990年）。
MSC公司：2006年5月 68-06 20-06 14-06 00B15号机组 00B30型
PDF格式BibTeX公司 XML格式引用
\textit{M.Lothaire}（编辑），莫茨。梅兰格斯提出了M.-P.舒恩伯格。巴黎：爱马仕出版社（1990；Zbl 0862.05001）
全文： 链接
钱振宇

高阶有序代数。 （英语） Zbl 1493.68093号

Kirchner，Hélène（编辑）等人，《代数和逻辑编程》。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。463, 86-100 (1990).
MSC公司：68甲18 03B70号 08A70号 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{Z.Qian}，莱克特。注释计算。科学。463，86-100（1990年；Zbl 1493.68093）
全文： 内政部
约瑟夫·戈根（Joseph A.Goguen）。

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

Kirchner，Hélène（编辑）等人，《代数和逻辑编程》。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。463, 1-24 (1990).
MSC公司：03B35型 08A70号 2012年第68季度
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 2006年13月 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）
全文： 内政部
尼格马图林，R.G。

普适方案复杂性和复杂性的下限。编辑，序言由S.库兹涅佐夫和N.努尔米夫撰写。（Nizhnie otsenki slozhnosti i slozhnosti‘通用’ykh skhem） （俄语） Zbl 0784.68043号

喀山大学。第112页（1990年）。
审核人：N.N.Ivanov（格罗德诺）
MSC公司：65年第68季度 03B35型 68-02 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Nigmatullin}，Nizhnie otsenki slozhnosti i slozhnosti‘通用’ykh skhem（俄语）。喀山：Izdatel'stvo Kazanskogo Universiteta（1990；Zbl 0784.68043）
乌多·希比什

Zur-algebraischen理论在Halbgruppen和Halbringen中的总结。（半群和半环中无穷和的代数理论）。 （德语） Zbl 0719.08004号

克劳斯塔尔：科技大学，数学-大自然。传真：。，哈比尔-Schr.公司。132 S.（1990）。
审核人：H.J.Weinert（克劳斯塔尔·泽勒菲尔德）
MSC公司：08年65月 08A55号 08A70号 2016年60月 2014年11月20日 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{U.Hebisch}，Zur algebraischen Theorye unendlicher Summen in Halbgruppen und Halbringen。（半群和半环中无穷和的代数理论）。克劳斯塔尔：科技大学，数学-大自然。法克。（1990年；Zbl 0719.08004）
赫莱内·基什内尔（编辑）;沃尔夫冈·韦克勒（编辑）

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

计算机科学课堂讲稿. 463. 柏林等：施普林格出版社。七、 第386页（1990年）。
审核人：米歇尔·伊坦（斯特拉斯堡）
MSC公司：68-06 68N17号 2012年第68季度 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）
阿方索·米奥拉（Alfonso M.Miola）。（编辑）

科学解决问题的计算工具。1987年4月13日至17日在意大利卡普里举行的“科学和工程研究与开发的计算工具”国际研讨会上发表的论文选集。 （英语） Zbl 0743.68027号

伦敦等：学术出版社。七、 200页（1990年）。
审核人：F.Schwarz（帕德博恩）
MSC公司：68-06 68号01 2005年5月 68甲15 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Miola}（编辑），科学问题解决的计算工具。1987年4月13日至17日在意大利卡普里举行的“科学与工程研究与开发的计算工具”国际研讨会上发表的论文选集。伦敦等：学术出版社（1990；Zbl 0743.68027）
Ivo G.罗森博格。

泛代数项的Mal'cev代数。 （英语） Zbl 0789.08004号

Bergmann，Clifford H.（编辑）等人，《计算机科学中的代数逻辑和泛代数》。会议于1988年6月1日至4日在美国爱荷华州艾姆斯举行。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。425, 195-208 (1990).
MSC公司：08A70号
PDF格式BibTeX公司 XML格式引用
\textit{I.G.Rosenberg}，莱克特。注释计算。科学。425195-208（1990年；Zbl 0789.08004）
乔尔·伯曼

自由代数的值。 （英语） Zbl 0791.08005号

Bergmann，Clifford H.（编辑）等人，《计算机科学中的代数逻辑和泛代数》。会议于1988年6月1日至4日在美国爱荷华州艾姆斯举行。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。425，15-26（1990年）。
MSC公司：08A70号 08B20号
PDF格式BibTeX公司 XML格式引用
\textit{J.Berman}，莱克特。注释计算。科学。425、15--26（1990年；Zbl 0791.08005）
格哈德·贝伦特

Mathematische Grundlagen für Informatiker公司。第2卷：线性代数，Wahrscheinlichkeits理论的分析与元素。 （德语） Zbl 0702.68002号

BI-Hochschultaschenbücher，642年。曼海姆等：BI-Wissenschaftsverrag。六、 204 p.DM 19.80（卡丁车）（1990年）。
审核人：D.里贝塞尔
MSC公司：68-01
PDF格式BibTeX公司 XML格式引用
\textit{G.Berendt}，Mathematische Grundlagen für Informatiker。第2卷：线性代数、Wahrscheinlichkeits理论的分析与元素。曼海姆等：BI-Wisenschatsverlag（1990；Zbl 0702.68002）
梅恩，M。（编辑）;梅尔顿，A。（编辑）;Mislove，M。（编辑）;施密特，D。（编辑）

编程语义的数学基础。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。 （英语） Zbl 0751.68005号

计算机科学课堂讲稿442.柏林等：斯普林格·弗拉格。六、 第439页（1990年）。
审核人：E.P.de Vink公司
MSC公司：68-06 68号30 68问题55 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Main}（ed.）等人，编程语义的数学基础。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0751.68005）
全文： 内政部
安德烈·阿诺德（编辑）

CAAP’90。1990年5月15日至18日，丹麦哥本哈根，第15届树木代数与编程学术讨论会，论文集。 （英语） Zbl 0745.00027号

计算机科学课堂讲稿431.柏林等：斯普林格·弗拉格。六、 第285页（1990年）。
MSC公司：00B25型 68-06
PDF格式BibTeX公司 XML格式引用
\textit{A.Arnold}（编辑），CAAP’90。第15届树木代数与编程学术讨论会，丹麦哥本哈根，1990年5月15-18日，会议记录。柏林等：Springer-Verlag（1990；Zbl 0745.00027）
全文： 内政部
阿方索·米奥拉（编辑）

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

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

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

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

计算机的紧凑数值方法。线性代数和函数最小化。第2版。 （英语） 兹比尔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）
亨克·A·范德福斯特。（编辑）;保罗·范杜伦（编辑）

数值线性代数的并行算法。转载自《计算与应用数学杂志》27，第1-2期（1989年）。 （英语） Zbl 0683.65003号

并行计算的进展, 1. 阿姆斯特丹等地：荷兰北部。x、 330 p.钻井液。140.00; $ 71.75 (1990).
MSC公司：65-06 68-06 68季度xx 65传真 2005年5月 15-06
PDF格式BibTeX公司 XML格式引用
\textit｛H.A.van der Vorst｝（编辑）和\textit｛P.van Dooren｝（编辑），数值线性代数的并行算法。转载自《计算与应用数学杂志》27，第1-2期（1989年）。阿姆斯特丹等：北荷兰（1990；Zbl 0683.65003）
乌特州施罗德

通过计算机代数和自验证数值方法的紧密耦合验证多项式根。 （英语） Zbl 0784.65044号

Christian Ullrich（编辑），《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔：J.C.Baltzer AG，IMACS Ann.Comput。申请。数学。7, 259-269 (1990).
MSC公司：65小时05 65G30型 68瓦30 26立方厘米 30立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{U.Schröder}，IMACS Ann.计算。申请。数学。7259-269（1990年；Zbl 0784.65044）
Alvaro L.G.A.库蒂尼奥。;JoséL.D.阿尔维斯。;Nelson F.F.埃贝肯。;Lea M.特洛伊纳。

利用多项式预处理在IBM 3090矢量计算机上求解有限元方程的共轭梯度解。 （英语） 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）
全文： 内政部
马蒂诺夫，G.V。

来自“应用统计学”的概率统计程序。 （英语。俄文原件） Zbl 0705.62007

J.索夫。数学。 50，第3期，1643-1684（1990）；翻译自Itogi Nauki Tekh。，序列号。特奥。维罗亚特恩。，材料统计，温度。Kibern。26, 151-203 (1988).
MSC公司：62-04
PDF格式BibTeX公司 XML格式引用
\textit{G.V.Martynov}，J.Sov。数学。50，第3号，1643-1684（1990；Zbl 0705.62007）；翻译自Itogi Nauki Tekh。，序列号。特奥。维罗亚特恩。，Mat.Stat.，特奥。Kibern。26, 151--203 (1988)
全文： 内政部
M.多切特。（编辑）;雷米，J.L。（编辑）

1988年3月（CAAP’88），南希（法国），第13届亚伯雷大学学术讨论会（sur les arbres en algèbre et en programmation）。（1988年3月，法国南希，第13届树木代数与编程学术讨论会）。 （英语） Zbl 0694.00026号

理论计算机科学。第72卷，第2、3期。特别发行。阿姆斯特丹：北荷兰（爱思唯尔科学出版社有限公司）。II、 第95-288页（1990年）。
MSC公司：00亿Bxx 68-06
PDF格式BibTeX公司 XML格式
加布里埃尔·布兰肯纳格尔;拉尔夫·哈特穆特·古汀

区域内点问题的内部和外部算法-地理关系代数的INSIDE连接。 （英语） Zbl 0685.68078号

算法 5，第2期，251-276（1990）.
审核人：M.克里瓦内克
MSC公司：68单位99 65年第68季度 第68页第20页 68吨99 68瓦99 68卢比99 52A37型
PDF格式BibTeX公司 XML格式引用
\textit{G.Blankenagel}和\textit{R.H.Güting}，《算法5》，第2期，251--276（1990；Zbl 0685.68078）
全文： 内政部
朱拉吉·赫罗姆科维奇;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克

分支程序提供了多段确定性和非确定性VLSI电路面积的下限。 （英语） Zbl 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）
全文： 内政部
海因茨佩托

一种用于合成信号流图的算法方法。（Ein Verfahren zur formelbasierten Signalflußbild-Synthese.） （德语） Zbl 0792.68190号

威斯。Z、Pädagog。霍奇施。”Liselotte Herrmann“Güstrow，数学大自然。法克。 28，No.1，57-67（1990）.
MSC公司：68单位05 94立方厘米 65C99个
PDF格式BibTeX公司 XML格式引用
\威斯康星州textit{H.Pätow}。Z、Pädagog。霍奇施``Liselotte Herrmann“Güstrow，数学-大自然。法克。28，第1号，57-67（1990年；兹bl 0792.68190）
Susumu Hayashi

建构数学和计算机辅助推理系统。 （英语） Zbl 0788.68129号

数理逻辑，Proc。夏季计划。Conf.Ded.公司。第90届安尼夫。Arend Heyting，柴卡/巴尔格。1988, 43-52 (1990).
MSC公司：第68页第15页 68瓦30 65楼03号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{S.Hayashi}，in：数理逻辑。1988年9月13日至23日在保加利亚柴卡举行的纪念阿伦德·海廷（Arend Heyting，1898-1980）诞辰90周年暑期学校和会议记录。纽约：Plenum出版社。43-52（1990年；Zbl 0788.68129）
William T.Vetterling。;索尔·托科尔斯基（Saul A.Teukolsky）。;出版社，William H。;布赖恩·弗兰纳里。

数字配方。范例书（Pascal）。修订版。 （英语） Zbl 0727.65001号

剑桥：大学出版社。八、 223页17.50英镑；$24.95 (1990).
审核人：O.Pastravanu（伊阿什）
MSC公司：65-01 65传真 65Dxx日 65立方厘米 65埃05 65华夏 65千5 65T40型 65C99个 65磅 6500万 65新元 15-04 41-04 33-04 68-04 90-04 42-04 62-04 34-04 35-04
PDF格式BibTeX公司 XML格式引用
\textit｛W.T.Vetterling｝等人，数字配方。范例书（Pascal）。修订版剑桥：大学出版社（1990；Zbl 0727.65001）
布鲁斯·博戈西安（Bruce M.Bogosian）。

数据并行计算和连接机器。 （英语） Zbl 0766.65039号

1989年复杂系统讲座，Proc。夏令营。，圣达菲/NM（美国）1989，圣达菲研究所科学研究。复杂性2，325-370（1990）。
MSC公司：65楼30 65二氧化碳 2005年5月 68米99
PDF格式BibTeX公司 XML格式引用
\textit{B.M.Bogosian}，摘自：1989年复杂系统讲座。1989年复杂系统暑期学校学报，美国新墨西哥州圣达菲，1989年6月5日至30日。加利福尼亚州雷德伍德市：Addison-Wesley出版公司。325--370（1990年；Zbl 0766.65039）
Manuel E.Bermudez。;乔治·洛戈塞提斯

有限子集关系闭包的并行计算。 （英语） Zbl 0797.68068号

组合数学、图论和计算，Proc。第20届东南会议，博卡拉顿/佛罗里达州（美国）1989年，国会。Numerantium 72193-198（1990）。
MSC公司：68宽15 68卢比 65年第68季度 03E20型
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Bermudez}和\textit{G.Logothetis}，in：组合数学、图论和计算，Proc。第20届东南会议，博卡拉顿/佛罗里达州（美国）1989年，国会。数字72。193-198（1990年；Zbl 0797.68068）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考

全部的 前3名

软件