Showing 1,301 - 1,310 results of 1,422 for search '"Symbols."', query time: 0.02s Refine Results
  1. 1301

    A handbook of legendary and mythological art by Waters, Clara (Erskine) Clement

    Published 1871
    Book

    A handbook of legendary and mythological art
  2. 1302

    Eight annual IEEE symposium on logic in computer science proceedings, June 19-23, 1993, Montreal, Canada

    Book

    Eight annual IEEE symposium on logic in computer science proceedings, June 19-23, 1993, Montreal, Canada
  3. 1303

    Black-box polynomial resultants. by Encarnacion, Mark J.

    Article

    Black-box polynomial resultants.
  4. 1304

    Lower bounds on the bounded coefficient complexity of bilinear maps. by Bürgisser, Peter

    Published in Journal of the ACM
    Article

    Lower bounds on the bounded coefficient complexity of bilinear maps.
  5. 1305

    Symbolic path simulation in path-sensitive dataflow analysis. by Hampapuram, Hari

    Article

    Symbolic path simulation in path-sensitive dataflow analysis.
  6. 1306

    Parameterized unit tests with unit meister. by Tillman, Nikolai

    Article

    Parameterized unit tests with unit meister.
  7. 1307

    Parameterized unit tests with unit meister. by Tillmann, Nikolai

    Article

    Parameterized unit tests with unit meister.
  8. 1308

    Using symbolic execution for verifying safety-critical systems. by Coen-Porisini, Alberto

    Article

    Using symbolic execution for verifying safety-critical systems.
  9. 1309

    Pulse-width modulation pre-emphasis applied in a wireline transmitter, achieving 33 dB loss compensation at 5-Gb by Schrader, J.-R

    Article

    Pulse-width modulation pre-emphasis applied in a wireline transmitter, achieving 33 dB loss compensation at 5-Gb
  10. 1310

    Adaptive array processing MLSE receivers for TDMA digital cellular by Molnar, K.J

    Article

    Adaptive array processing MLSE receivers for TDMA digital cellular

Search Tools: