设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(2)
馆藏书目(2)
CNKI会议论文(22)
CNKI期刊论文0611(7)
标准(1)
中国地质文献-英文(3)
Springer电子图书(16)
CNKI学位论文(18073)
知网期刊论文(60488)
在“
Elsevier电子期刊
”中,
命中:
1,580
条,耗时:小于0.01 秒
在所有数据库中总计命中:
78,614
条
1.
SafeGPU: Contract- and library-based GPGPU for object-oriented
languages
作者:
Alexey Kolesnichenko
a
;
alexey.kolesnichenko@inf.ethz.ch
;
Christopher M. Poskitt
a
;
b
;
1
;
chris_poskitt@sutd.edu.sg
;
Sebastian Nanz
a
;
sebastian.nanz@inf.ethz.ch
关键词:
GPGPU
;
Parallel computing
;
Runtime code generation
;
Generative programming
;
Object-orientation
;
Managed
languages
;
Design
-by-contract
;
Program correctness
刊名:Computer
Languages
, Systems & Structures
出版年:2017
2.
Optimisation of language-integrated queries by query unnesting
作者:
Tomasz Marek Kowalski
;
t.kowalski@iis.p.lodz.pl
;
Radosław Adamus
r.adamus@iis.p.lodz.pl
关键词:
Program optimisation
;
Programming
languages
;
Term rewriting
;
Declarative programming
;
Higher-order functions
;
LINQ
;
Query decorrelation
刊名:Computer
Languages
, Systems & Structures
出版年:2017
3.
Financial incentives for diabetes prevention in a Medicaid population: Study
design
and baseline characteristics
作者:
Jay Desai
;
PhD
;
MPH
a
;
Jay.R.Desai@Healthpartners.com
;
Gretchen Taylor
;
MPH
;
RD
b
;
Gabriela Vazquez-Benitez
;
PhD
a
;
Sara Vine
;
MS
;
RD
;
LD
c
;
Julie Anderson
;
MPH
;
RD
a
;
Joyce E. Garrett
;
JD
d
;
Todd Gilmer
;
PhD
e
;
Houa Vue-Her
;
PhD
b
;
Jeff Schiff
;
MD
d
;
Sarah Rinn
;
MPH
d
;
Katelyn Engel
;
MPH
;
RD
;
LD
b
;
Amy Michael
;
MA
b
;
Patrick J. O'Connor
;
MD
;
MA
;
MPH
a
关键词:
Diabetes prevention
;
Medicaid
;
Incentives
;
Primary care
刊名:Contemporary Clinical Trials
出版年:2017
4.
TextX: A Python tool for Domain-Specific
Languages
implementation
作者:
I. Dejanović
;
igord@uns.ac.rs" class="auth_mail" title="E-mail the corresponding author
;
R. Vaderna
;
G. Milosavljević
;
Ž. Vuković
关键词:
Domain-Specific Language
;
Meta-model
;
Model
;
Model-Driven software development
;
Parser
;
Python
刊名:Knowledge-Based Systems
出版年:2017
5.
Playing with state-based models for
design
ing better algorithms
作者:
Dominique Mé
;
ry
dominique.mery@loria.fr
Author Vitae
关键词:
Modeling
languages
;
Verification
;
Refinement
;
Coordination
;
Algorithm
刊名:Future Generation Computer Systems
出版年:2017
6.
Generative software product line development using variability-aware
design
patterns
作者:
Christoph Seidl
;
c.seidl@tu-braunschweig.de
;
Sven Schuster
;
Ina Schaefer
刊名:Computer
Languages
, Systems & Structures
出版年:2017
7.
Modeling graph-based satellite
design
languages
作者:
Johannes Gross
;
1
;
johannes@jpl.nasa.gov" class="auth_mail" title="E-mail the corresponding author
;
Stephan Rudolph
关键词:
Design
languages
;
Rule based
design
;
Model-based engineering
;
Knowledge representation
刊名:Aerospace Science and Technology
出版年:2016
8.
Enabling PHP software engineering research in Rascal
作者:
Mark Hills
a
;
mhills@cs.ecu.edu
;
Paul Klint
b
;
Paul.Klint@cwi.nl
;
Jurgen J. Vinju
b
;
c
;
Jurgen.Vinju@cwi.nl
关键词:
Meta-programming
;
Program analysis
;
Empirical software engineering
;
Dynamic
languages
;
PHP
刊名:Science of Computer Programming
出版年:2017
9.
Geometry and simulation modeling in
design
languages
作者:
Johannes Gross
;
johannes.gross@jpl.nasa.gov" class="auth_mail" title="E-mail the corresponding author
;
Stephan Rudolph
关键词:
Design
languages
;
Model based engineering
;
UML
刊名:Aerospace Science and Technology
出版年:2016
10.
Combined hormonal contraceptive (CHC) use among obese women and contraceptive effectiveness: a systematic review
作者:
Monica V. Dragoman
a
;
mvd2116@gmail.com
;
Katharine B. Simmons
b
;
c
;
Melissa E. Paulen
d
;
Kathryn M. Curtis
b
关键词:
Combined hormonal contraception
;
Obesity
;
Contraceptive effectiveness
;
Oral contraception
刊名:Contraception
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(1580)
题名(24)
关键词(60)
文摘(1145)
按出版年细分(1580)
2027年及以后(62)
2017年(12)
2016年(75)
2015年(28)
2014年(18)
2013年(79)
2012年(77)
2011年(98)
2010年(82)
2009年(99)
2008年(94)
2007年(86)
2006年(79)
2005年(77)
2004年(51)
2003年(65)
2002年(68)
2001年(74)
2000年(49)
2000年及以前(307)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.