返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
出版时间：
至
大约有42,880项符合查询结果项。（搜索耗时：0.1572秒）
为您推荐： 罗盘 title战略罗盘 全新修订版 罗翔 刑法罗盘 风水罗盘应用经验学 图解罗盘 刑法罗盘
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...
全部
交通运输(1540)
数理化(2932)
文化科学教育体育(5219)
文学(313)
环境安全(779)
生物(406)
社会科学(1681)
经济(5258)
自然科学(314)
航空航天(156)
艺术(431)
军事(89)
语言文字(956)
马列毛邓(122)
综合图书(48)
其他书籍(2760)
外文(43)
农业科学(1581)
医药卫生(2041)
历史地理(257)
哲学宗教(1136)
天文地球(1571)
工业技术(11834)
政治法律(1413)
12年(1)
1900年(1)
1907年(1)
1919年(1)
1920年(1)
1921年(1)
1922年(1)
1923年(2)
1925年(2)
1926年(3)
1927年(5)
1928年(6)
1929年(7)
1930年(16)
1931年(11)
1932年(7)
1933年(16)
1934年(12)
1935年(20)
1936年(16)
1937年(17)
1938年(6)
1939年(5)
1940年(5)
1941年(11)
1942年(7)
1943年(2)
1944年(4)
1945年(5)
1946年(15)
1947年(17)
1948年(13)
1949年(46)
1950年(36)
1951年(50)
1952年(37)
1953年(73)
1954年(111)
1955年(117)
1956年(175)
1957年(187)
1958年(384)
1959年(304)
1960年(171)
1961年(39)
1962年(61)
1963年(102)
1964年(87)
1965年(115)
1966年(44)
1967年(3)
1968年(9)
1969年(11)
1970年(24)
1971年(25)
1972年(49)
1973年(86)
1974年(77)
1975年(114)
1976年(117)
1977年(101)
1978年(119)
1979年(192)
1980年(261)
1981年(293)
1982年(310)
1983年(375)
1984年(380)
1985年(493)
1986年(502)
1987年(528)
1988年(585)
1989年(629)
1990年(680)
1991年(637)
1992年(702)
1993年(730)
1994年(710)
1995年(623)
1996年(796)
1997年(858)
1998年(921)
1999年(925)
2000年(961)
2001年(860)
2002年(1066)
2003年(1115)
2004年(1220)
2005年(1223)
2006年(1475)
2007年(1368)
2008年(1496)
2009年(1592)
2010年(1495)
2011年(1556)
2012年(1449)
2013年(1619)
2014年(1505)
2015年(1465)
2016年(1350)
2017年(1389)
2018年(1185)
2019年(416)
2020年(20)
2222年(1795)
24年(1)
TP36年(2)
V355年(1)
XIII年(1)
null年(2)
Ⅵ年(1)
Ⅹ年(1)
ⅩⅥ年(1)
ⅩⅨ年(1)
ⅩⅩ年(1)
民国年(5)
（美）迈年(1)
