×

找到11个软件包(结果1-11)

HMQV公司

105篇文献引用(2001–2023)
软件作者: 雨果·克劳茨克
相关软件: 纳克索斯;金利;XooTools…
主要字段: 组合数学(05-XX);动力学系统和遍历理论(37-XX);计算机科学(68-XX)…

ProVerify公司

49份文件中引用(2005–2023)
软件作者: inria.fr;布鲁诺·布兰切特
相关软件: AVISPA;塔马林;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

自旋

26篇文献引用(2002–2022)
软件作者: ADRIAN PERRIG、ROBERT SZEWCYK、J.D.TYGAR、VICTOR WEN和DAVID E.CULLER
相关软件: TinyECC;标签;AVISPA…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

夸克

26篇文献引用(2010–2023)
软件作者: J.-P.Aumasson、L.Henzen、W.Meier、M.Naya-Plasencia
相关软件: 出席;卡坦;谷物…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

图拉法勒

12份文件引用(2004–2012)
软件作者: 卡尔蒂基扬·巴尔干;Fornet,塞德里克;安德鲁·戈登(Andrew D.Gordon)。;里卡多·普切拉
相关软件: Spi2Java;ProVerify;AVISPA…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

生物信息技术

6篇文献引用(2003–2010)
软件作者: 索尼娅·加里亚·萨利塞蒂(Sonia Garcia-Salicetti);查尔斯·贝米埃(Charles Beumier);胆汁,杰拉德;伯纳黛特·多里齐(Bernadette Dorizzi);Leroux les Jardins,Jean;伦特,一月;倪、杨;彼得罗夫斯卡·德拉克雷塔兹(Petrovska-Delacreétaz),迪亚纳
相关软件: XM2VTSDB;法医学上;PRMLT…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

规格

引用于9份文件(2016–2023)
软件作者: A.Tiu
相关软件: 阿克斯;MWB;Abella…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

HB-MP公司

引用于7份文件(2007–2016)
软件作者: Munilla,J。;佩纳多,A。
相关软件: ——
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

S-RIP型

3份文件引用(2004–2009)
软件作者: 万涛;克拉纳基斯、埃文格洛斯;保罗·C·范·奥尔肖。
相关软件: ——
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

消费品安全局

2份文件引用(2017–2018)
软件作者: Guttman,J.D.、Ramsdell,J.D。
相关软件: 莫德-NPA;阿克斯;罗望子…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

SeVe公司

2份文件引用(2012–2015)
软件作者: Luu,Anh Tuan;孙军;刘,杨;董金松
相关软件: 棱镜;拍打;Casper…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

筛选结果依据…