×

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

最新的 引文 关联
亚历山大·勃兰特；罗伯特·H·C·莫尔。；马克·莫雷诺（Marc Moreno Maza）

在计算机代数库的设计中使用C++模板。 （英语） Zbl 1503.68306号

Bigatti、Anna Maria（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12097, 342-352 (2020).
MSC公司：68瓦30 68-04 68单位35 68伏35
PDF格式BibTeX公司 XML格式引用
\textit｛A.Brandt｝等人，Lect。票据计算。科学。12097342-352（2020年；兹比尔1503.68306）
全文： 内政部
伊万·拉内斯；伊恩·菲利普斯；伊雷克·乌利多夫斯基

可逆计算的公理方法。 （英语） Zbl 07250951号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12077, 442-461 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}等人，Lect。票据计算。科学。12077、442--461（2020；Zbl 07250951）
全文： 内政部
安托万·米内

具有动态优先级的嵌入式实时并发软件的静态分析。 （英语） Zbl 1412.68042号

Mastroeni，Isabella（编辑），第六届数字和符号抽象域国际研讨会论文集，NSAD 2016，英国爱丁堡，2016年9月11日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。331, 3-39 (2017).
MSC公司：68号30 第68季度55 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Miné}，电子。注释Theor。计算。科学。331、3--39（2017；Zbl 1412.68042）
全文： 内政部
朱利安·兰格；尼古拉斯·吴；伯纳多·托尼霍；吉田、Nobuko

围棋：基于频道的节目的生动性和安全性。 （英语） Zbl 1380.68298号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。748-761 (2017).
MSC公司：68问题85 68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Lange}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。748--761（2017；Zbl 1380.68298）
全文： 内政部 arXiv公司 链接
托马斯·斯特罗德；吉尔根·吉斯尔；马克·布罗克施米特；弗洛里安·弗洛恩；卡斯滕·福斯；杰拉·亨塞尔；彼得·施奈德·坎普；科尼利厄斯·阿舍曼

使用指针算法自动证明程序的终止和内存安全。 （英语） Zbl 1409.68077号

J.汽车。推理 58，第1号，33-65（2017）.
MSC公司：68号30 第68季度第42季度 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Ströder}等人，J.Autom。推理58，No.1，33--65（2017；Zbl 1409.68077）
全文： 内政部 链接
西里尔·阿尔托（编辑）；彼得·塞巴·奥维茨基（编辑）

安全关键系统的正式技术。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。 （英语） Zbl 1393.68009号

计算机与信息科学中的通信596.查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。x、 第271页。(2016).
MSC公司：68-06 68米15 68N99型 60年第68季度 68岁20岁 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Artho}（编辑）和\textit{P.C.Olveczky}（主编），安全关键系统的形式化技术。第四次国际研讨会，2015年FTSCS，法国巴黎，2015年11月6-7日。修订了选定的论文。查姆：斯普林格（2016；Zbl 1393.68009）
全文： 内政部
克里斯蒂娜·大卫；丹尼尔·克罗宁；马特·刘易斯

关于堆操作程序的安全性和终止的命题推理。 （英语） Zbl 1335.68051号

Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032661-684（2015）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.David}等人，Lect。票据计算。科学。9032661--684（2015年；Zbl 1335.68051）
全文： 内政部 arXiv公司
马克·苏查德（Marc A.Suchard）。；肖恩·辛普森（Shawn E.Simpson）。；伊凡·佐里奇；帕特里克·瑞安；大卫·马迪根

复杂广义线性模型串行推理算法的大规模并行化。 （英语） Zbl 1386.65065号

ACM事务处理。模型。计算。模拟。 23，第1号，第10条，第17页（2013年）.
MSC公司：65C60个 62J12型 62-04 2005年5月 92 C50
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Suchard}等人，《美国医学杂志》。模型。计算。模拟。23，第1号，第10条，第17页（2013；Zbl 1386.65065）
全文： 内政部 arXiv公司 链接
丹尼尔·黄；格雷格·莫里塞特

