×

兹马思-数学第一资源

系统设计中的形式化方法

国际期刊

简称: 形式。方法系统。Des公司。
出版商: 斯普林格美国,纽约,纽约
ISSN编号: 0925-9856;东经1572-8102/e
在线: http://link.springer.com/journal/volumesAndIssues/10703
评论: 索引封面到封面
编制索引的文档: 494种出版物(自1992年起)
索引的引用: 385种出版物参考文献14055篇
全部的 前5名

最新版本

56,编号1-3(2020年)
55,3号(2020年)
55,2号(2019年)
55,1号(2019年)
54,3号(2019年)
54,2号(2019年)
54,1号(2019年)
53,3号(2018年)
53,2号(2018年)
53,1号(2018年)
52,3号(2018年)
52,2号(2018年)
52,1号(2018年)
51,3号(2017年)
51,2号(2017年)
51,1号(2017年)
50,编号2-3(2017年)
50,1号(2017年)
49,3号(2016年)
49,编号1-2(2016年)
48,3号(2016年)
48,编号1-2(2016年)
47,3号(2015年)
47,2号(2015年)
47,1号(2015年)
46,3号(2015年)
46,2号(2015年)
46,1号(2015年)
45,3号(2014年)
452号(2014年)
45,1号(2014年)
44,3号(2014年)
44,2号(2014年)
44,1号(2014年)
43,3号(2013年)
43,2号(2013年)
43,1号(2013年)
42,3号(2013年)
42,2号(2013年)
42,1号(2013年)
41,3号(2012年)
41,2号(2012年)
41,1号(2012年)
40,3号(2012年)
40,2号(2012年)
40,1号(2012年)
39,3号(2011年)
39,2号(2011年)
39,1号(2011年)
38,3号(2011年)
38,2号(2011年)
38,1号(2011年)
37,编号2-3(2010年)
37,1号(2010年)
36,3号(2010年)
36,2号(2010年)
36,1号(2010年)
35,3号(2009年)
35,2号(2009年)
35,1号(2009年)
34,3号(2009年)
34,2号(2009年)
34,1号(2009年)
33,编号1-3(2008年)
32,3号(2008年)
322号(2008年)
32,1号(2008年)
31,3号(2007年)
31,2号(2007年)
31,1号(2007年)
30,3号(2007年)
30,2号(2007年)
30,1号(2007年)
29,3号(2006年)
29,2号(2006年)
29,1号(2006年)
28,3号(2006年)
28,2号(2006年)
28,1号(2006年)
27,3号(2005年)
27,编号1-2(2005年)
26,3号(2005年)
26,2号(2005年)
26,1号(2005年)
25,编号2-3(2004年)
25,1号(2004年)
24,3号(2004年)
24,2号(2004年)
24,1号(2004年)
23,3号(2003年)
23,2号(2003年)
23,1号(2003年)
22,3号(2003年)
22,2号(2003年)
22,1号(2003年)
21,3号(2002年)
21,2号(2002年)
21,1号(2002年)
20,3号(2002年)
20,2号(2002年)
…还有21卷
全部的 前5名

作者

11 克拉克,埃德蒙·梅尔森俊。
10 克朗ö宁,丹尼尔
10 斯特里奇曼,奥弗
10 瓦迪,莫斯伊。
8 法尔肯,伊莉ès
8 格鲁伯格,奥娜
7 艾哈迈德·布瓦贾尼
7 佩利德,多伦A。
6 亨辛格,托马斯A。
6 奥娜库普费尔曼
6 拉森,金·古德斯兰德
6 拉斯金,让·弗兰çois公司
6 莎莉吉娜,娜塔莎
6 托内塔,斯特凡诺
5 阿鲁尔,拉吉耶夫
5 巴雷特,克拉克W。
5 比尔,阿明
5 查基,萨加尔
5 弗里堡,劳伦特
5 Gopalakrishnan,Ganesh Lalitha
5 哈维伦德,克劳斯
5 海曼,塔米尔
5 马朱姆达尔,鲁帕克
5 Rü嗯,菲利普
5 维斯瓦纳坦,马赫什
5 沃伊纳,汤姆áš
5 约拉夫,凯伦
4 阿卜杜拉,帕罗什·阿齐兹
4 本大卫,肖汉
4 你好,罗德里克
4 查特吉,克莉什南杜
4 乔克勒,哈娜
4 亚历山德罗·西马蒂
4 迪尔,大卫L。
4 艾斯纳,辛迪
4 埃斯帕扎,哈维尔
4 格罗苏,拉杜
4 阿丽·古芬克尔
4 哈伯梅尔,彼得
4 卡托恩,乔斯特·皮尔特
4 Kwiatkowska,Marta Z。
4 帕克,大卫F。
4 雷诺兹,安德鲁
4 反渗透şu、 格里戈
4 Sangiovanni Vincentelli,阿尔贝托L。
4 斯里拉姆Sankaranarayanan
4 斯托勒,斯科特D。
4 特里帕基斯,斯塔夫罗斯
亚伯拉罕,雅各布A。
安徒生,亨里克·赖夫
阿齐兹,阿德南
拜尔,克里斯特尔
巴托奇,埃齐奥
盆地,大卫A。
贝克,伯纳德
啤酒,伊兰
本维尼斯特,艾伯特
Bé雷德,Bé心房
布耶,帕特里夏
吉安皮罗
查克拉波蒂,上提克
克莱森,吕克
科伦坡,克里斯蒂安
库克,拜伦
该死,沃纳
多恩,劳伦特
芬克贝纳,伯纳德
弗朗卡兰扎,阿德里安
加斯汀,保罗
妮西,斯蒂芬妮娅
格里吉奥,阿尔伯托
赫尔曼,霍尔格
亨特,沃伦A。六月。
Iosif,拉杜
Jé罗恩,蒂埃里
卡茨,希缪尔
克莱德克,费利克斯
克罗夫,托马斯
昆卡,维克多
库山,罗伯特P。
拉托雷,萨尔瓦托
勒盖,阿克塞尔
马利克,沙拉德
马钱德,先生é
麦克米兰,肯尼斯L。
分钟é, 安托万
搬运工,塞吉奥
尼科维奇,德扬
诺曼,格钦
佩斯,戈登J。
Păsă瑞努,科瑞娜S。
普拉泽,安德烈é
卡迪尔,沙兹
兰扎托,弗朗西斯科
代表,托马斯W。
施耐德,克劳斯
舒斯特,阿萨夫
塞希亚,Sanjit Arunkumar
斯法基斯,约瑟夫
Singhal,Vigyan
…还有962位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

正在加载引文配置文件