×

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

最新的 引文 关联
德克斯特·科赞

NetKAT–网络验证的正式系统。 （英语） Zbl 1453.68051号

雅克·加里格（编辑），《编程语言和系统》。第十二届亚洲研讨会，2014年APLAS，新加坡，新加坡，2014年11月17日至19日，会议记录。柏林：斯普林格。莱克特。注释计算。科学。8858, 1-18 (2014).
MSC公司：68号30 68M10个 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。8858，1-18（2014；Zbl 1453.68051）
全文： 内政部
苏西·马达赫。;穆雷·A·巴卡图。;哈桑·阿巴斯

关于奇异摄动线性微分系统的约化。 （英语） Zbl 1325.68294号

Nabeshima，Katsusuke（编辑），第39届符号和代数计算国际研讨会论文集，ISSAC 2014，日本神户，2014年7月23日至25日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2501-1）。320-327 (2014).
MSC公司：68瓦30 34A30型 34E20型
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Maddah}et al.，in：第39届符号和代数计算国际研讨会论文集，ISSAC 2014，日本神户，2014年7月23日至25日。纽约州纽约市：计算机协会（ACM）。320-327（2014；Zbl 1325.68294）
全文： 内政部 arXiv公司
权力，约翰（编辑）;蔡永菲尔德（编辑）

代数、余代数和拓扑学研讨会论文集（WACT 2013），英国巴斯，2013年3月1日。 （英语） Zbl 1310.68019号

理论计算机科学电子笔记303.阿姆斯特丹：爱思唯尔。206页。，仅电子版（2014年）。
MSC公司：68-06 08-06 18-06 08A70号 18立方厘米 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Power}（编辑）和\textit{C.Wingfield}（编），代数、余代数和拓扑学研讨会论文集（WACT 2013），英国巴斯，2013年3月1日。阿姆斯特丹：爱思唯尔（2014；Zbl 1310.68019）
全文： 链接
别洛佐罗夫，S.A。;泰林，S.V。;Yu Agranovich。是的。

卡阻故障检测测试初步评估辅助算法的合成。 （英语。俄文原件） Zbl 1323.68041号

自动。远程控制 75，第10期，1875-1879（2014）; 姐姐的翻译。向上。Inf.Tekh.公司。2014年第2期，第62-66页（2014年）。
MSC公司：68米15 94立方厘米 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Belozorov}等人，《汽车》。遥控器75，编号10，1875--1879（2014；Zbl 1323.68041）；姐姐的翻译。向上。Inf.Tekh.公司。2014年第2期，第62--66号（2014）
全文： 内政部
默里·R·布雷纳。

自由结合代数、非交换Gröbner基和非结合结构的通用结合包络。 （英语） Zbl 1322.16017号

评论。数学。卡罗尔大学。 55，第3期，341-379（2014）.
审核人：米雷拉·特夫内斯库（布库雷什蒂）
MSC公司：2016年10月 2016年05月 17A42型 17B35型 17二氧化碳 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Bremner}，评论。数学。卡罗尔大学。55，第3号，341--379（2014；Zbl 1322.16017）
全文： arXiv公司 链接
卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;文森特·阿拉万蒂诺斯;塞迪基，昂山素季;奥斯曼·哈桑;塔哈尔，索菲亚

光学系统的形式化分析。 （英语） Zbl 1302.68245号

数学。计算。科学。 8，第1号，39-70（2014）.
MSC公司：68吨15 68瓦30 78A05型 78A25型 81V80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Khan-Afshar}等人，数学。计算。科学。8、第1号、第39-70号（2014；Zbl 1302.68245）
全文： 内政部 arXiv公司
马西耶·贾诺维茨;阿卡迪乌斯·奥夫斯基

通过计算机代数系统在耦合逻辑映射格中的相干和大规模模式形成。 （英语） Zbl 1420.37110号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2014年9月8日至12日，第16届国际研讨会，CASC 2014，波兰华沙。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8660, 230-241 (2014).
MSC公司：37升60 68瓦30 82磅10英寸
PDF格式BibTeX公司 XML格式引用
\textit{M.Janowicz}和\textit{A.或łowski}，莱克特。注释计算。科学。8660230-241（2014年；Zbl 1420.37110）
全文： 内政部
顺纪欧池;吉福美美田;清崎北原;直纪滨口

利用KETpic为数学教育创建交互式图形。 （英语） Zbl 1434.97017号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际大会，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592607-613（2014年）。
MSC公司：97个u70 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{S.Ouchi}等人，Lect。注释计算。科学。8592、607--613（2014年；Zbl 1434.97017）
全文： 内政部
弗朗西斯科·博塔纳;雷西奥，托马斯

使用Maple的RegularChains库自动分类平面几何轨迹。 （英语） 兹伯利1437.13043

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际大会，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592, 500-503 (2014).
MSC公司：13页第10页 13第25页 2016年第14季度 65D18天
PDF格式BibTeX公司 XML格式引用
\textit{F.Botana}和\textit{T.Recio}，Lect。注释计算。科学。8592500--503（2014年；Zbl 1437.13043）
全文： 内政部 链接
鲍姆加滕，伯尔尼

离散数学简编。（马塞马提克公园） （德语） Zbl 1302.00001号

