全文获取类型
收费全文 | 1499篇 |
免费 | 24篇 |
国内免费 | 19篇 |
专业分类
化学 | 53篇 |
力学 | 11篇 |
综合类 | 12篇 |
数学 | 82篇 |
物理学 | 125篇 |
综合类 | 1259篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 1篇 |
2020年 | 6篇 |
2019年 | 4篇 |
2018年 | 2篇 |
2017年 | 12篇 |
2016年 | 10篇 |
2015年 | 16篇 |
2014年 | 22篇 |
2013年 | 35篇 |
2012年 | 31篇 |
2011年 | 43篇 |
2010年 | 40篇 |
2009年 | 53篇 |
2008年 | 66篇 |
2007年 | 91篇 |
2006年 | 67篇 |
2005年 | 117篇 |
2004年 | 96篇 |
2003年 | 105篇 |
2002年 | 119篇 |
2001年 | 129篇 |
2000年 | 97篇 |
1999年 | 80篇 |
1998年 | 70篇 |
1997年 | 56篇 |
1996年 | 49篇 |
1995年 | 26篇 |
1994年 | 10篇 |
1993年 | 13篇 |
1992年 | 14篇 |
1991年 | 13篇 |
1990年 | 9篇 |
1989年 | 15篇 |
1988年 | 6篇 |
1987年 | 1篇 |
1986年 | 2篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1979年 | 1篇 |
1978年 | 1篇 |
排序方式: 共有1542条查询结果,搜索用时 15 毫秒
1.
探讨在Linux操作系统中基于代理的进程迁移方法,包括代理的组织、代理的通讯方式、迁移进程信息的获取及进程迁移后未完成报文和打开文件的处理等. 相似文献
2.
介绍了Authorware软件使用过程中的一些常见问题并给出了具体的解决方案 ;说明了在Au thorware软件使用过程中如何利用一些操作技巧 相似文献
3.
产品数据管理(PDM)在制造业中的应用与发展 总被引:2,自引:0,他引:2
在计算机技术快速发展的今天,许多企业的软件使用者和领导者开始体会到新技术带来的效益和进一步发展的必要性,认为到企业信息化的基础是产品数据管理(PDM)从PDM的产生、特点、结构、应用和发展等方面,详细地介绍了PDM的功能及其地位,以及在实施中要注意的事项。 相似文献
4.
基于MATLAB的控制系统CAI设计 总被引:1,自引:0,他引:1
基于MATLAB开发平台,利用其可视化编程能力的GUI,对控制系统进行分析、设计与仿真,开发了控制系统CAI应用软件,它具有较强的教学、实验、工程应用价值。 相似文献
5.
本文分析了计算机辅助教学的现状;提出了存在的若干问题;阐述了基于智能代理的计算机辅助教学系统的内容;分析了开发智能计算机辅助教学系统的发展方向. 相似文献
6.
C. -H. L. Ong 《Annals of Pure and Applied Logic》2004,130(1-3):125-171
We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function fM. Given any such fM, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable. 相似文献
7.
8.
李鲁群 《山东科技大学学报(自然科学版)》1996,(4)
本文通过对非网络版软件在单机上运行环境分析,找出了一套调整此类软件使其在Novell网上运行的方法,并提出了非网络软件在Novell网上运行环境的设计的观点,具有较大的意义。 相似文献
9.
本文针对目前陈旧的管理软件的设计方法提出了一种新的观点,同时探讨了为实现这种新观点而研制的软件工具的设计方法和实现技巧。 相似文献
10.
随着计算机科学技术的迅猛发展,计算机辅助教学已成为一种教学新技术,有力地促进了教学内容、教学方法甚至教学模式的改革。本文论述了计算机辅助教学在生理学实验教学中的作用,分析其应用的可行性和优越性,并对出现的问题进行了初步探讨。 相似文献