规范化SAFECode类型系统。 （英语） Zbl 1426.68048号

Gonthier，Georges（编辑）等人，《认证程序和证明》。第三届国际会议，2013年CPP，澳大利亚维多利亚州墨尔本，2013年12月11-13日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8307, 211-226 (2013).
MSC公司：68号30 68N20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Huang}和\textit{G.Morrisett}，Lect。票据计算。科学。8307211-226（2013；Zbl 1426.68048）
全文： 内政部
Minh-Thai Trinh；Le，Quang Loc公司；克里斯蒂娜·大卫；魏恩根·钦

具有纯属性的双向约简，用于规范推理。 （英语） Zbl 1426.68067号

Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8301, 107-123 (2013).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛M.-T.T.Trinh｝等人，Lect。票据计算。科学。8301107-123（2013；Zbl 1426.68067）
全文： 内政部
洛伦佐·贝蒂尼；萨拉·卡佩基；马里亚纽拉州Dezani-Ciancaglini；埃琳娜·贾奇诺；贝蒂·文内里

派生对象的会话和联合类型。 （英语） Zbl 1308.68035号

数学。结构。计算。科学。 23，第6期，1163-1219（2013）.
审核人：哈伊姆·基洛夫（米林顿）
MSC公司：68号30 68甲19 第68季度55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bettini}等人，《数学》。结构。计算。科学。23，第6号，1163--1219（2013；Zbl 1308.68035）
全文： 内政部
赵建州；桑托什Nagarakatte；Martin，Milo M.K。；史蒂夫·兹丹塞维奇

规范化验证程序转换的LLVM中间表示。 （英语） Zbl 1321.68207号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。427-440 (2012).
MSC公司：68号30 68甲15 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Zhao}等人，《第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。427-440（2012年；Zbl 1321.68207）
全文： 内政部 链接
帕特里克·库索特；拉迪亚·库索特

终止的抽象解释框架。 （英语） Zbl 1321.68190号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。245-258 (2012).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}和\textit{R.Cousot}，摘自：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。245--258（2012年；Zbl 1321.68190）
全文： 内政部
弗洛里安·桑达；布莱恩，马丁

在已验证软件的开发中使用答案集编程。 （英语） 兹比尔1281.68083

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议（ICLP 2012）的技术交流，2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，72-85，仅电子版（2012年）。
MSC公司：68号30 68吨15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Schanda}和\textit{M.Brain}，LIPIcs——莱布尼茨国际程序。通知。17、72——85（2012；Zbl 1281.68083）
全文： 内政部
皮埃尔·内龙

嵌入式程序中平方根和除法消除的形式证明。 （英语） Zbl 1383.68026号

Chris Hawblitzel（编辑）等人，《认证程序和证明》。2012年12月13日至15日在日本京都举行的第二届国际会议，CPP 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-35307-9/pbk）。计算机科学课堂讲稿7679，256-272（2012）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.Neron}，莱克特。票据计算。科学。7679256-272（2012；Zbl 1383.68026）
全文： 内政部 哈尔
哈维尔·埃斯帕尔扎；皮埃尔·甘蒂

多线程程序基于模式的验证的复杂性。 （英语） Zbl 1284.68182号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。499-510 (2011).
MSC公司：68号30 65年第68季度 68问题85 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{P.Ganty}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。499-510（2011年；Zbl 1284.68182）
全文： 内政部
艾哈迈德·博阿贾尼；马里乌斯·博兹加；彼得·哈贝梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳

带有列表的程序是计数器自动机。 （英语） Zbl 1217.68059号

形式方法系统。设计。 38，第2期，158-192（2011）.
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，《形式方法系统》。设计。38，第2号，158--192（2011；Zbl 1217.68059）
全文： 内政部 哈尔
伯多诺夫，I.B。；科萨切夫，A.S。

