维普期刊资源整合服务平台（V6.5）

420篇 您的检索式：期刊名="Science Programming"

选中清除导出查看参考文献查看引证文献引用追踪共21页首页上一页第1页下一页末页 /21 跳转

	题名	作者	年代	出处	被引量
1	Goal-directed Requirements Acquisition显示文摘	Dardenne A Lamsweerde A V Fickas S	1993	Science of Computer Programming1993，20，：	2
2	A first-order language for expressing sharing and type properties of logic programs显示文摘	Volpe P	2001	Science of Computer Programming2001，39，1：	1
3	A survey of fault localization techniques in computer networks显示文摘	Ma ?gorzata Steinder Adarshpal S. Sethi	2004	Science of Computer Programming2004，，2：	1
4	Fire suppression by water sprays显示文摘	Grant G Brenton J Drysdale D	2000	Program Energy Combust Science2000，26，2：	1
5	An update calculus for expressing type-safe program updates 显示文摘	Martin Erwig Deling Ren	2007	Science of Computer Programming2007，67，23：	1
6	Typed parametric polymorphism for aspects 显示文摘	JAGADEESADA R JEFFREYB A RIELYA J	2006	Science of Computer Programming2006，63，7：	1
7	A flexible service provisioning middleware for heterogeneous sensor networks 显示文摘	FOK C L ROMAN G C LU Chenyang	2010	Science of Computer Programming2010，，11：	1
8	Probabilistic models for the guarded command language显示文摘	HE J SEIDEL K MCIVER A K	1997	Science of Computer Programming1997，28，：	1
9	Abstract Interpretation of Mobile 显示文摘	Nielson F Hansen R R Nielson H R	2003	Science of Computer Programming2003，47，2：	1
10	Verification of a safety- critical railway interlocking system with real-time constraints显示文摘	Garmhausen V H Campos S Cimatti A	2000	Elsevier Science of Computer Programming2000，，36：	1
11	On the expressiveness of coordination via shared dataspaces显示文摘	Antonio Brogi Jean-Marie Jacquet	2003	Science of Computer Programming2003，46，12：	1
12	Using branching time temporal logic to synthesize synchronisation skeletons显示文摘	E A Emerson E M Clarke	1982	Science of Computer Programming1982，，2：	1
13	An Empirical Examination of Relation- ships in an Extended Service Quality Model 显示文摘	Parasuraman	1990	Marketing Science Institute Research Program Series1990，，12：	1
14	The esterel synchronous programming language: design, semantics, implementation 显示文摘	BERRY G GONTHIER G	1992	Science of Computer Programming1992，19，2：	1
15	Calculating with pointers 显示文摘	Bii	1989	Science of Computer Programming1989，12，1：	1
16	Google' s MapReduce programming model-revisi- ted显示文摘	Lammel R	2008	Science of Computer Programming2008，70，1：	1
17	Comparison and evaluation of code clone detection techniques and tools: A qualitative approach 显示文摘	ROY C K CORDY J R KOSCHKE R	2009	Science of Computer Programming2009，74，：	1
18	Formal semantics and analysis of control flow in WS-BPEL显示文摘	OUYANG C VERBEEK E AALST van der W	2007	Science of Computer Programming2007，67，23：	1
19	Formal semantics and analysis of control flow in WSBPEL显示文摘	OUYANG C VERBEEK E VAN DER AALST W M P	2007	Science of Computer Programming2007，67，23：	1
20	Google's MapReduce Programming Model-Revisited显示文摘	L(a)mmel R	2007	Science of Computer Programming Journal2007，68，3：	1

返回顶部每页显示：

共21页首页上一页第1页下一页末页 /21 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示