×

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

Glushkov算法代数和自动并行计算设计。 (英语。乌克兰原文) Zbl 07765729号

赛博。系统。分析。 59,第5期,687-697(2023)翻译自Kibern。修女。分析。59,第5期,第3-15页(2023年)。
MSC公司:68周01 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在开发视频游戏中使用Python。 (英语) Zbl 07726675号

MSC公司:68新元 68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向对象语言的信息流控制结构。 (英语) Zbl 1525.68031号

Schlingloff,Bernd-Holger(编辑)等人,《软件工程和形式化方法》。第20届国际会议,SEFM 2022,德国柏林,2022年9月26-30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13550, 209-226 (2022).
MSC公司:68号30 68甲15
PDF格式BibTeX公司 XML格式引用

HexGen和Hex2Spline:基于多子体的六面体网格生成和样条建模,用于LS-DYNA中的等几何分析应用。 (英语) Zbl 1497.65004号

Manni,Carla(编辑)等人,等几何分析中的几何挑战。根据2020年1月27日至31日在意大利罗马举行的研讨会上的演示文稿,选择了一些论文。查姆:施普林格。Springer INdAM系列。第49333-363页(2022)。
PDF格式BibTeX公司 XML格式引用

柔性图连接的近似算法。 (英语) Zbl 07799587号

Bojañczyk,Mikołaj(编辑)等人,第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213,第9条,第14页(2021年)。
MSC公司:68号30 68季度xx
PDF格式BibTeX公司 XML格式引用

Ensnano:DNA纳米结构的3D建模软件。 (英语) Zbl 07741396号

Lakin,Matthew R.(编辑)等人,第27届DNA计算和分子编程国际会议。DNA 27,英国牛津(虚拟会议),2021年9月13日至16日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。205,第5条,第23页(2021年)。
MSC公司:2007年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

适用于程序解释的跟踪。 (英语) Zbl 1520.68018号

哦,Hakjoo(编辑),编程语言和系统。第19届亚洲研讨会,APLAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13008, 202-221 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于技能的网络物理系统验证。 (英语) Zbl 1507.68093号

Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12076, 203-223 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络安全软件多样性的博弈论框架。 (英语) Zbl 1483.68042号

朱全燕(主编)等,《安全决策与博弈论》。第11届国际会议,2020年10月28日至30日,GameSec 2020,美国马里兰州大学公园。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12513, 297-311 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并行软件设计自动化的形式化方法。 (英语) Zbl 1463.68016号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于多语言结构。 (英语) Zbl 1524.68078号

Caires,Luís(编辑),《编程语言和系统》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,第28届欧洲编程研讨会(ESOP 2019)在捷克共和国布拉格举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11423, 293-321 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多玩家多方位合作搜索游戏。 (英语) Zbl 07561639号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第146条,第14页(2019年)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

析因设计中独立观察的秩和伪秩程序。使用R和SAS。 (英语) Zbl 1455.62001号

统计学中的斯普林格系列查姆:施普林格(ISBN 978-3-030-02912-8/hbk;978-3-0.30-02914-2/电子书)。第xx页,第521页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用MATLAB/Simulink设计嵌入式鲁棒控制系统。 (英语) Zbl 1423.93004号

控制、机器人和传感器系列113.史蒂文纳奇:工程技术学院(IET)(ISBN 978-1-78561-330-2/hbk;978-1-785 61-331-9/电子书)。十五、516页。(2018).
MSC公司:93-01 93-04 93A30型 93亿B51
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于解决和评估复杂场问题的分离数值公式的概念。 (英语) 兹伯利1416.65486

Cheng,Alexander H.-D.(编辑)等,《边界元和其他网格缩减方法XXXX》。根据2017年9月12日至14日在英国新森林举行的第40届国际会议(BEM/MRM)上的演示文稿选出的论文。南安普顿:WIT出版社。47-57 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

设计和加权调查样本的实用工具。第二版。 (英语) Zbl 1411.62016年

社会和行为科学统计。查姆:施普林格(ISBN 978-3-319-93631-4/hbk;978-3-3169-93632-1/电子书)。xxvi,776页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用变形分裂的领域特定语言的模块化设计。 (英语) Zbl 1518.68043号

Fischer,Bernd(ed.)等人,《计算的理论方面——2018年ICTAC》。2018年10月16日至19日,第十五届国际学术讨论会,南非斯特伦博什。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11187, 62-79 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

算法分析导论。第三次更新和修订版。 (英语) Zbl 1393.68004号