拒绝、分歧和破坏的交互语义。 （英语。俄文原件） Zbl 1251.68077号

程序。计算。柔和。 36，第5期，247-263（2010）; 译自Programmirovanie 36，No.5（2010）。
MSC公司：68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Bourdonov}和\textit{A.S.Kossatchev}，程序。计算。柔和。36，第5号，247--263（2010；Zbl 1251.68077）；译自Programmirovanie 36，No.5（2010）
全文： 内政部
苏米特·古尔瓦尼；塔尔省列夫·阿米；穆利·萨吉夫

用于跟踪分区大小的组合框架。 （英语） Zbl 1315.68094号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。239-251 (2009).
MSC公司：68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{S.Gulwani}等人，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。239--251（2009年；Zbl 1315.68094）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉

参数化验证中的单调抽象。 （英语） Zbl 1337.68164号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223，3-14（2008）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}，电子。注释Theor。计算。科学。223，3-4（2008；Zbl 1337.68164）
全文： 内政部
马吕斯·尼塔；丹·格罗斯曼；钱伯斯，克雷格

平台相关低级软件理论。 （英语） Zbl 1295.68090号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。209-220 (2008).
MSC公司：68号30 68甲15 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{M.Nita}等人，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。209--220（2008年；Zbl 1295.68090）
全文： 内政部
Daniel K·李。；卡尔·克里；罗伯特·哈珀

迈向标准ML的机械化元理论。 （英语） Zbl 1295.68088号

2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。173-184 (2007).
MSC公司：68号30 68甲15 68甲18 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.K.Lee}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。173-184（2007年；Zbl 1295.68088）
全文： 内政部
T.V.潘琴科。

IPCL中共享变量并行加法正确性的证明。 （乌克兰语。英文摘要） Zbl 1164.68359号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍夫琴卡 2007年，第4期，187-190（2007）.
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.V.Panchenko}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2007，第4期，187-190（2007；Zbl 1164.68359）
阿尔沙德·朱姆卡；内拉吉·苏里

设计高效的故障保护多容性系统。 （英语） Zbl 1169.68342号

Wang，Farn（编辑），网络和分布式系统的形式化技术–FORTE 2005。第25届IFIP WG 6.1国际会议，台湾台北，2005年10月2-5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29189-X/pbk）。计算机科学课堂讲稿3731428-442（2005）。
MSC公司：68米15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Jhumka}和\textit{N.Suri}，莱克特。票据计算。科学。3731428-442（2005年；Zbl 1169.68342）
全文： 内政部
阿兰·瓦辛格；马克·劳福德；胡夏勇

安全关键型软件中的时间公差。 （英语） Zbl 1120.68396号

Fitzgerald，John（编辑）等人，FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿3582157-172（2005）。
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Wassyng}等人，Lect。票据计算。科学。3582、157--172（2005年；Zbl 1120.68396）
全文： 内政部
帕特里克·库索特

通过参数抽象、拉格朗日松弛和半定规划证明了程序的不变性和终止性。 （英语） 兹比尔1111.68503

Cousot，Radhia（编辑），验证、模型检查和抽象解释。第六届国际会议，2005年VMCAI，法国巴黎，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学课堂讲稿3385，1-24（2005）。
MSC公司：60年第68季度 68号30 90C22型
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}，莱克特。票据计算。科学。3385，1--24（2005；Zbl 1111.68503）
全文： 内政部
安德烈亚斯·吕德克

使用集成的人机模型对形式控制系统进行认知分析，这对安全性很重要。（Kognitive Analyse formaler sicherheitskritischer Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Models） （德语） Zbl 1108.93058号

