Dangos 18,011 - 18,020 canlyniadau o 18,422 ar gyfer chwilio '"Mathematics."', amser ymholiad: 0.06e Mireinio'r Canlyniadau
  1. 18011

    Formal methods state of the art and future directions. gan Clarke, Edmund M.

    Cyhoeddwyd yn ACM computing surveys.
    Erthygl

    Formal methods state of the art and future directions.
  2. 18012

    Dynamic modeling of biochemical networks using simulated annealing and S-system gan Echavez, Michael T.

    Traethawd Ymchwil

    Dynamic modeling of biochemical networks using simulated annealing and S-system
  3. 18013

    DESI methods for stiff initial-value problems. gan Butcher, J. C.

    Erthygl

    DESI methods for stiff initial-value problems.
  4. 18014

    Remark on algorithm 723 Fresnel integrals. gan Anderson, Stuart

    Erthygl

    Remark on algorithm 723 Fresnel integrals.
  5. 18015

    Distributed, scalable routing based on link-state vectors. gan Behrens, Jochen

    Erthygl

    Distributed, scalable routing based on link-state vectors.
  6. 18016

    The synchronization of periodic routing messages. gan Floyd, Sally

    Erthygl

    The synchronization of periodic routing messages.
  7. 18017

    Open shortest path first (OSPF) routing protocol simulation. gan Sidhu, Deepinder

    Erthygl

    Open shortest path first (OSPF) routing protocol simulation.
  8. 18018

    Core based trees (CBT). gan Ballardie, Tony

    Erthygl

    Core based trees (CBT).
  9. 18019

    Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED. gan Misra, Vishal

    Erthygl

    Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED.
  10. 18020

    Routing stability in congested networks experimentation and analysis. gan Shaikh, Aman

    Erthygl

    Routing stability in congested networks experimentation and analysis.

Offerynnau Chwilio: