1
出版事項 2012
目次: ... of Reduced Ordered Binary Decision Diagrams for SLA Negotiation in IaaS of Cloud Computing.-Service...
全文の入手
電子媒体 eBook
2
出版事項 2015
目次: ... Test Cases Minimization for Object Oriented Programs....
全文の入手
電子媒体 eBook
3
出版事項 2014
目次: ... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...
全文の入手
電子媒体 eBook
4
出版事項 2013
目次: ... Self-reducibility -- On the Encoding Invariance of Polynomial Time Computable Distribution Ensembles...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
全文の入手
電子媒体 eBook
6
著者: Saeed, Walid
出版事項 2005
主題: ...Programming language(Electronic computer)...
全文の入手
学位論文
7
出版事項 2005
目次: ...Applications -- Increasing Interconnection Network Connectivity for Reducing Operator Complexity...
全文の入手
電子媒体 eBook
8
出版事項 2006
目次: ... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...
全文の入手
電子媒体 eBook
9
出版事項 2015
目次: ... of Programming Language Examinations -- An Efficient Data Integration Framework in Cloud using Map Reduce....
全文の入手
電子媒体 eBook
10
11
出版事項 2006
目次: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
全文の入手
電子媒体 eBook
12
出版事項 2010
目次: ... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...
全文の入手
電子媒体 eBook
13
出版事項 2010
目次: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
全文の入手
電子媒体 eBook
14
出版事項 2005
目次: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
全文の入手
電子媒体 eBook
15
出版事項 2012
目次: ... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...
全文の入手
電子媒体 eBook
16
出版事項 2010
目次: ... -- Biosensors for Functional Food Safety and Analysis -- Biosensors for Secondary Metabolites, Two Case Studies...
全文の入手
電子媒体 eBook
17
出版事項 2012
目次: ... Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques...
全文の入手
電子媒体 eBook
18
出版事項 2005
目次: ... Checking for Reducing the Cost of Test Generation -- Specifying and Generating Test Cases Using Observer...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...
全文の入手
電子媒体 eBook
20
出版事項 2015
目次: ... A Proposal to Measure the Functional Efficiency of Futures Markets: M. Consuegra et al -- 12...
全文の入手
電子媒体 eBook