1
Veröffentlicht 2010
Inhaltsangabe: ... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Volltext
Elektronisch E-Book