1
出版事項 2015
目次: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
全文の入手
電子媒体 eBook
2
出版事項 2012
目次: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
全文の入手
電子媒体 eBook
3
出版事項 2008
目次: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
全文の入手
電子媒体 eBook
4
出版事項 2013
目次: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
全文の入手
電子媒体 eBook
5
出版事項 2008
目次: ...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...
全文の入手
電子媒体 eBook
6
出版事項 2008
目次: ... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....
全文の入手
電子媒体 eBook
7
出版事項 2012
目次: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
全文の入手
電子媒体 eBook
8
出版事項 2014
目次: ... by an improved Lattice Boltzmann Model Properties of Multiobjective Robust Controller Using Difference Signals...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...
全文の入手
電子媒体 eBook
10
出版事項 2007
目次: ... Intelligence? -- Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural...
全文の入手
電子媒体 eBook
11
出版事項 2012
目次: ... Neural Spike Train Data -- Online Techniques for Dealing with Concept Drift in Process Mining...
全文の入手
電子媒体 eBook