×

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

最新的 引文 关联
约阿希姆·蒂尔斯泰德·克里斯滕森;罗宾·卡斯加德;迈克尔·柯克达尔·汤姆森

可逆函数的尾部递归变换。 （英语） Zbl 07786596号

Kutrib，Martin（编辑）等人，《可逆计算》。第15届国际会议，RC 2023，德国吉森，2023年7月18日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 73-88 (2023).
MSC公司：2009年第68季度 2010年第68季度 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{J.T.Kristensen}等人，Lect。注释计算。科学。13960，73-88（2023年；兹bl 07786596）
全文： 内政部 arXiv公司
Maja Hanne Kirkeby;罗伯特·格莱克

条件构造函数项重写系统的半嵌入。 （英语） Zbl 1502.68152号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 243-259 (2020).
MSC公司：2012年第68季度 68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Kirkeby}和\textit{R.Glück}，莱克特。注释计算。科学。12042，243-259（2020；Zbl 1502.68152）
全文： 内政部
Tsachouridis，瓦西里奥斯A。;乔治·詹塔米迪斯;Stylianos巴萨吉安尼斯;科斯塔斯库拉马斯

Schulz矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范例。 （英语） Zbl 1458.65035号

数字。代数控制优化。 177-206年第2期第10期（2020年）.
MSC公司：65层10 15A09号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Tsachouridis}等人，数字。代数控制优化。10，编号2177-206（2020；兹bl 1458.65035）
全文： 内政部
恩里卡·弗洛里斯

Nefness：对lc案例的概括。（Nefness:Généralisation au cas lc.） （英语。法语简写版） Zbl 1300.14038号

C.R.，数学。，阿卡德。科学。巴黎 352，第4期，333-337（2014）.
审核人：安东尼奥·兰特里（米兰）
MSC公司：14日J10 14E05号 14E30型
PDF格式BibTeX公司 XML格式引用
\textit｛E.Floris｝，C.R.，数学。，阿卡德。科学。巴黎352，No.4，333--337（2014；Zbl 1300.14038）
全文： 内政部 链接
侯聪;丹尼尔·昆兰;戴维·杰斐逊;理查德·藤本;理查德·武杜克

用于程序反转的合成循环。 （英语） Zbl 1451.68074号

Glück，Robert（编辑）等人，《可逆计算》。2012年7月2日至3日，第四届国际研讨会，RC 2012，丹麦哥本哈根。修改后的文件。柏林：斯普林格。莱克特。注释计算。科学。7581, 72-84 (2013).
MSC公司：68号30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Hou}等人，Lect。注释计算。科学。7581、72--84（2013年；Zbl 1451.68074）
全文： 内政部
托马斯·沃尔夫;埃伯哈德·施吕费尔;肯尼思·韦伯斯特

在可积非交换Laurent常微分方程背景下求解大型线性代数系统。 （英语） Zbl 1256.65074号

程序。计算。柔和。 38，第2期，73-83（2012）.
MSC公司：65升05 34A34飞机 65层20 65层50 65平方英尺 68瓦30 65日元
PDF格式BibTeX公司 XML格式引用
\textit{T.Wolf}等人，《程序》。计算。柔和。38，第2号，73--83（2012；Zbl 1256.65074）
全文： 内政部 arXiv公司
费雷拉，乔昂·F·。

设计二次方定理的算法证明。 （英语） Zbl 1286.11209号

Bolduc，Claude（编辑）等人，《程序构造的数学》。2010年6月21日至23日，加拿大魁北克市，2010年MPC第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13320-6/pbk）。计算机科学讲义6120，140-156（2010）。
MSC公司：2016年11月
PDF格式BibTeX公司 XML格式引用
\发短信{J.F.Ferreira}，勒克特。注释计算。科学。6120、140-156（2010年；Zbl 1286.11209）
全文： 内政部
松田和川;胡镇江;中野圭介;马科托·哈马纳;Masato Takeichi

基于视图补码函数自动推导的双向转换。 （英语） Zbl 1291.68147号

2007年10月1日至3日在德国弗莱堡举行的第十二届ACM SIGPLAN功能编程国际会议记录，ICFP'07。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-815-2）。ACM SIGPLAN Notices 42，No.9，47-58（2007）。
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{K.Matsuda}等人，in：第十二届ACM SIGPLAN函数编程国际会议论文集，ICFP'07，德国弗莱堡，2007年10月1日至3日。纽约州纽约市：计算机协会（ACM）。47-58（2007年；Zbl 1291.68147）
全文： 内政部
理查德·佩尼（Richard C.Penney）。

线性代数。想法和应用。第2版。 （英语） Zbl 1056.15001号

奇切斯特：Wiley-Interscience（ISBN 0-471-67620-9/hbk）。十六、436页。(2004).
审核人：约翰·迪克森（渥太华）
MSC公司：15-01 15A03号 15A04号 15A06号 65平方英尺 15A09号 15甲15 15甲18 15A21号机组
PDF格式BibTeX公司 XML格式引用
\textit{R.C.Penney}，线性代数。想法和应用。第二版奇切斯特：Wiley-Interscience（2004；Zbl 1056.15001）
德克·海泽拉斯;洛韦，韦尔夫;安德烈亚斯·路德维希;乌韦·Aßmann

