×

找到148个文档(结果1-100)

新巧克力游戏。尼姆游戏的变体。 (英语) Zbl 1411.91158号

计算数学、计算几何和统计年度国际会议论文集(CMCGS 2012),新加坡,2012年1月30日至31日。新加坡:全球科学技术论坛。123-129 (2012).
MSC公司:91A46型 91-04
PDF格式BibTeX公司 XML格式引用

通过随机扳手进行谱稀疏。 (英语) Zbl 1347.68364号

2012年1月8日至10日,美国马萨诸塞州剑桥市ITCS’12第三届理论计算机科学创新会议论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1115-1)。393-398(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对泛代数及其对偶的范畴论理解:单子和劳弗尔理论,共子和什么? (英语) Zbl 1343.18006号

Berger,Ulrich(ed.)等人,第28届编程语义数学基础会议论文集(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286,5-16(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

解超指数扩张中的线性常微分系统。 (英语) Zbl 1323.68581号

van der Hoeven,Joris(编辑)等人,《第37届符号和代数计算国际研讨会论文集》,ISSAC 2012,法国格勒诺布尔,2012年7月22日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1269-1)。51-58 (2012).
MSC公司:68瓦30 34A30型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算可积联系的闭式解。 (英语) 兹比尔1323.68580

van der Hoeven,Joris(编辑)等人,《第37届符号和代数计算国际研讨会论文集》,ISSAC 2012,法国格勒诺布尔,2012年7月22日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1269-1)。43-50 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于数据的算法代数。 (英语。俄文原件) 兹比尔1320.68076

赛博。系统。分析。 48,第2期,291-303(2012); 翻译自Kibern。修女。分析。2012年第2期,第151-166页(2012年)。
MSC公司:2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

二元性和正则语言的等式理论。 (英语) Zbl 1302.08010号

De Vuyst,Jonas(编辑)等人,《逻辑的未来方向》。2011年2月17日至18日,比利时布鲁塞尔,逻辑III博士论文集。伦敦:学院出版物(ISBN 978-1-84890-079-0)。IfColog Proceedings 2,107-118(2012)。
PDF格式BibTeX公司 XML格式引用

围绕用户集成系统:在谚语的调色板中组合Isabelle、Maple和QEPCAD。 (英语) 兹比尔1294.68125

Aspinall,David(编辑)等人,第九届定理证明器用户界面国际研讨会论文集(UITP10),英国爱丁堡,2010年7月15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记285,115-119(2012)。
MSC公司:68吨15 60年第68季度 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(N)阶二次矩阵代数中的模运算。 (英语) Zbl 1305.65251号

Burenkov,V.I.(编辑)等人,《分析进展》。2011年8月22日至27日,俄罗斯莫斯科,国际分析、应用与计算学会(ISAAC)第八届大会会议记录。第1卷。莫斯科:俄罗斯人民友谊大学(ISBN 978-5-209-04582-3/hbk)。162-168 (2012).
PDF格式BibTeX公司 XML格式引用

代数和算法课程。RSA和离散对数密码学的应用。(Cours d’algèbre et d’algorithmique.RSA和对数离散密码的应用。) (法语) 兹比尔1308.94002

图卢兹:Cépaduès-Editions(ISBN 978-2-36493-014-8/pbk)。第336页。(2012年)。
PDF格式BibTeX公司 XML格式引用

Weyl Gröbner基密码系统。 (英语) Zbl 1291.94044号

Fine,Benjamin(编辑)等人,计算和组合群论与密码学。2011年4月30日至5月1日,美国内华达州拉斯维加斯内华达大学,AMS特别会议:计算代数、群和应用。密码学和网络安全的数学方面,康奈尔大学,美国纽约州伊萨卡,2011年9月10日至11日。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-7563-6/pbk;978-0-82 18-9404-0/ebook)。《当代数学》5821-20(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

逻辑关联多处理器结构。 (英语) Zbl 1276.68033号

自动。远程控制 73,第10期,1648-1666(2012); Avtom翻译。Telemekh公司。2012年,第10期,71-92(2012)。
MSC公司:2007年7月68日 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

以重叠操作的形式指定多个继承。 (乌克兰语。英文摘要) Zbl 1289.68025号

PDF格式BibTeX公司 XML格式引用

2012年7月22日至25日,法国格勒诺布尔,第37届符号和代数计算国际研讨会论文集,ISSAC 2012。 (英语) 兹比尔1271.68065

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1269-1)。xi,第373页。(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有直接逻辑门的AES的非常短的关键路径实现。 (英语) Zbl 1293.68112号

Hanaoka,Goichiro(编辑)等人,《信息和计算机安全的进展》。2012年11月7日至9日,第七届国际安全研讨会,IWSEC 2012,日本福冈。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-34116-8/pbk)。计算机科学课堂讲稿7631,51-68(2012)。
MSC公司:68第25页 94A60型 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Algoritmy 2012年。第19届科学计算会议,2012年9月9日至14日,斯洛伐克波德班斯克VysokéTatry。投稿论文和海报的会议记录。 (英语) 兹比尔1260.00028