DISKI公司。论文en zur Künstlichen Intelligenz288.柏林：Akademische Verlagsgesellschaft Aka；奥尔登堡：奥尔登堡大学，信息学系（Diss.）（ISBN 3-89838-288-5/pbk）。xiv，320页。(2005).
审核人：鲁道夫·特雷希特（埃森）
MSC公司：93立方厘米83 68层35 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{A.Lüdke}，Kognitive Analyse formaler sicherheitskritscher Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Modells公司。柏林：Akademische Verlagsgesellschaft Aka；奥尔登堡：奥尔登堡大学信息学系（Diss.）（2005；Zbl 1108.93058）
马蒂亚斯·布鲁姆；大卫·麦卡利斯特

一个健全（完整）的合同模型。 （英语） Zbl 1323.68353号

2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN通知39，第9号，189-200（2004）。
MSC公司：第68季度55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Blume}和\textit{D.McAllester}，摘自：第九届ACM SIGPLAN函数编程国际会议论文集，ICFP'04，乌普萨拉，雪鸟，犹他州，美国，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。189-200（2004年；Zbl 1323.68353）
全文： 内政部
克莱尔·汤姆林。；伊恩·米切尔（Ian M.Mitchell）。；亚历山大·巴恩（Alexandre M.Bayen）。；Meeko K.M.Oishi。

混合系统验证和控制的计算技术。 （英语） 兹比尔1074.93014

Capasso，Vincenzo（编辑）等，复杂系统分析优化和控制的多学科方法。2003年3月17日至22日，意大利蒙特卡蒂尼，雅克·路易斯·狮子暑期学校讲座。柏林：施普林格出版社（ISBN 3-540-22310-X/hbk）。工业数学7。欧洲工业数学联合会，151-175（2004）。
审核人：米哈伊尔·沃伊库
MSC公司：93B40码 93个B03 90B25型 93B12号机组 93甲15 93元65角 93-04
PDF格式BibTeX公司 XML格式引用
\textit{C.J.Tomlin}等人，数学。Ind.7，151--175（2004；Zbl 1074.93014）
拉里·卡特；珍妮·费兰特；克拉克·汤博森

民间传说证实：可还原流图呈指数级放大。 （英语） Zbl 1321.68187号

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。106-114 (2003).
MSC公司：68号30 05C21号 68N20型 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛L.Carter｝等人，《第30届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集》，POPL’03，美国洛杉矶新奥尔良，2003年1月15日至17日。纽约州纽约市：计算机协会（ACM）。106-114（2003；Zbl 1321.68187）
全文： 内政部
奥尔德罗格，恩斯特·吕迪格；海克·卫尔海姆

CSP-OZ中的规范和继承。 （英语） Zbl 1254.68065号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2002年11月5日至8日，第一届国际研讨会，FMCO 2002，荷兰莱顿。修订的讲座。柏林：施普林格出版社（ISBN 3-540-20303-6/pbk）。莱克特。票据计算。科学。2852, 361-379 (2003).
MSC公司：68甲19 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}和\textit{H.Wehrheim}，莱克特。票据计算。科学。2852361--379（2003年；Zbl 1254.68065）
全文： 内政部
Krämer，Bernd J。（编辑）；诺伯特·沃尔克（编辑）

安全关键型实时系统。摘自Real-Time Systems 13，No.3（1997）。 （英语） Zbl 0882.68041号

多德雷赫特：Kluwer学术出版社。90 p.钻井液。185.00; £56.25; $ 85.00 (1997).
MSC公司：68N99型 00B15号机组 68-06
PDF格式BibTeX公司 XML格式引用
\textit{B.J.Krämer}（编辑）和\textit{N.Völker}（编者），安全关键实时系统。摘自Real-Time Systems 13，No.3（1997）。多德雷赫特：Kluwer学术出版社（1997；Zbl 0882.68041）
菲克斯，利莫；弗雷德·施耐德。

