×

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

最新的 引文 关联
莉莉亚娜·格雷斯

非线性壳理论中出现的一个新的半线性椭圆系统的存在性理论。 （英语） Zbl 1175.74050号

Chen，Chiun-Chuan（编辑）等，椭圆和抛物问题的最新进展。国际会议记录，台湾新竹，2004年2月16日至20日。新泽西州哈肯萨克：世界科学（ISBN 981-256-189-7/hbk）。97-106 (2005).
审核人：Rudolf Kodnár（布拉迪斯拉发）
MSC公司：74K25型 35J56型 35J60型 74B20型 74G10型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Gratie｝，在：椭圆和抛物问题的最新进展。国际会议记录，台湾新竹，2004年2月16日至20日。新泽西州哈肯萨克：《世界科学》。97-106（2005年；兹比尔1175.74050）
丹、李；艾切尔尼格，伯恩哈德·K。

结合代数和基于模型的测试用例生成。 （英语） Zbl 1108.68423号

Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2004》。第一届国际学术讨论会，中国贵阳，2004年9月20日至24日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-25304-1/pbk）。计算机科学课堂讲稿3407250-264（2005）。
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{L.Dan}和\textit{B.K.Aichernig}，莱克特。注释计算。科学。3407250--264（2005；Zbl 1108.68423）
全文： 内政部
Michael Leuschel先生；埃德·特纳

在ProB中可视化更大的状态空间。 （英语） Zbl 1118.68549号

Treharne，Helen（ed.）等人，ZB 2005：Z和B的正式规范和开发。第四届B和Z用户国际会议，英国吉尔福德，2005年4月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25559-1/pbk）。《计算机科学讲义》3455，6-23（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Leuschel}和\textit{E.Turner}，莱克特。注释计算。科学。3455，6--23（2005；Zbl 1118.68549）
全文： 内政部
奇尔斯基，V.G。

整体关系方法的推广。 （英语、俄语） Zbl 1075.11053号

数学杂志。科学。，纽约 137，第2期，4744-4754（2006）; Zap的翻译。诺什。塞明。POMI 32220-238（2005）。
审核人：Veikko Ennola（土尔库）
MSC公司：11J85型 12H25型 11J91型 11J61型
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Chirskiĭ}，J.数学。科学。，纽约137，No.2，220--238（2005；Zbl 1075.11053）；Zap的翻译。诺什。塞明。POMI 32220--238（2005）
全文： 内政部 欧洲DML

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

软件