1
Được phát hành 2005
Mục lục: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
lấy văn bản
Điện tử eBook
2
Được phát hành 2005
Mục lục: ... Guarantees in a Shared Storage Environment -- ParC#: Parallel Computing with C# in .Net -- Minimizing Hotspot...
lấy văn bản
Điện tử eBook
3
Được phát hành 2007
Mục lục: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
lấy văn bản
Điện tử eBook
4
Được phát hành 2012
Mục lục: ... for Modelling with Intuitionistic Fuzzy Estimations: Part 1.-A Generalized Net with an ACO-Algorithm...
lấy văn bản
Điện tử eBook
5
Được phát hành 2006
Mục lục: ... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...
lấy văn bản
Điện tử eBook
6
Được phát hành 2006
Mục lục: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
lấy văn bản
Điện tử eBook
7
Được phát hành 2014
Mục lục: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
lấy văn bản
Điện tử eBook
8
Được phát hành 2014
Mục lục: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
lấy văn bản
Điện tử eBook
9
Được phát hành 2008
Mục lục: ... Validation through Time Petri Nets -- Array OL Descriptions of Repetitive Structures in VHDL -- Textual...
lấy văn bản
Điện tử eBook
10
Được phát hành 2005
Mục lục: ... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...
lấy văn bản
Điện tử eBook
11
Được phát hành 2015
Mục lục: ... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...
lấy văn bản
Điện tử eBook
12
Được phát hành 2011
Mục lục: ... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...
lấy văn bản
Điện tử eBook
13
Được phát hành 2010
Mục lục: ... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...
lấy văn bản
Điện tử eBook
14
Được phát hành 2010
Mục lục: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
lấy văn bản
Điện tử eBook
15
Được phát hành 2012
Mục lục: ... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...
lấy văn bản
Điện tử eBook
16
Được phát hành 2014
Mục lục: ... -- A new method for removing random-valued impulse noise -- CTR Prediction for DSP with Improved Cube...
lấy văn bản
Điện tử eBook
17
Được phát hành 2010
Mục lục: ... -- Programming Biology in BlenX -- Discrete Modelling: Petri Net and Logical Approaches -- ProteoLens: A Database...
lấy văn bản
Điện tử eBook
18
Được phát hành 2015
Mục lục: ...: Application of the Computer Program CASPER in Structural Analysis -- Handling and Conversion of Carbohydrate...
lấy văn bản
Điện tử eBook
19
Được phát hành 2008
Mục lục: ... Detection -- Cossack Ranger II – A High Quality, Versatile and Affordable 3-Component Short-Period...
lấy văn bản
Điện tử eBook