德格鲁伊特工作室柏林：De Gruyter/Oldenbourg（ISBN 978-3-486-75697-5/pbk；978-3-486-78132-8/电子书）。ix，第378页。(2014).
审核人：梅林·卡尔（康斯坦茨）
MSC公司：00-01 68卢比 03-01 05元50分 05Cxx号 00A06级 05-01 2015年1月15日 03B70号 60年XX月
PDF格式BibTeX公司 XML格式引用
\textit{B.Baumgarten}，Kompendium der diskreten Mathematik。柏林：De Gruyter/Oldenbourg（2014；Zbl 1302.00001）
全文： 内政部
Dan A.Simovici。;查班·杰拉巴

用于数据挖掘的数学工具。集合论，偏序，组合学。第2版。 （英语） Zbl 1303.68006号

高级信息和知识处理伦敦：施普林格出版社（ISBN 978-1-4471-6406-7/hbk；978-1-4471-6407-4/ebook）。xi，第831页。(2014).
审核人：乌多·哈恩（耶拿）
MSC公司：68-01 00A06级 03E20型 05-01 06-01 2015年1月15日 28-01 54-01 68个P01 68第05页 第68页，共15页 68第20页 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Simovici}和\textit{C.Djeraba}，数据挖掘的数学工具。集合论，偏序，组合学。第二版伦敦：施普林格出版社（2014；Zbl 1303.68006）
全文： 内政部
同上，William L。;亚伯拉罕·米利奥提斯;K.穆拉利。;苏德什纳州辛哈

来自动力学的逻辑。 （英语） Zbl 1302.68193号

Leung，Henry（编辑），混沌信号处理。宾夕法尼亚州费城：工业和应用数学学会（SIAM）（ISBN 978-1-61197-325-9/pbk）。应用数学的其他标题136，85-109（2014）。
MSC公司：68问题80 37B15号机组 2007年7月68日 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{W.L.Ditto}等人，其他标题适用。数学。136、85-109（2014；Zbl 1302.68193）
汤姆·莱切;Jean-Louis梅里恩

利用MATLAB进行计算数学练习。 （英语） Zbl 1304.65001号

数学问题书柏林：施普林格出版社（ISBN 978-3-662-43510-6/hbk；978-3-562-43511-3/电子书）。xii，第372页。(2014).
审核人：罗尔夫·迪特尔·格里戈里夫（柏林）
MSC公司：65-01 00A07年 65日元 65传真 第65天05 65D17号 65天32分 65升05 65升12 6500万06 65号06
PDF格式BibTeX公司 XML格式引用
\textit｛T.Lyche｝和\textit｛J.-L.Merrien｝，MATLAB计算数学练习。柏林：施普林格出版社（2014；Zbl 1304.65001）
全文： 内政部
拉斐尔·德阿米奇斯（编辑）;朱塞佩·孔蒂（编辑）

形状、几何和代数的未来愿景和趋势。《Shapes Geometry Algebra项目最终研讨会论文集》，SAGA，意大利特伦托，2012年。 （英语） Zbl 1293.00025号

Springer数学与统计论文集84.伦敦：施普林格出版社（ISBN 978-1-4471-6460-9/hbk；978-1-447 1-6461-6/电子书）。viii，162页。(2014).
MSC公司：00B25型 68-06 2006年14月 2010年第14季度 13-06 13页第10页 第13页，共15页 68单位10 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{R.De Amicis}（编辑）和textit{G.Conti}（主编），形状、几何和代数的未来愿景和趋势。《Shapes Geometry Algebra项目最终研讨会论文集》，SAGA，意大利特伦托，2012年。伦敦：施普林格出版社（2014；Zbl 1293.00025）
全文： 内政部
埃德加·G·古代尔。

线性代数。纯净实用。 （英语） Zbl 1282.15001号

新泽西州哈肯萨克：世界科学（ISBN 978-981-4508-36-0/hbk；978-981-14508-37-7/pbk）。十六、716页。(2014).
审核人：约翰·迪克森（渥太华）
MSC公司：2015年1月15日 51N10号 15A03号 2006年10月15日 15甲15 15甲16 15A04号 15A21号机组 15A63型 第65页 65平方英尺 15B57号 94B05型 94C05（二氧化碳） 65季度30 65D18天 60J10型
PDF格式BibTeX公司 XML格式引用
\textit{E.G.Goodaire}，线性代数。纯净实用。新泽西州哈肯萨克：《世界科学》（2014；Zbl 1282.15001）
全文： 内政部
杰拉尔德·法林;戴安·汉斯福德

实用线性代数。几何工具箱。第3版。 （英语） 兹比尔1278.15002

佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4665-7956-9/hbk；978-1-46.65-7959-0/电子书）。十六、498页。(2014).
审核人：约翰·迪克森（渥太华）
MSC公司：2015年1月15日 15甲15 15甲18 15甲12 65D18天 65D17号 68页第10页 第65页 2015财年65 65平方英尺
PDF格式BibTeX公司 XML格式引用
\textit{G.Farin}和\textit{D.Hansford}，实用线性代数。几何工具箱。第三版，佛罗里达州博卡拉顿：CRC出版社（2014；Zbl 1278.15002）
郭宏宇

现代数学及其在计算机图形和视觉中的应用。 （英语） Zbl 1298.68008号

新泽西州哈肯萨克：世界科学（ISBN 978-981-4449-32-8/hbk；978-981-14449-33-5/pbk）。xxiii，498页。(2014).
审核人：阿格涅斯卡·利索夫斯卡（索斯诺伊克）
MSC公司：68-01 68T45型 68单位05 68单位10 68T05型 2015年1月15日 51-01 54-01
PDF格式BibTeX公司 XML格式引用
\textit{H.Guo}，现代数学及其在计算机图形和视觉中的应用。新泽西州哈肯萨克：世界科学（2014；Zbl 1298.68008）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件