在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
concurrent programming » constraint programming, concurrent programs
information logic » information logics, information lori, information logging
logic concurrent » logic current, round concurrent, lazy concurrent
array profiling » array processing, microarray profiling
array using » arrays using
concurrent programming » constraint programming, concurrent programs
information logic » information logics, information lori, information logging
logic concurrent » logic current, round concurrent, lazy concurrent
array profiling » array processing, microarray profiling
array using » arrays using
1
出版 2005
书本目录:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”获取全文
电子
电子书
2
出版 2005
书本目录:
“... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”获取全文
电子
电子书
3
出版 2006
书本目录:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”获取全文
电子
电子书
4
出版 2005
书本目录:
“... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...”获取全文
电子
电子书
5
出版 2010
书本目录:
“... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”获取全文
电子
电子书
6
出版 2008
书本目录:
“... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”获取全文
电子
电子书
7
出版 2015
书本目录:
“... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”获取全文
电子
电子书
8
出版 2010
书本目录:
“... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”获取全文
电子
电子书
9
出版 2005
书本目录:
“... Outlier Mining Without Query Vector -- Incremental Data Mining Using Concurrent Online Refresh...”获取全文
电子
电子书
10
出版 2005
书本目录:
“...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”获取全文
电子
电子书