新泽西州哈肯萨克:世界科学(ISBN 978-981-3235-90-8/hbk;978-981-3 235-92-2/电子书)。xv,312页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络程序的同步合成。 (英语) Zbl 1494.68060号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10427, 301-321 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

尼莫/赫克。Julia编程语言的计算机代数和数论包。 (英语) 兹比尔1457.68325

Michael Burr(编辑),《第42届符号和代数计算国际研讨会论文集》,ISSAC 2017,德国凯泽斯劳滕,2017年7月25-28日。纽约州纽约市:计算机协会(ACM)。157-164 (2017).
MSC公司:68瓦30 11-04
PDF格式BibTeX公司 XML格式引用

WNetKAT:一种加权SDN编程和验证语言。 (英语) Zbl 1432.68052号

Fatourou,Panagiota(编辑)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70,第18条,第18页。(2017).
PDF格式BibTeX公司 XML格式引用

Genesis:在多租户网络中合成转发表。 (英语) Zbl 1380.68134号

Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。562-585 (2017).
MSC公司:68号30 68M10个
PDF格式BibTeX公司 XML格式引用
全文: 内政部

康托与斯科特相遇:概率网络的语义基础。 (英语) Zbl 1380.68132号

Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。557-571(2017年)。
MSC公司:68号30 68M10个
PDF格式BibTeX公司 XML格式引用

使用Ampersand进行关系代数软件开发。 (英语) Zbl 1486.68042号

Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10226, 177-192 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于无向组播游戏稳定性的代价。 (英语) Zbl 1404.91052号

蔡洋(编辑)等,《网络与互联网经济学》。2016年12月11日至14日,加拿大蒙特利尔,第十二届国际葡萄酒大会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-54109-8/pbk;978-3-562-54110-4/电子书)。计算机科学课堂讲稿10123354-368(2016)。
MSC公司:91A43型 91-04
PDF格式BibTeX公司 XML格式引用

检修C11和OpenCL中的SC原子。 (英语) Zbl 1347.68034号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。634-648 (2016).
MSC公司:68甲15 68号30 68吨15
PDF格式BibTeX公司 XML格式引用

为贝叶斯游戏设计成本分担方法。 (英语) 兹比尔1403.91022

Gairing,Martin(编辑)等人,《算法博弈论》。2016年9月19-21日,第九届SAGT国际研讨会,英国利物浦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53353-6/pbk;978-3-562-53354-3/电子书)。计算机科学讲义9928,327-339(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

工程与科学统计。第6版。 (英语) 兹比尔1357.62003

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-2885-0/hbk;978-1-4997-2887-4/电子书)。十五、1166页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 链接

建筑的分形维数。 (英语) Zbl 1365.00022号

数学与建筑环境1.巴塞尔:Birkhäuser/Springer(ISBN 978-3-319-32424-1/hbk;978-3-316-32426-5/电子书)。十七、423页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分散SDN政策。 (英语) Zbl 1346.68027号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。663-676 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向方面开发基于可信组件的系统。 (英语) 兹比尔1471.68058

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9399, 425-444 (2015).
MSC公司:68号30 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

检查Promela设计是否符合Event-B中的正式规范。 (英语) Zbl 1328.68131号

Artho,Cyrille(编辑)等人,《安全关键系统的正式技术》。第三次国际研讨会,FTSCS 2014,卢森堡,2014年11月6-7日。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-17580-5/pbk;978-3-316-17581-2/电子书)。计算机与信息科学通信476,110-126(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于算法代数的并行编程自动化软件工具。 (英语。俄文原件) Zbl 1327.68077号

赛博。系统。分析。 51,编号142-149(2015)翻译自Kibern。修女。分析。2015年第1期,第162-170页(2015年)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构化文档代数正在发挥作用。 (英语) Zbl 1454.68023号

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:施普林格。莱克特。注释计算。科学。8950, 291-311 (2015).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

并发NetCore:从策略到管道。 (英语) Zbl 1346.68064号

2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录,ICFP’14。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2873-9)。11-24 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

雅克·加里格(编辑),《编程语言和系统》。第十二届亚洲研讨会,2014年APLAS,新加坡,新加坡,2014年11月17日至19日,会议记录。柏林:斯普林格。莱克特。注释计算。科学。8858, 1-18 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于认知地图的态势分析和决策支持软件系统:方法和方法。 (英语。俄文原件) Zbl 1325.93020号

自动。远程控制 75,第7期,1337-1355(2014)Probl的翻译。向上。2011年,第4期,31-45(2011)。
MSC公司:93A30型 93B30型 93亿B51
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件