×

找到20个文档（结果1–20）

最新的 引文 关联
卢德米拉·尼古洛娃;拉尔斯·埃里克·佩尔森;瓦罗沙内克，萨尼亚;伊梅尔·马科斯·菲舍哈

利用超二次性对一些经典不等式进行了改进。 （英语） Zbl 1506.26019号

J.不平等。申请。 2022年，第86号论文，第15页（2022年）.
MSC公司：第26天10 第26天15 39磅62 46 E27型 26页51 26对25
PDF格式BibTeX公司 XML格式引用
\textit{L.Nikolova}等人，J.Inequal。申请。2022年，第86号论文，第15页（2022年；Zbl 1506.26019）
全文： 内政部
卢德米拉·尼古洛娃;拉尔斯·埃里克·佩尔森;瓦罗沙内克，萨尼亚

利用强凸性对一些Jensen型不等式的连续改进及其应用。 （英语） Zbl 1506.26018号

J.不平等。申请。 2022年，第63号论文，第15页（2022年）.
MSC公司：第26天10 第26天15 39磅62 46 E27型 26页51 26对25
PDF格式BibTeX公司 XML格式引用
\textit{L.Nikolova}等人，J.Inequal。申请。2022，第63号文件，第15页（2022；兹bl 1506.26018）
全文： 内政部
张晓宇;方，清

拉伸函数对具有奇异解的圆盘上泊松型方程非均匀有限差分法的影响。 （英语） Zbl 1349.65574号

Wen，Guo Chun（编辑）等，边值问题，积分方程和相关问题。第三届国际会议记录，北京和保定，中国，2010年8月20日至25日。新泽西州哈肯萨克：世界科学（ISBN 978-981-4327-85-5/hbk；978-981-14327-86-2/电子书）。327-337（2011年）。
MSC公司：65号06 65奈拉
PDF格式BibTeX公司 XML格式引用
\textit{X.-Y.Zhang}和\textit{Q.Fang}，in：边值问题、积分方程和相关问题。第三届国际会议记录，北京和保定，中国，2010年8月20-25日。新泽西州哈肯萨克：《世界科学》。327--337（2011年；Zbl 1349.65574）
全文： 链接
乔舒亚·邓菲尔德;弗兰克·芬宁

三向打字检查。 （英语） Zbl 1325.68062号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。281-292 (2004).
MSC公司：68号30 03B70号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Dunfield}和\textit{F.Pfenning}，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。281-292（2004年；兹bl 1325.68062）
全文： 内政部 链接
胡安·比卡雷奎。;约翰·菲茨杰拉德。;彼得·林赛（Peter A.Lindsay）。;理查德·摩尔;布莱恩·里奇

VDM证明：从业者指南。 （英语） Zbl 0809.68023号

计算和信息技术的形式化方法（FACIT）。柏林：Springer-Verlag。十六、第362页，德国马克70.00；öS 546.00；sFr 70.00/sc（1994年）。
MSC公司：68-02 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Bicarregui}等人，《VDM中的证明：从业者指南》。柏林：施普林格出版社（1994；Zbl 0809.68023）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件