1
Julkaistu 2007
Sisällysluettelo: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2007
Sisällysluettelo: ... Scheduling -- Improved Results for a Memory Allocation Problem -- Session 8A -- Computational and Structural...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2013
Sisällysluettelo: ... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...
Hae kokoteksti
Elektroninen E-kirja
5
Sisällysluettelo: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2012
Sisällysluettelo: ...-Speed Automaton Based on Structure Vibration Response Analysis -- Over-Sampling from an Auxiliary Domain...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2012
Sisällysluettelo: ... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2006
Sisällysluettelo: ... Knowledge Extraction -- A Flexible Intelligent Associative Knowledge Structure of Reticular Activating...
Hae kokoteksti
Elektroninen E-kirja