通过开发环境来推理程序。 （英语） Zbl 1418.68054号

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。第21届国际学术讨论会，ICALP’94，以色列耶路撒冷，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。820, 328-339 (1994).
MSC公司：68号30 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛L.Fix｝和\textit｛F.B.Schneider｝，Lect。票据计算。科学。820328-339（1994年；Zbl 1418.68054）
全文： 内政部 链接
费利克斯·雷德米尔（编辑）；汤姆·安德森（编辑）

安全关键系统的技术和评估。第二届安全关键系统研讨会论文集，英国伯明翰，1994年2月8日至10日。 （英语） Zbl 0809.68018号

柏林：Springer-Verlag。ix，258 p.108.00马克；öS 842.40；瑞士法郎108.00/瑞士法郎（1994年）。
MSC公司：68-01 68单位99 68层35 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{F.Redmill}（编辑）和textit{T.Anderson}（主编），安全关键系统的技术和评估。第二届安全关键系统研讨会论文集，英国伯明翰，1994年2月8日至10日。柏林：Springer-Verlag（1994；Zbl 0809.68018）
A.E.克拉斯科夫斯基。

统计安全理论和铁路应用。 （英语） Zbl 0861.62067号

Müller，W.G.（编辑）等人，面向模型的数据分析。1992年5月25日至30日在俄罗斯Petrodvorets举行的第三届国际研讨会（MODA 3）会议记录。海德堡：Physica-Verlag。对统计的贡献。157-165 (1993).
MSC公司：62N99型 62M10个 62号05
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Kraskovsky}，in：面向模型的数据分析。1992年5月25日至30日在俄罗斯Petrodvorets举行的第三届国际研讨会（MODA 3）会议记录。海德堡：Physica-Verlag。157--165（1993；Zbl 0861.62067）
俄克拉荷马州卡纳克（编辑）；德国洪德（编辑）；爱德华·格兰特（编辑）

智能系统：安全性、可靠性和可维护性问题。1992年8月25日至28日在土耳其伊兹密尔库萨达西举行的北约智能系统高级研究研讨会会议记录：安全性、可靠性和可维护性问题。 （英语） Zbl 0815.68107号

北约ASI系列。F.系列计算机与系统科学. 114. 柏林：Springer-Verlag。xi，第340页（1993年）。
MSC公司：68层35 68-06 00B25型 68T99型
PDF格式BibTeX公司 XML格式引用
\textit{O.Kaynak}（编辑）等人，《智能系统：安全性、可靠性和可维护性问题》。1992年8月25日至28日在土耳其伊兹密尔库萨达西举行的北约智能系统高级研究研讨会会议记录：安全性、可靠性和可维护性问题。柏林：Springer-Verlag（1993；Zbl 0815.68107）
扎勒夫斯基（Janusz Zalewski）（编辑）；沃尔夫冈·埃伦伯格（编辑）

用于实时过程控制的硬件和软件。IFIP WG5.4/IFAC/EWICS工作会议记录，波兰华沙，1988年5月30日至6月1日。 （英语） Zbl 0799.68015号

阿姆斯特丹等地：荷兰北部。十五、 第580页（1989年）。
MSC公司：68-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Zalewski}（编辑）和textit{W.Ehrenberger}（编），实时过程控制的硬件和软件。IFIP WG5.4/IFAC/EWICS工作会议记录，波兰华沙，1988年5月30日至6月1日。阿姆斯特丹等：北荷兰（1989；Zbl 0799.68015）
阿特雷克，E。（编辑）；加拉格尔，R.H。（编辑）；Ragsdell，K.M.（英国）。（编辑）；O.C.齐恩基维茨。（编辑）

优化结构设计的新方向。1981年10月19日至22日在图森市亚利桑那大学举行的第二届结构优化设计国际研讨会论文集。 （英语） Zbl 0649.73039号

工程数值方法的威利系列。威利跨科学出版物。奇切斯特等：John Wiley&Sons。xxi，727页（TUB/Bau:8Zt 111/2L）（1984年）。
MSC公司：74件 74S30型 74-06
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件