搜索页_program+trace

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

中国地质文献-英文(10)	SpringerLink电子期刊(1253)	GSW全文库(81)
Wiley电子期刊(28)	ProQuest学位论文(306)	Elsevier电子期刊(1868)
Springer电子图书(4)	NATURE电子期刊(18)	ACS电子期刊(65)

在“SpringerLink电子期刊”中，命中：1,253条，耗时：0.0239895 秒

在所有数据库中总计命中：3,633条

1. Sources of trace metals in PM₁₀ from a petrochemical industrial complex in Northern Mexico

作者： P. F. Rodriguez-Espinosa ; R. M. Flores-Rangel…

关键词：Altamira ; Crustal enrichment factors ; ICP ; OES ; México ; PM10 ; Principal component analysis ; Trace metals

刊名：Air Quality, Atmosphere & Health

出版年：2017

2. A Discrete Geometric Model of Concurrent Program Execution

关键词：Concurrent Kleene Algebra ; Laws of programming ; Trace algebra ; Semantic models ; Refinement ; Unifying theories

刊名：Lecture Notes in Computer Science

出版年：2017

3. Managing γ ₅ in Dimensional Regularization II: the Trace with more γ ₅’s

作者： Ruggero Ferrari

关键词：Gamma_5 ; Dimensional renormalization ; Anomaly

刊名：International Journal of Theoretical Physics

出版年：2017

4. Combining techniques of bounded model checking and constraint programming to aid for error localization

作者： Mohammed Bekkouche

关键词：Program verification ; Testing ; Debugging ; Error localization ; Constraint Programming ; LocFaults ; BugAssist ; Minimal correction subset ; Minimal correction deviation

刊名：Constraints

出版年：2017

5. Genetic separation of southern and northern soybean breeding programs in North America and their associated allelic variation at four maturity loci

作者： Goettel Wolfgang ; Yong-qiang Charles An PhD

关键词：Soybean ; breeding history ; Pedigree ; Breeding ; Network ; E genes and maturity

刊名：Molecular Breeding

出版年：2017

6. Application of enriched ¹³⁷Ba tracer to mark juvenile Persian sturgeon (Acipenser persicus)

作者： Hadis Mirali ; Ali Bani ; Javad Fasihi

关键词：Persian sturgeon ; Pectoral fin spine ; Fish marking ; 137Ba ; ICP ; MS

刊名：Environmental Biology of Fishes

出版年：2017

7. Baby Triple P for Parents of a Very Preterm Infant: A Case Study

作者： Tracey Evans ; Roslyn N. Boyd ; Paul Colditz…

关键词：Preterm infant ; Stress symptoms ; Depressive symptoms ; Maternal attachment ; Maternal responsiveness

刊名：Journal of Child and Family Studies

出版年：2017

8. Stabilizing Floating-Point Programs Using Provenance Analysis

刊名：Lecture Notes in Computer Science

出版年：2017

9. Daily Intake of Magnesium and its Relation to Urinary Excretion in Korean Healthy Adults Consuming Self-Selected Diets

作者： Mi-Kyeong Choi ; Connie M. Weaver

关键词：Magnesium ; Daily intake ; Urinary excretion ; Adult ; Self ; selected diet

刊名：Biological Trace Element Research

出版年：2017

10. Deterministic reversible MPSoC debugger based on virtual platform execution traces

作者： Marcos Aurélio Pinto Cunha ; Nicolas Fournel…

关键词：Reverse debugging ; Trace ; Virtual Platforms ; MPSoC

刊名：Design Automation for Embedded Systems

出版年：2016

按检索点细分(1253)

题名(29)

作者(1)

关键词(15)

文摘(1059)

按出版年细分(1253)

2017年(9)

2016年(70)

2015年(108)

2014年(111)

2013年(108)

2012年(89)

2011年(38)

2010年(57)

2009年(68)

2008年(97)

2007年(90)

2006年(86)

2005年(75)

2004年(47)

2003年(49)

2002年(38)

2001年(34)

2000年(21)

2000年及以前(58)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700