×
切换导航
关于
常见问题解答
审阅者服务
联系人
偏好
每页点击数
10
20
50
100(默认)
200
显示格式
MathJax(默认)
乳胶
文档排序
最新的第一个(默认)
引文
关联
作者排序
按字母顺序(默认)
引文
序列号排序
按字母顺序(默认)
引文
软件排序
引文(默认)
按字母顺序
好 啊
文件
作者
系列
软件
分类
福尔穆尔
结构化搜索
搜索
领域
任何:
任意位置(默认)
ab公司:
描述
澳大利亚:
作者
复写的副本:
分类
第1页:
程序设计语言
硅:
swMATH ID
软件:
软件名称
美国犹他州:
关键字
操作员
一个
&
b条
逻辑和(默认)
一个
|
b条
逻辑或
!
ab公司
逻辑不是
美国广播公司
*
右通配符
"
ab c公司
"
短语
(
ab c公司
)
圆括号
帮助
示例
sw:鼠尾草*
搜索特定的软件包。
ab:geometry和ut:ORMS
搜索描述中包含单词“geometry”且具有关键字ORMS(Oberwolfach Registry of Mathematical software)的软件包。
运算符“&”是默认值,可以省略。
抄送:13 | 14
搜索MSC第13和14节中的文章引用的软件包。
GAP au:Eick公司
在“任意”索引中搜索术语(也包括依赖项),并按软件作者搜索。
pl:Java和ab:R
搜索描述中包含“R”的Java编程软件包
单行搜索
软件名称:
软件作者:
描述:
语言:
swMATH ID:
主要字段:
关键词:
任何地方:
全部清除
搜索
第页
1
属于
1
弗斯特
上一个
♦
下一步
最后
找到3个软件包
(结果1-3)
引文
按字母顺序
深度API
在0个文档中引用
软件作者:
顾晓东、张红玉、张冬梅、金孙坤
相关软件:
MAPO;
米卡牌手表
主要字段:
–
SQL4X系列
1份文件引用
(2002)
软件作者:
萨拉·科恩(Sara Cohen);
Kanza、Yaron;
叶霍舒亚·萨吉夫
相关软件:
–
主要字段:
计算机科学(68-XX)
SQL证书
1份文件引用
(2018)
软件作者:
Benzaken,V.,Contejean,E。
相关软件:
序列;
HoTTSQL;
Why3…
主要字段:
计算机科学(68-XX)
筛选结果依据…
全部的
前5名
相关软件
Coq公司
(1)
伊莎贝尔
(1)
SQL4X系列
(1)
Why3号机组
(1)
Coq/SS反射
(1)
深度API
(1)
米卡牌手表
(1)
MAPO公司
(1)
菲亚特
(1)
CertiKOS公司
(1)
CertiCoq认证
(1)
HoTTSQL
(1)
Q*证书
(1)
SQL证书
(1)
续集
(1)
主字段
68倍
(2)
© 2024
FIZ卡尔斯鲁厄股份有限公司
隐私政策
法律声明
条款和条件
(在新选项卡中打开)