1
Julkaistu 2008
Sisällysluettelo: ...Keynotes -- Provenance for Database Transformations -- Enforcing the Scientific Method -- Papers...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... from Satisfiability to Knowledge Compilation -- Representing and Reasoning with Operational Semantics...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2012
Sisällysluettelo: ... for Operators with Thick Spectra -- Voronoi Feature Selection Model Considering Variable-Scale Map’s Balance...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2014
Sisällysluettelo: ... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... of Semantic Web Services-based Network Monitoring Operations -- Antecedents for Building Trust in Professional...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2014
Sisällysluettelo: ...Invited Talks.-What International Studies Say about the Importance and Limitations of Using...
Hae kokoteksti
Elektroninen E-kirja