1
出版 2007
書本目錄: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...
獲取全文
電子 電子書
4
書本目錄: ... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...
獲取全文
電子 電子書
5
出版 2014
書本目錄: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
獲取全文
電子 電子書
6
出版 2008
書本目錄: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
獲取全文
電子 電子書
7
出版 2007
書本目錄: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
獲取全文
電子 電子書
8
出版 2008
書本目錄: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
獲取全文
電子 電子書
9
出版 2008
書本目錄: ... Frames -- The Human Web and the Domestication of the Networked Computer -- Evaluation of the Energy...
獲取全文
電子 電子書
10
出版 2008
書本目錄: ...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...
獲取全文
電子 電子書
11
出版 2010
書本目錄: ... -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance...
獲取全文
電子 電子書
12
出版 2010
書本目錄: ... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...
獲取全文
電子 電子書