Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https composition » hops composition, states composition, status composition
composition array » composition art, composition animal, composition attack
program data » program dan, program desa, program dbase
data https » java https
https composition » hops composition, states composition, status composition
composition array » composition art, composition animal, composition attack
program data » program dan, program desa, program dbase
data https » java https
1
Published 2008
Table of Contents:
“...Oral Presentations -- Training Time and Team Composition Robustness in Evolved Multi-agent Systems...”View full text
Electronic
eBook
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
3
Table of Contents:
“...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
View full text
View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Design of Concurrent Programs -- Linking Theories -- Of Probabilistic wp and CSP—and Compositionality...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... HowNet-Based Multi-factor Word Similarity Algorithm Integrated of Result Modification -- Composite Data...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Manipulating Lists with Unbounded Data -- Termination Analysis with Compositional Transition Invariants -- Lazy...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Approach for Selecting Features in High-Dimensional Micro-array Data -- A Novel Distribution of Local...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... P2P Based e-Learning Environment -- Heuristic-Based Scheduling to Maximize Throughput of Data...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... and Replication in Data Grids -- Efficient Layout Transformation for Disk-Based Multidimensional Arrays...”View full text
Electronic
eBook