1
出版事項 2007
目次: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
全文の入手
電子媒体 eBook
2
出版事項 2005
目次: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
全文の入手
電子媒体 eBook
3
出版事項 2008
目次: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
全文の入手
電子媒体 eBook
4
出版事項 2007
目次: ... -- Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools -- Computational...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
全文の入手
電子媒体 eBook
6
出版事項 2013
目次: ... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...
全文の入手
電子媒体 eBook
7
出版事項 2007
目次: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
全文の入手
電子媒体 eBook
8
出版事項 2014
目次: ... Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions...
全文の入手
電子媒体 eBook
9
出版事項 2005
目次: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
全文の入手
電子媒体 eBook
10
出版事項 2008
目次: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
全文の入手
電子媒体 eBook
11
出版事項 2005
目次: ...-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed...
全文の入手
電子媒体 eBook
12
出版事項 2014
目次: ... Window Functions for Speech Enhancement -- Methods for Estimation of Structural State of Alkali Feldspars...
全文の入手
電子媒体 eBook
13
出版事項 2005
目次: ... – Computational Methods in Bioinformatics (CMB 2005) -- Protein Sequence Classification Through Relevant Sequence...
全文の入手
電子媒体 eBook
14
出版事項 2010
目次: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
全文の入手
電子媒体 eBook
15
出版事項 2005
目次: ... -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures...
全文の入手
電子媒体 eBook
16
出版事項 2007
目次: ... -- Recovering Repetitive Sub-functions from Observations -- Specification of Timed EFSM Fault Models in SDL...
全文の入手
電子媒体 eBook
17
出版事項 2012
目次: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
全文の入手
電子媒体 eBook
18
出版事項 2005
目次: ... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...
全文の入手
電子媒体 eBook
19
出版事項 2007
目次: ... in Software Development -- Towards a Tomographic Framework for Structured Observation of Communicative...
全文の入手
電子媒体 eBook
20
出版事項 2005
目次: ... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...
全文の入手
電子媒体 eBook