×

找到245个文档(结果1-100)

非线性系统控制的形式化方法。 (英语) Zbl 1519.93004号

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-2199-4/hbk;978-1-032-42816-1/pbk;988-0-429-27025-3/电子书)。十八、253页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性常微分方程的截断级数和形式指数对数解。 (英语。俄文原件) Zbl 07282628号

计算。数学。数学。物理学。 60,第10期,1609-1620(2020); Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60,第10期,1664-1675(2020)。
MSC公司:65升99 34米25
PDF格式BibTeX公司 XML格式引用
全文: 内政部

外推和有理逼近。主要贡献者的作品。 (英语) Zbl 1477.65006号

查姆:施普林格(ISBN 978-3-030-58417-7/hbk;978-3-0.30-58420-7/pbk;978-10-58418-4/电子书)。viii,第406页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用UPPAAL对连续动力系统进行离散化。 (英语) 兹比尔1498.68142

Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。10500297-315(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

混合系统统计模型检验的多级蒙特卡罗方法。 (英语) Zbl 1420.68126号

Bertrand,Nathalie(编辑)等人,《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10503, 351-367 (2017).
PDF格式BibTeX公司 XML格式引用

波动方程傅里叶方法中的一种预解方法:非自洽情况。 (英语。俄文原件) Zbl 1351.65079号

计算。数学。数学。物理学。 55,第7期,1138-1149(2015); Zh的翻译。维奇尔。Mat.Mat.Fiz公司。55,编号7,1156-1167(2015)。
MSC公司:65米70 35升05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有快速变化核的Fredholm型非线性积分微分系统的正则化方法。 (英语。俄文原件) Zbl 1323.65124号

不同。埃克。 51,第2期,255-267(2015); 来自Differ的翻译。乌拉文。51,第2期,251-262(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

更快的轻松乘法。 (英语) Zbl 1325.68305号

Nabeshima,Katsusuke(编辑),第39届符号和代数计算国际研讨会论文集,ISSAC 2014,日本神户,2014年7月23日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2501-1)。405-412 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

有向图的分解与Turán问题。 (英语) Zbl 1308.05091号

乌克兰。数学。J。 66,第7期,1070-1084(2014)和乌克兰。材料Zh。66,第7期,958-969(2014)。
PDF格式BibTeX公司 XML格式引用

NLCertify:用于形式化非线性优化的工具。 (英语) Zbl 1434.68640号

Hong,Hoon(编辑)等人,《数学软件——ICMS 2014》。第四届国际会议,韩国首尔,2014年8月5日至9日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8592, 315-320 (2014).
PDF格式BibTeX公司 XML格式引用

Zélus:与ODE同步的语言。 (英语) Zbl 1361.68026号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。113-118 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过原子启动进行形式化概念分析。 (英语) Zbl 1397.68177号

Cellier,Peggy(编辑)等人,《形式概念分析》。2013年5月21日至24日,在德国德累斯顿举行的2013年国际烟草期货交易协会第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38316-8/pbk)。计算机科学课程讲稿7880。《人工智能课堂讲稿》,92-108(2013)。
MSC公司:68立方英尺 65层50
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

玻璃生产过程中的辐射传热和应用。二、。 (英语) Zbl 1226.80023号

安东尼奥·法萨诺(编辑),《玻璃制造中的数学模型》。2008年9月8日至19日,意大利蒙特卡蒂尼·泰尔梅C.I.M.E.暑期学校。柏林:施普林格;佛罗伦萨:Fondazione CIME Roberto Conti(ISBN 978-3-642-15966-4/pbk;978-3-442-15967-1/电子书)。数学课堂讲稿2010135-171(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

波动方程解方案的形式证明:方法误差。 (英语) Zbl 1291.68329号

Kaufmann,Matt(编辑)等人,《交互式定理证明》。2010年7月11日至14日在英国爱丁堡举行的2010年ITP第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14051-8/pbk)。计算机科学课堂讲稿6172147-162(2010)。
MSC公司:68吨15 35升05 6500万06
PDF格式BibTeX公司 XML格式引用

单调多项式方程组牛顿法的收敛性。 (英语) Zbl 1232.65076号

STOC'07年。2007年6月11日至13日,美国加利福尼亚州圣地亚哥,第39届ACM计算理论年会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-631-8)。217-226 (2007).
PDF格式BibTeX公司 XML格式引用

大区域上奇摄动抛物型反应扩散方程关于空间和时间变量的网格逼近。 (俄语。英文摘要) Zbl 07811580号

Zh公司。维奇尔。Mat.Mat.Fiz公司。 46,第11号,2045-2064(2006); 计算机翻译。数学。数学。物理学。46,第11期,1953-1971(2006)。
MSC公司:6500万06
PDF格式BibTeX公司 XML格式引用
全文: 内政部 MNR公司

混合拉普拉斯和泊松解算器。二: Robin BC。 (英语) Zbl 1113.65315号

Constanda,C.(编辑)等人,《科学与工程中的积分方法》,分析与数值技术。2002年8月7日至10日,法国圣埃蒂安大学第七届国际会议(IMSE 2002)的论文。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-3228-X/hbk)。181-186 (2004).
MSC公司:65号38
PDF格式BibTeX公司 XML格式引用

微分复数和数值稳定性。 (英语) Zbl 1023.65113号

李大谦(编辑)等,《国际数学家大会论文集》,ICM 2002,中国北京,2002年8月20日至28日。第一卷:全体讲座和仪式。北京:高等教育出版社。137-157 (2002).
PDF格式BibTeX公司 XML格式引用

混合拉普拉斯和泊松解算器。一: Dirichlet边界条件。 (英语) Zbl 1026.65522号

Schiavone,P.(ed.)等人,《科学与工程中的积分方法》,第六届国际会议论文集,2000年IMSE,加拿大班夫,2000年6月12-15日。马萨诸塞州波士顿:Birkhäuser。203-208 (2002).
MSC公司:65号38 35J05型
PDF格式BibTeX公司 XML格式引用

通过DFI的线性和次线性Tricomi。 (英语) Zbl 0957.65090号

Bertram,B.(ed.)等人,《科学与工程中的积分方法》,第五届国际会议论文集,IMSE’98,美国密歇根州霍顿,1998年8月10日至13日。佛罗里达州博卡拉顿:查普曼和霍尔/CRC。查普曼霍尔/CRC研究笔记数学。418, 268-273 (2000).
MSC公司:65米70 35M10个
PDF格式BibTeX公司 XML格式引用

“混沌”主要存在于计算机器中吗? (英语) Zbl 0958.65082号

Cordunenu,C.(编辑)等人,Volterra方程和应用。1996年5月23日至25日,美国德克萨斯州阿灵顿市德克萨斯大学Volterra百年研讨会论文集。伦敦:Gordon和Breach科学出版社。刺。控制理论方法应用。10, 403-410 (2000).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

传记参考

全部的 前3名

软件