面向方面的组件通信配置和自适应。 （英语） Zbl 1029.68754号

Bosch，Jan（编辑），《生成和基于组件的软件工程》，第三届国际会议，2001年普通中等教育证书。德国埃尔福特，2001年9月10日至13日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2186, 58-69 (2001).
MSC公司：68单位99 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{D.Heuzeroh}等人，莱克特。注释计算。科学。2186、58-69（2001年；Zbl 1029.68754）
全文： 链接
丹塔斯，L.B。;奥兰德，H.R.B。

塑料封装芯片中的热传导。 （英语） Zbl 0938.74078号

Cotta，Renato M.（编辑），《热流体科学与工程中的积分变换方法》，1996年11月在巴西里约热内卢举行的第二次积分变换研讨会论文。纽约州纽约市：Begell House，Inc.，187-201（1998）。
审核人：O.Titow（柏林）
MSC公司：74S30型 74F05型 80A20型
PDF格式BibTeX公司 XML格式引用
\textit{L.B.Dantas}和\textit{H.R.B.Orlande}，in：热和流体科学与工程中的积分变换方法。1996年11月在巴西里约热内卢举行的第二次积分变换研讨会论文。纽约州纽约市：Begell House，Inc.，187--201（1998；Zbl 0938.74078）
安东尼拉·格拉西;贾诺斯·科拉尔

减少到特殊翻转。 （英语） 兹比尔0931.14008

科勒阿尔（Kollár），János（编辑），《代数三重性的翻转和丰度》。1991年在盐湖城犹他大学举办的夏季研讨会。巴黎：法国数学协会（SociétéMathématique de France，Astérisque）。211, 193-206 (1992).
MSC公司：14E30型 14号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Grassi}和\textit{J.Kollár}，in：代数三重的翻转和丰度。1991年在盐湖城犹他大学举办的夏季研讨会。巴黎：法国数学协会。193-206（1992年；Zbl 0931.14008）
汉斯·鲁道夫·施瓦兹

有限元方法的FORTRAN程序。3.，neubearb。和erw。澳大利亚。（FORTRAN-Programme zur Methode der finiten Elemente） （德语） Zbl 0711.65095号

图布纳研究所：Mathematik。斯图加特：B.G.特布纳。223 S.DM 27.80（1991年）。
MSC公司：65N30型 65-04 74S05号 74-04 74Kxx美元 35J05型 35J25型 65平方英尺 2015财年65 65层35 第35页 65奈拉 35甲15
PDF格式BibTeX公司 XML格式引用
\textit{H.R.Schwarz}，FORTRAN-Programme zur Methode der finiten Elemente（FORTRAN有限元素方法）。3.，neubearb。和erw。澳大利亚。斯图加特：B.G.Teubner（1991；Zbl 0711.65095）
于库兹涅佐夫。A。;Finogenov，S.A.公司。

求解分离变量椭圆问题的程序包。 （俄语） Zbl 0807.65107号

于库兹涅佐夫。A.（编辑），数值方法和软件。科学著作集。莫斯科：Otdel Vychislitel’noj Matematiki AN SSSR，95-105（1990）。
MSC公司：65号06 65平方英尺 35J25型 35-04
PDF格式BibTeX公司 XML格式引用
\textit{Yu.A.Kuznetsov}和\textit{S.A.Finogenov}，in：Chislennye metody i programmnoe obespechenie。斯博尼克·纳什尼赫·特鲁多夫（Sbornik nauchnykh trudov）。莫斯科：Otdel Vychislitel’noj Matematiki AN SSSR。95-105（1990年；Zbl 0807.65107）
吉斯伯特·提尔

Untersuchungen zum Vergleich und zur Berechnung von Fehlerschranken für lineare Ungleichungssysteme公司。（线性不等式系统误差界的比较和计算分析）。 （德语） Zbl 0729.65045号

哈利·科赫：帕达。霍奇施。哈利·科赫（Halle-Köthen），数学-大自然。传真：。，异议。A.获得。Zählung（1989）。
MSC公司：65千5 90-04 90C05（二氧化碳） 65平方英尺 15A39型
PDF格式BibTeX公司 XML格式引用
\textit{G.Thiere}，《Untersuchungen zum Vergleich und zur Berechnung von Fehlerschranken für lineare Ungleichungssysteme》。（线性不等式组误差界的比较和计算分析）。哈利·科赫：帕达。霍奇施。Halle-Köthen，数学大自然。法克。（1989年；Zbl 0729.65045）
汉斯·鲁道夫·施瓦兹

FORTRAN--程序zur有限元素方法。2、durchges。澳大利亚。 （德语） Zbl 0625.65106号

Mathematik的Teubner Studienbücher。斯图加特：B.G.Teubner。208秒。；DM 25.80（1988）。
MSC公司：65N30型 65-04 74S05号 74Kxx美元 35J05型 35J25型 65平方英尺 2015财年65 65层35 第35页 65奈拉 35甲15 74S99型 74-04
PDF格式BibTeX公司 XML格式引用
\textit{H.R.Schwarz}，FORTRAN-Programme zur Methode der finiten Elemente（FORTRAN有限元素方法）。2、durchges。澳大利亚。斯图加特：B.G.Teubner（1988；Zbl 0625.65106）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件