1
Julkaistu 2010
Sisällysluettelo: ...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2007
Sisällysluettelo: ... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...
Hae kokoteksti
Elektroninen E-kirja