在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
constructive computation » constructive communication, constructive communications, construction competitions
programming reactive » programming active, programming reaction, programming deductive
programming sensor » programming session, programming sno2, programming support
concepts cases » concepts chapter
constructive computation » constructive communication, constructive communications, construction competitions
programming reactive » programming active, programming reaction, programming deductive
programming sensor » programming session, programming sno2, programming support
concepts cases » concepts chapter
1
出版 2015
书本目录:
“... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”获取全文
电子
电子书
2
书本目录:
“...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...”
获取全文
获取全文
电子
电子书
3
出版 2010
书本目录:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”获取全文
电子
电子书
4
出版 2006
书本目录:
“...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”获取全文
电子
电子书
5
出版 2005
书本目录:
“... Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case...”获取全文
电子
电子书
6
出版 2008
书本目录:
“... Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra...”获取全文
电子
电子书
7
出版 2014
书本目录:
“... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”获取全文
电子
电子书
8
出版 2006
书本目录:
“... Geometric Nonlinearities -- Mathematical Programming Issues -- The Worst-Case Multiple Load FMO Problem...”获取全文
电子
电子书
9
出版 2010
书本目录:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”获取全文
电子
电子书
10
出版 2008
书本目录:
“... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”获取全文
电子
电子书
11
出版 2005
书本目录:
“... Wireless Sensor Network Using Voronoi Diagrams -- A Computational Model of Mortgage Prepayment Options...”获取全文
电子
电子书
12
出版 2007
书本目录:
“... Programming Method for Collaborative Scheduling in Construction Supply Chain Management -- A Particular...”获取全文
电子
电子书
13
出版 2010
书本目录:
“... and Integrating Advanced IT-Concepts with Semantic Web Technology Mashups Architecture Case Study -- Intelligent...”获取全文
电子
电子书
14
出版 2010
书本目录:
“... Computational Intelligence -- Incremental Construction of Alpha Lattices and Association Rules -- Intelligent...”获取全文
电子
电子书