1
出版事項 2006
目次: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
全文の入手
電子媒体 eBook
2
出版事項 2005
目次: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
全文の入手
電子媒体 eBook
3
出版事項 2014
目次: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
全文の入手
電子媒体 eBook
4
出版事項 2013
目次: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
全文の入手
電子媒体 eBook
6
出版事項 2014
目次: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
全文の入手
電子媒体 eBook
7
出版事項 2015
目次: ... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...
全文の入手
電子媒体 eBook
8
出版事項 2006
目次: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
全文の入手
電子媒体 eBook
10
出版事項 2008
目次: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
全文の入手
電子媒体 eBook
11
出版事項 2013
目次: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
全文の入手
電子媒体 eBook
12
出版事項 2007
目次: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
全文の入手
電子媒体 eBook
13
目次: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
全文の入手
電子媒体 eBook
14
出版事項 2007
目次: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
全文の入手
電子媒体 eBook
15
出版事項 2010
目次: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
全文の入手
電子媒体 eBook
16
出版事項 2023
目次: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
電子媒体 eBook
17
出版事項 2007
目次: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
全文の入手
電子媒体 eBook
19
出版事項 2008
目次: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
全文の入手
電子媒体 eBook
20
出版事項 2013
目次: ...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...
全文の入手
電子媒体 eBook