搜索页_Basic+statement

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(7)	CNKI会议论文(13)	CNKI期刊论文0611(3)
馆藏书目(1)	CNKI学位论文(9237)	知网期刊论文(2921)

在“SpringerLink电子期刊”中，命中：161条，耗时：小于0.01 秒

在所有数据库中总计命中：12,182条

1. Building program construction and verification tools from algebraic principles

作者： Alasdair Armstrong ; Victor B. F. Gomes ; Georg Struth

关键词：Program construction ; Program verification ; Semantics of imperative programs ; Algebras of programs ; Formalised mathematics ; Interactive theorem proving ; Automated theorem proving

刊名：Formal Aspects of Computing

出版年：2016

2. On the Influence of Message Length in PMAC’s Security Bounds

关键词：Unforgeability ; Integrity ; Verification ; Birthday bound ; Tag ; PMAC ; Message length

刊名：Lecture Notes in Computer Science

出版年：2016

3. Erweiterte Maßnahmen der kardiopulmonalen Reanimation bei Kindern und Jugendlichen

作者： Dr. F. Hoffmann ; E. Heimberg ; J.-C. Schwindt ; O. Heinzel

关键词：Cardiac arrest ; Cardiac arrhythmias ; Defibrillation ; Resuscitation recommendations 2010 ; EPLS guidelines 2010

刊名：Monatsschrift Kinderheilkunde

出版年：2016

4. The efficiency of horizontal to vertical spectral ratio technique for buried monuments delineation (case study, Saqqara (Zoser) pyramid, Egypt)

作者： Amin E. Kalil ; Abdel Hafiez H E ; Hesham Mossa

关键词：Horizontal to vertical spectral ratio ; Zoser pyramid ; Soil investigation ; Monuments delineation

刊名：Arabian Journal of Geosciences

出版年：2016

5. Consensus Conference on Clinical Management of pediatric Atopic Dermatitis

作者： Elena Galli ; Iria Neri ; Giampaolo Ricci ; Ermanno Baldo…

关键词：Atopic dermatitis ; Childhood ; Consensus ; Management

刊名：Italian Journal of Pediatrics

出版年：2016

6. Effectiveness and efficiency of research in Germany over time: an analysis of German business schools between 2001 and 2009

作者： Marcel Clermont

刊名：Scientometrics

出版年：2016

7. A Logical Approach to Context-Specific Independence

刊名：Lecture Notes in Computer Science

出版年：2016

8. Popper and Wittgenstein on the Metaphysics of Experience

作者： Harry Smit

关键词：Basic statement ; Bipolarity ; Norms of representation ; Ostensive definition ; Synthetic a priori

刊名：Journal for General Philosophy of Science

出版年：2015

9. Multi-verifier: A novel method for fact statement verification

作者： Teng Wang ; Qing Zhu ; Shan Wang

关键词：Fact statements ; Credibility ranking ; Semantic inclusion ; Support score ; Trustful verification

刊名：World Wide Web

出版年：2015

10. Regional citrate anticoagulation for renal replacement therapies in patients with acute kidney injury: a position statement of the Work Group 鈥淩enal Replacement Therapies in Critically Ill Patients鈥?of the Italian Society of Nephrology

作者： Enrico Fiaccadori ; Valentina Pistolesi ; Filippo Mariano…

关键词：AKI ; Citrate ; CRRT ; PIRRT ; SLED ; Regional anticoagulation

刊名：Journal of Nephrology

出版年：2015

按检索点细分(161)

题名(1)

关键词(3)

文摘(150)

按出版年细分(161)

2016年(7)

2015年(18)

2014年(11)

2013年(12)

2012年(7)

2011年(6)

2010年(11)

2009年(4)

2008年(11)

2007年(17)

2006年(11)

2005年(4)

2004年(5)

2003年(2)

2002年(6)

2001年(12)

2000年(4)

2000年及以前(13)