布拉迪斯拉发:斯洛伐克理工大学土木工程学院数学和画法几何系(ISBN 978-80-227-3742-5/pbk)。第447页。(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

Dantzig算法并行方案的设计与研究。 (乌克兰语。英文摘要) Zbl 1265.68353号

MSC公司:68宽10
PDF格式BibTeX公司 XML格式引用

订单、格以及与应用程序的关系。第二次修订和更正版。(Ordnungen,动词和关系mit Anwendungen) (德语) Zbl 1254.06001号

Leitfäden der Informatik公司。威斯巴登:Springer Vieweg(ISBN 978-3-658-00618-1/pbk;978-3-558-00619-8/电子书)。xiv,第392页。(2012年)。
MSC公司:06-01 68-01 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于具有可分解主符号的多维方程的拉普拉斯变换和迪尼变换。 (英语。俄文原件) Zbl 1254.35135号

程序。计算。柔和。 38,第3期,150-155(2012); 译自Programmirovanie 38,No.3(2012)。
MSC公司:35升10 68瓦30 44A10号
PDF格式BibTeX公司 XML格式引用

BIBasis,一个用于REDUCE和Macaulay2计算机代数系统的包,用于计算布尔对合基和Gröbner基。 (英语。俄文原件) Zbl 1251.68309号

程序。计算。柔和。 38,第2期,92-101(2012); 译自Programmirovanie 38,No.2(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

任意阶线性差分系统有理解的分母。 (英语。俄文原件) Zbl 1261.65134号

程序。计算。柔和。 38,第2期,84-91(2012); 译自Programmirovanie 38,No.2(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算法、图论和拉普拉斯线性方程组的解。 (英语) Zbl 1367.68337号

Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会,ICALP 2012。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-31584-8/pbk)。计算机科学课堂讲稿7392,24-26(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算中的建模时间。 (英语) Zbl 1260.68004号

理论计算机科学专著。EATCS系列柏林:施普林格出版社(ISBN 978-3-642-32331-7/hbk;978-3-442-32332-4/电子书)。十六、423页。(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可解置换群的近似最优扩展发电机组。 (英语) Zbl 1365.68347号

Rovan,Branislav(编辑)等人,《2012年计算机科学的数学基础》。2012年8月27日至31日,斯洛伐克布拉迪斯拉发,第37届国际研讨会,MFCS 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32588-5/pbk)。计算机科学课堂讲稿7464,112-123(2012)。
PDF格式BibTeX公司 XML格式引用

马尔科夫过程代数的精确流体集总性。 (英语) Zbl 1364.68297号

Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。计算机科学课堂讲稿7454,380-394(2012)。
PDF格式BibTeX公司 XML格式引用

Euler-Poisson方程正规形式的计算。 (英语) Zbl 1373.68460号

Gerdt,Vladimir P.(编辑)等人,科学计算中的计算机代数。2012年9月3日至6日在斯洛文尼亚马里博尔举行的2012年中国科学院第14届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32972-2/pbk)。计算机科学课堂讲稿7442,60-71(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

与全变分有关的二重积分表达式的分析计算。 (英语) Zbl 1250.65045号

Langer,Ulrich(编辑)等人,《数值和符号科学计算》。进展和前景。纽约州纽约市:施普林格出版社(ISBN 978-3-7091-0793-5/pbk;978-3-70 91-0794-2/电子书)。《符号计算的文本与专著》,193-218(2012)。
PDF格式BibTeX公司 XML格式引用

生成和分析偏微分方程有限差分格式的符号方法。 (英语) Zbl 1250.65109号

Langer,Ulrich(编辑)等人,《数值和符号科学计算》。进展和前景。纽约州纽约市:施普林格出版社(ISBN 978-3-7091-0793-5/pbk;978-3-70 91-0794-2/电子书)。《符号计算的文本与专著》,123-156(2012)。
PDF格式BibTeX公司 XML格式引用

计算机代数满足有限元:Maxwell方程的有效实现。 (英语) Zbl 1250.78042号

Langer,Ulrich(编辑)等人,《数值和符号科学计算》。进展和前景。纽约州纽约市:施普林格出版社(ISBN 978-3-7091-0793-5/pbk;978-3-70 91-0794-2/电子书)。符号计算中的文本和专著,105-121(2012)。
PDF格式BibTeX公司 XML格式引用

用于计算机游戏和动画的矩阵变换。 (英语) Zbl 1264.15001号

伦敦:施普林格出版社(ISBN 978-1-4471-4320-8/pbk;978-1-447 1-4321-5/电子书)。xi,166页。(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学的指令序列。 (英语) Zbl 1305.68008号

亚特兰蒂斯计算机研究2.巴黎:亚特兰蒂斯出版社(ISBN 978-94-91216-64-0/hbk;978-94-91216-65-7/ebook)。十六、229页。(2012年)。
MSC公司:68-02 68问题65 2005年第68季度 68问题85 2007年7月68日 68新元
PDF格式BibTeX公司 XML格式引用

有限代数中的一致性和可容许性。 (英语) Zbl 1358.03019号

Cooper,S.Barry(编辑)等人,《世界如何计算》。2012年6月18日至23日,图灵百年大会和欧洲第八届可计算性大会,2012年欧洲计算机科学大会,英国剑桥。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-30869-7/pbk)。计算机科学课堂讲稿7318,485-495(2012)。
MSC公司:03B25号 08A70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

现代数学计算导论。使用Mathematica。 (英语) Zbl 1252.65001号

施普林格大学数学与技术专业本科生课文纽约州纽约市:施普林格出版社(ISBN 978-1-4614-4252-3/hbk;978-1-461/4253-0/电子书)。十六、224页。(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

传记参考

全部的 前3名

软件