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)…
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)