×

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

最新的 引文 关联
N.N.伊万诺夫。

具有非指数分布律的时间随机Petri网。 （英语。俄文原件） Zbl 0852.68060号

自动。远程控制 55，No.9，Pt.2，1363-1371（1994）; Avtom翻译。Telemekh公司。1994年，第9期，第156-166页（1994年）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.N.Ivanov}，自动。遥控器55，第9号，第2部分，1363--1371（1994；Zbl 0852.68060）；Avtom翻译。Telemekh公司。1994年，第9期，156--166（1994）
巴兰丁，S.P。;苏莱曼诺夫，B.I。

与普通二阶微分方程的哈密顿结构有关的Burgers型系统的线性化。 （英语。俄文原件） Zbl 0856.3512号

不同。方程式 1998-2000年第12期第30页（1994年）; 来自Differ的翻译。乌拉夫。30，第12期，2175-2176（1994）。
审核人：V.切尔尼汀（Szczecin）
MSC公司：第35季度53 37J35型 37K10型 35立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{S.P.Balandin}和\textit{B.I.Suleimanov}，Differ。方程式30，第12号，1998-2000（1994；Zbl 0856.3512）；来自Differ的翻译。乌拉夫。30，第12号，2175--2176（1994）
N.N.伊万诺夫。

时间随机Petri网中的半马尔可夫过程。 （英语。俄文原件） Zbl 0845.68079号

自动。远程控制 55，No.3，Pt.2，400-408（1994）; Avtom翻译。Telemekh公司。1994年，第3期，117-127（1994）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.N.Ivanov}，自动。遥控器55，第3号，第2部分，400--408（1994；Zbl 0845.68079）；Avtom翻译。Telemekh公司。1994年，第3期，117--127（1994）
高，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系统求解器。 （英语） Zbl 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）
亚历山德鲁·马特埃斯库

在（左）部分洗牌。 （英语） Zbl 1529.68145号

Karhumäki，Juliani（编辑）等人，《理论计算机科学的结果和趋势》。1994年6月10日至11日，奥地利格拉茨，纪念阿尔托·萨洛马的座谈会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。812, 264-278 (1994).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Mateescu}，莱克特。注释计算。科学。812、264--278（1994年；Zbl 1529.68145）
全文： 内政部
亚历山大·拉比诺维奇

有限状态行为的迹同余的完全公理化。 （英语） Zbl 1509.68189号

Brookes，Stephen（ed.）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 530-543 (1994).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。注释计算。科学。802、530--543（1994年；Zbl 1509.68189）
全文： 内政部
威廉·格拉格。;马丁·古特内赫特。

欧几里德和切比雪夫算法的稳定look-ahead版本。 （英语） Zbl 0830.65007号

扎哈尔，R.V.M.（编辑），《近似与计算：纪念沃尔特·高茨基的节日》。普渡会议记录，美国印第安纳州西拉斐特，1993年12月2-5日。美国波士顿：Birkhäuser。ISNM，国际期刊。数字。数学。119, 231-260 (1994).
审核人：孙永胜（北京）
MSC公司：65日第15天 2005年第65季度 65兰特 44A60型
PDF格式BibTeX公司 XML格式引用
\textit｛W.B.Gragg｝和\textit｛M.H.Gutknecht｝，ISNM，国际序列号。数字。数学。119、231--260（1994年；Zbl 0830.65007）
A.W.罗斯科。;伍德科克，J.C.P。;沃尔夫，L。

通过决定论不干涉。 （英语） 兹比尔1477.68063

Dieter Gollmann（编辑），《计算机安全——ESORICS 94》。第三届欧洲计算机安全研究研讨会，英国布莱顿，1994年11月7日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。875, 31-53 (1994).
MSC公司：68平方米5 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Roscoe}等人，Lect。注释计算。科学。875、31-53（1994年；Zbl 1477.68063）
全文： 内政部 链接
Gennady Lyubeznik

关于特征（p>0）正则局部环的局部上同调模的结构。 （英语） Zbl 0811.13007号

Bruns，Winfried（ed.）等人，《交换代数：国际会议的扩展摘要》，1994年7月27日至8月1日，德国韦希塔。克洛彭堡：伦格。韦赫塔尔大学。13, 126-127 (1994).
审核人：M.莫拉莱斯（圣马丁·赫雷斯）
MSC公司：13D45号 13A35型 13层25 05年13月
PDF格式BibTeX公司 XML格式引用
\textit{G.Lyubeznik}，in：交换代数：国际会议的扩展摘要，1994年7月27日至8月1日，德国韦希塔。克洛彭堡：伦格。126-127（1994年；Zbl 0811.13007）
迪迪埃·阿纳尔;让·路德维希;莫森·马斯穆迪

李群极化轨道上的协变形变。（Déformations covariantes sur les orbites polarisées D’un groupe de Lie。） （法语） Zbl 0834.22015号

《几何杂志》。物理学。 14，第4期，309-331（1994）.
审核人：F.Rouvière（尼斯）
MSC公司：22E30型 22E70型 58甲15 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{D.Arnal}等人，J.Geom。物理学。14，No.4，309--331（1994；Zbl 0834.22015）
全文： 内政部
莫里斯·纳夫塔林（编辑）;蒂姆·丹维尔（编辑）;米克尔·伯特兰（编辑）

