伊沃·杜恩施；格迪加（Günther Gediga） 简化上下文结构。 （英语） Zbl 1436.68332号 Kryszkiewicz，Marzena（编辑）等人，《模式识别和机器智能》。2015年6月30日至7月3日在波兰华沙举行的2015年PReMI第六届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9124, 23-32 (2015).MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.Düntsch}和\textit{G.Gediga}，莱克特。票据计算。科学。9124，23-32（2015；Zbl 1436.68332） 全文： 内政部
迈克尔·德特莱夫森 关于证明动机理论。 （英语） Zbl 1429.03002号 Wansing，Heinrich（编辑），Dag Prawitz关于证据和意义。查姆：斯普林格。Outst公司。控制日志。7, 121-145 (2015).MSC公司：03-03 03财年03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Detlefsen}，Outst。控制日志。7、121——145（2015；Zbl 1429.03002） 全文： 内政部
陈燕文；陈一香；艾瑞克·马德琳 Timed-pNets：分布式系统的通信行为语义模型。 （英语） Zbl 1403.68138号 前面。计算。科学。 9，第1期，87-110（2015）.MSC公司：68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人，前面。计算。科学。9，第1号，87--110（2015；Zbl 1403.68138） 全文： 内政部 哈尔
埃德维·普奇；拉贾戈帕尔，K.R。；朱塞佩·萨克曼迪 非线性柯西弹性半逆解的确定不是那么简单反平面剪切的情况。 （英语） Zbl 1423.74136号 国际工程科学杂志。 88，3-14（2015年）.MSC公司：74B20型 74G75型 PDF格式BibTeX公司 XML格式引用 \textit{E.Pucci}等人，《国际工程科学杂志》。88、3-14（2015年；Zbl 1423.74136） 全文： 内政部
赫迪·纳布利；索尼娅·查杜拉 代数单纯形初始化与不可行基方法相结合。 （英语） Zbl 1346.90576号 欧洲药典。物件。 245，编号2384-391（2015）.MSC公司：90C05（二氧化碳） 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Nabli}和\textit{S.Chahdoura}，欧洲期刊Oper。第245号决议，第2号，第384--391条（2015年；Zbl 1346.90576） 全文： 内政部
购买，D.B。；O.M.科列盖夫。 软件开发Z、B和VDM中的形式化方法：比较分析。 （乌克兰语。英文摘要） Zbl 1363.68037号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2015年第4期，96-101（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Buy}和\textit{O.M.Kolegaev}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2015，第4期，第96-101页（2015；Zbl 1363.68037）
M.R.Ishmeev。；列文斯塔姆，V.B。 以Stokes算子为主体的线性系统解的高频渐近性。 （英语。俄文原件） Zbl 1331.35091号 数学杂志。科学。，纽约 208，第2期，151-159（2015）; Probl的翻译。材料分析。80, 3-10 (2015).MSC公司：35英尺40英寸 35B10型 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Ishmeev}和\textit{V.B.Levenshtam}，J.数学。科学。，纽约208，No.2，151--159（2015；Zbl 1331.35091）；Probl的翻译。材料分析。80, 3--10 (2015) 全文： 内政部
R.R.Gontsov。；Goryuchkina，I.V。 关于满足代数常微分方程的广义幂级数的收敛性。 （英语） Zbl 1327.34014号 渐近肛门。 93，第4期，311-325（2015）.MSC公司：34A25型 34米25 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Gontsov}和\textit{I.V.Goryuchkina}，《渐进性肛门》。93，第4号，311--325（2015；Zbl 1327.34014） 全文： 内政部 arXiv公司
科尔内夫，V.V。；Khromov，A.P。 波动方程傅里叶方法中的一种预解方法：非自洽情况。 （英语。俄文原件） 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格式引用 \textit{V.V.Kornev}和\textit{A.P.Khromov}，计算。数学。数学。物理学。55，No.7，1138--1149（2015；Zbl 1351.65079）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。55，第7号，1156--1167（2015） 全文： 内政部
阿夫尼，盖伊；奥尔纳·库普弗曼 参数化加权包容。 （英语） Zbl 1354.68145号 ACM事务处理。计算。日志。 16，第1号，第6条，第25页（2015年）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman}，ACM Trans。计算。日志。16，第1号，第6条，25页（2015；Zbl 1354.68145） 全文： 内政部
和崎市Yoneyama 随机预言机可编程性的形式化建模和使用任务PIOA验证签名不可伪造性。 （英语） Zbl 1453.68026号 Lee，Jooyoung（编辑）等人，《信息安全与密码学——ICISC 2014》。第17届国际会议，韩国首尔，2014年12月3-5日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。8949, 37-52 (2015).MSC公司：68平方米25 65年第68季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \发短信{K.Yoneyama}，Lect。票据计算。科学。8949，37-52（2015；Zbl 1453.68026） 全文： 内政部
亚当·哥尔 三元字母表上部分单词的模式回避。 （英语） Zbl 1329.68198号 玛丽亚·居里大学奥斯卡分校。A类 69，第1期，73-82（2015）. 审核人：弗朗西娜·布兰切特·萨德里（格林斯博罗） MSC公司：68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Gągol}，Ann.大学玛丽亚·居里-Skł奥多夫斯卡教派。A 69，No.1，73--82（2015；Zbl 1329.68198） 全文： 内政部 链接
陈内平；葛、荀 概念格属性约简的覆盖方法。 （英语） Zbl 1335.68256号 J.计算。分析。申请。 19，第1号，100-110（2015）.MSC公司：68立方英尺 06年2月23日 PDF格式BibTeX公司 XML格式引用 \textit{N.Chen}和\textit{X.Ge}，J.Compute。分析。申请。19，编号1100-110（2015；兹bl 1335.68256）
阿梅尔·曼玛；马克·弗拉皮耶 动态特性的基于验证的验证方法：应用于信息系统领域。 （英语） Zbl 1331.68142号 正式Asp。计算。 27，第2期，335-374（2015）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mammar}和\textit{M.Frappier}，正式Asp。计算。27，第2号，335--374（2015；Zbl 1331.68142） 全文： 内政部
科尔内夫，V.V。；Khromov，A.P。 波动方程混合问题中傅里叶方法的求解方法。 （英语。俄文原件） Zbl 1320.35187号 计算。数学。数学。物理学。 55，第4号，618-627（2015）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。55，第4期，621-630（2015）。MSC公司：35L20英寸 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Kornev}和\textit{A.P.Khromov}，计算。数学。数学。物理学。55，第4号，618--627（2015；Zbl 1320.35187）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。55，第4号，621--630（2015） 全文： 内政部
Bobodzhanov，A.A。；萨芬诺夫，V.F。 具有快速变化核的Fredholm型非线性积分微分系统的正则化方法。 （英语。俄文原件） Zbl 1323.65124号 不同。埃克。 51，第2期，255-267（2015）; 来自Differ的翻译。乌拉文。51，第2期，251-262（2015）。 审核人：Alexandru Mihai Bica（Oradea） MSC公司：65兰特 45G15型 45J05型 45英镑 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Bobodzhanov}和\textit{V.F.Safonov}，不同。等于。51，No.2，255--267（2015；Zbl 1323.65124）；来自Differ的翻译。乌拉文。51，第2号，251--262（2015） 全文： 内政部
查蒂尔，P。；A.穆鲁阿。；桑兹·塞尔纳（J.M.Sanz-Serna）。 高阶平均、形式级数和数值积分。三： 错误边界。 （英语） Zbl 1322.34057号 已找到。计算。数学。 15，第2期，591-612（2015）.MSC公司：34C29号 65升06 34D20型 2005年7月70日 34A25型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Chartier｝等人，发现。计算。数学。15，第2号，591--612（2015；Zbl 1322.34057） 全文： 内政部 哈尔
斯兹蒙·布尔佐斯托夫斯基；托马斯·罗德克 任意特征字段上的Łojasiewicz指数。 （英语） Zbl 1329.13036号 修订材料完成。 28，第2期，487-504（2015）. 审核人：Ali Benhissi（莫纳斯特尔） MSC公司：13层25 14B05型 32S10号 PDF格式BibTeX公司 XML格式引用 \textit{S.Brzostowski}和\textit{T.Rodak}，修订版Mat.Complut。28，第2号，487--504（2015；Zbl 1329.13036） 全文： 内政部
Kim，Namhoon（南勋·金） Korteweg-de-Vries方程的形式初值问题。 （英语） Zbl 1311.35257号 《物理学杂志》。A、 数学。西奥。 48，第5号，文章ID 055207，15 p.（2015）.MSC公司：第35季度53 26C15号 32A05型 35E15型 51年第35季度 37公里40 37K10型 2015年11月37日 PDF格式BibTeX公司 XML格式引用 \textit{N.Kim}，J.Phys（J.物理）。A、 数学。西奥。48，第5号，文章ID 055207，15 p.（2015；Zbl 1311.35257） 全文： 内政部