搜索页_+Place+invariants

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

CNKI学位论文(421)

知网期刊论文(77)

在“SpringerLink电子期刊”中，命中：50条，耗时：0.0129957 秒

在所有数据库中总计命中：498条

1. Colored Petri net model for significant reduction of invariants in flexible manufacturing systems

作者： Shaukat Ali Shah ; Erik L. J. Bohez…

关键词：Colored Petri net ; Flexible manufacturing systems ; Integrated net analyzer ; Tool group

刊名：The International Journal of Advanced Manufacturing Technology

出版年：2017

2. Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets

关键词：Nested Petri nets ; Place invariants ; Behavioral properties ; Structural analysis methods

刊名：Lecture Notes in Computer Science

出版年：2016

3. Some examples of vanishing Yamabe invariant and minimal volume, and collapsing of inequivalent smoothings and PL-structures

作者： Rafael Torres

刊名：Annals of Global Analysis and Geometry

出版年：2016

4. Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks

刊名：Lecture Notes in Computer Science

出版年：2016

5. Gravity signal at Ghawar, Saudi Arabia, from the global gravitational field model EGM 2008 and similarities around

作者： J. Kloko?ník ; J. Kostelecky

关键词：Gravity disturbance (anomaly) ; Marussi tensor ; Invariants of the gravity field ; Strike angles ; Virtual deformations ; The Earth Gravitational Model 2008 ; Ghawar

刊名：Arabian Journal of Geosciences

出版年：2015

6. A Generic Intermediate Representation for Verification Condition Generation

关键词：Verification platforms ; Intermediate representation ; Verification conditions ; Program transformation

刊名：Lecture Notes in Computer Science

出版年：2015

7. Upper limb kinematics after cervical spinal cord injury: a review

作者： Sébastien Mateo ; Agnès Roby-Brami…

关键词：Tetraplegia ; SCI ; Upper limb ; Reaching ; Reach ; to ; grasp ; Kinematic

刊名：Journal of NeuroEngineering and Rehabilitation

出版年：2015

8. Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis

作者：Hammadi Bennoui (1)

关键词：Model ; based diagnosis ; Causal models ; Petri nets ; Reachability analysis ; P ; invariants

刊名：Autonomous Agents and Multi-Agent Systems

出版年：2014

9. On the notions of indiscernibility and indeterminacy in the light of the Galois–Grothendieck theory

作者：Gabriel Catren (1) (2)
Julien Page (1)

关键词：Galois–Grothendieck theory ; Indiscernibility ; Indeterminacy ; Principle of the identity of indiscernibles ; Klein’s Erlangen program

刊名：Synthese

出版年：2014

10. On special zeros of p-adic L-functions of Hilbert modular forms

作者：Michael Spie? (1)

关键词：11F41 ; 11F67 ; 11F70 ; 11G40

刊名：Inventiones Mathematicae

出版年：2014

1

2

3

4

5

6

按检索点细分(50)

题名(5)

关键词(2)

文摘(46)

按出版年细分(50)

2017年(1)

2016年(3)

2015年(3)

2014年(3)

2013年(3)

2012年(2)

2011年(1)

2010年(2)

2009年(1)

2008年(7)

2007年(4)

2006年(2)

2005年(2)

2004年(2)

2003年(5)

2000年(1)

2000年及以前(8)

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.