檢索結果 - information logic concurrent programming ((((array using) OR (array format))) OR (array profiling))

搜索替代詞:
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

出版 2005

書本目錄: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
獲取全文

電子電子書

出版 2005

書本目錄: “... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”
獲取全文

電子電子書

出版 2006

書本目錄: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
獲取全文

電子電子書

出版 2005

書本目錄: “... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...”
獲取全文

電子電子書

出版 2010

書本目錄: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
獲取全文

電子電子書

出版 2008

書本目錄: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
獲取全文

電子電子書

出版 2015

書本目錄: “... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
獲取全文

電子電子書

出版 2010

書本目錄: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
獲取全文

電子電子書

出版 2005

書本目錄: “... Outlier Mining Without Query Vector -- Incremental Data Mining Using Concurrent Online Refresh...”
獲取全文

電子電子書

出版 2005

書本目錄: “...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”
獲取全文

電子電子書