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