Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
constructive computation » constructive communication, constructive communications, construction competitions
programming tutorials » programming tutorial, programming theories, programming tools
programming robust » programming problem, programming project, programming process
concepts care » concepts case, concepts cases, concepts karen
constructive computation » constructive communication, constructive communications, construction competitions
programming tutorials » programming tutorial, programming theories, programming tools
programming robust » programming problem, programming project, programming process
concepts care » concepts case, concepts cases, concepts karen
1
Julkaistu 2015
Sisällysluettelo:
“... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2012
Sisällysluettelo:
“... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2013
Sisällysluettelo:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2008
Sisällysluettelo:
“...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2008
Sisällysluettelo:
“... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2012
Sisällysluettelo:
“... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2014
Sisällysluettelo:
“... by an improved Lattice Boltzmann Model Properties of Multiobjective Robust Controller Using Difference Signals...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2010
Sisällysluettelo:
“... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2007
Sisällysluettelo:
“... Intelligence? -- Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2012
Sisällysluettelo:
“... Neural Spike Train Data -- Online Techniques for Dealing with Concept Drift in Process Mining...”Hae kokoteksti
Elektroninen
E-kirja