FME’94：正式方法的工业效益。第二届欧洲正式方法国际研讨会，西班牙巴塞罗那，1994年10月24-28日。诉讼程序。 （英语） Zbl 0802.0034号

计算机科学课堂讲稿873.柏林：斯普林格·弗拉格。xi，723页（1994年）。
MSC公司：00B25型 68-06
PDF格式BibTeX公司 XML格式引用
\textit{M.Naftalin}（编辑）等，FME’94：形式化方法的工业效益。第二届欧洲正式方法国际研讨会，西班牙巴塞罗那，1994年10月24-28日。诉讼程序。柏林：Springer-Verlag（1994；Zbl 0802.0034）
全文： 内政部
阿拉加，V.S。（编辑）

数据库和软件工程正式方法专刊。大卫·迈克尔·里奇公园纪念馆。理论计算机科学133，第2期。
理论计算机科学133，第2期。 （英语） Zbl 0801.00015号

阿姆斯特丹：Elsevier，第187-443页（1994年）。
MSC公司：00B15号机组 68-06
PDF格式BibTeX公司 XML格式引用
\textit{V.S.Alagar}（编辑），数据库和软件工程中的形式化方法专刊。大卫·迈克尔·里奇公园纪念馆。理论计算机科学133，第2期。\newline理论计算机科学133，第2期。阿姆斯特丹：爱思唯尔（1994；Zbl 0801.0015）
Aleksandrov，A.G。

零维奇点的对偶性、推导和变形。 （英语） Zbl 0823.13010号

Orecchia，Ferruccio（编辑）等，零维方案。1992年6月8日至13日在意大利拉韦洛举行的国际会议记录。柏林：德格鲁伊特。11-31 (1994).
审核人：J.史蒂文斯（汉堡）
MSC公司：2013年10月3日 2014年 13日第10天 13J07号 14B12号机组 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Aleksandrov}，in：零维方案。1992年6月8日至13日在意大利拉韦洛举行的国际会议记录。柏林：de Gruyter。11--31（1994；Zbl 0823.13010）
休伯特·弗伦纳;米哈伊尔·扎登伯格

\（mathbb{Q}）-无环曲面及其变形。 （英语） Zbl 0838.14027号

Ciliberto，Ciro（编辑）等人，代数变体的分类。关于代数变种分类的代数几何会议，1992年5月22日至30日，意大利拉奎拉拉奎拉大学。普罗维登斯，RI：美国数学学会。康斯坦普。数学。162, 143-208 (1994).
审核人：L.Chiantini（罗马）
MSC公司：14日J10 14日第15天 14J25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Flenner}和\textit{M.Zaidenberg}，康特姆。数学。162、143--208（1994；Zbl 0838.14027）
芭芭拉·范特奇

曲线对称乘积的变形。 （英语） Zbl 0826.14018号

Ciliberto，Ciro（编辑）等人，代数变体的分类。关于代数变种分类的代数几何会议，1992年5月22日至30日，意大利拉奎拉拉奎拉大学。普罗维登斯，RI：美国数学学会。康斯坦普。数学。162, 135-141 (1994).
审核人：M.Vaquie（巴黎）
MSC公司：14小时99分 14日第15天
PDF格式BibTeX公司 XML格式引用
\文本｛B.Fanteci｝，Contemp。数学。162、135——141（1994；Zbl 0826.14018）
埃里克·德拉巴埃尔

Ecalle理论简介。 （英语） Zbl 0805.40007号

Tournier，E.（编辑），《计算机代数与微分方程》。1992年6月1日至5日在法国马赛举行的第三届计算机代数和微分方程两年一度讲习班的论文选集（CADE-92）。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。193, 59-101 (1994).
审核人：J.Müller（特里尔）
MSC公司：40G10型 40立方厘米 05年3月30日
PDF格式BibTeX公司 XML格式引用
\textit{E.Delabaere}，伦敦。数学。Soc.Lect（社会学）。注释序列号。193、59-101（1994；Zbl 0805.40007）
查尔斯·西姆斯。

有限呈现群的计算。 （英语） Zbl 0828.20001

数学百科全书及其应用. 48. 剑桥：剑桥大学出版社。xiii，604 p.（1994年）。
审核人：J.Neubüser（亚琛）
MSC公司：20-04 20F05型 2010年1月20日 2019年1月20日 2012年第68季度 68瓦30 20-02 20日第15天 2016年1月20日 2018年1月20日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.C.Sims}，有限呈现群的计算。剑桥：剑桥大学出版社（1994；Zbl 0828.20001）
巴哈迪尔·库萨诺夫;尼罗德，阿尼尔

等级和游戏的概念。 （英语） Zbl 0946.03013号

Nerode，A.（编辑）等人，LFCS’94，计算机科学的逻辑基础。第三届国际研讨会，俄罗斯圣彼得堡，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。813, 204-217 (1994).
MSC公司：03B25号 91A44型 03B15号机组 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Khousainov}和\textit{A.Nerode}，莱克特。注释计算。科学。813204--217（1994；Zbl 0946.03013）
Kuske，D。

具有并发关系和域的非确定性自动机。 （英语） Zbl 0938.68743号

Sophie Tison（编辑），《代数和编程中的树——CAAP’94》。第19届国际学术讨论会，英国爱丁堡，1994年4月11日至13日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。787, 202-217 (1994).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kuske}，莱克特。注释计算。科学。787202--217（1994年；Zbl 0938.68743）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考

软件