搜索页_Automations

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

SpringerLink电子期刊(8)

ProQuest学位论文(1)

Elsevier电子期刊(10)

ACS电子期刊(3)

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

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

1. Mouse Social Interaction Test (MoST): a quantitative computer automated analysis of behavior

作者： Panayotis K. Thanos ; Christophe Restif…

关键词：Rodents ; Tracking ; Social interactions ; Automations

刊名：Journal of Neural Transmission

出版年：2017

2. Application of Modern Tools and Techniques for Mine Safety & Disaster Management

作者： Dheeraj Kumar

关键词：Mine automations ; Mine safety ; Disaster management ; Mine robotics

刊名：Journal of The Institution of Engineers (India): Series D

出版年：2016

3. Context-Awareness in Task Automation Services by Distributed Event Processing

关键词：Distributed Task Automation Services ; Complex Event Processing ; Personalized services ; Context ; awareness ; Mobile services

刊名：Lecture Notes in Computer Science

出版年：2015

4. Custom Automations in Mizar

作者：Marco Bright Caminati (1)
Giuseppe Rosolini (2)

关键词：Mizar proof verifier ; Formalization of mathematics ; Automations ; Proof assistant ; 03B35 ; 03F99 ; 68T15

刊名：Journal of Automated Reasoning

出版年：2013

5. Testing Idempotence for Infrastructure as Code

作者：Waldemar Hummer (18)
Florian Rosenberg (19)
Fábio Oliveira (19)
Tamar Eilam (19)

关键词：Middleware Deployment ; Software Automation ; Idempotence ; Convergence ; Infrastructure as Code ; Software Testing

刊名：Lecture Notes in Computer Science

出版年：2013

6.Feature Model Differences

作者：Mathieu Acher (1) mac@info.fundp.ac.be
Patrick Heymans (12) phe@info.fundp.ac.be
Philippe Collet (3) collet@i3s.unice.fr
Clément Quinton (2) clement.quinton@inria.fr
Philippe Lahire (3) lahire@i3s.unice.fr
Philippe Merle (2) philippe.merle@inria.fr

关键词：Feature Models – Model Differences – Model Management

刊名：Lecture Notes in Computer Science

出版年：2012

7. Feature Model Differences

作者：Mathieu Acher (20)
Patrick Heymans (20) (21)
Philippe Collet (22)
Clément Quinton (21)
Philippe Lahire (22)
Philippe Merle (21)

关键词：Feature Models ; Model Differences ; Model Management

刊名：Lecture Notes in Computer Science

出版年：2012

8.Statistical distributions of clusters of elementary damages in loaded materials: Probabilistic cellular automation modeling

作者：G. A. Kazunina and L. V. Barinova

关键词：Clusters of defects ; probabilistic cellular automations

刊名：Journal of Mining Science

出版年：2006

1

按检索点细分(8)

题名(1)

关键词(4)

文摘(5)

按出版年细分(8)

2017年(1)

2016年(1)

2015年(1)

2013年(2)

2012年(2)

2006年(1)

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.