Mostra 18.011 - 18.020 risultati di 18.420 ricerca '"mathematics."', tempo di risposta: 0,06s Raffina i risultati
  1. 18011

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

    Pubblicato in ACM computing surveys.
    Articolo

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

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

    Tesi

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

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

    Articolo

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

    Remark on algorithm 723 Fresnel integrals. di Anderson, Stuart

    Articolo

    Remark on algorithm 723 Fresnel integrals.
  5. 18015

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

    Articolo

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

    The synchronization of periodic routing messages. di Floyd, Sally

    Articolo

    The synchronization of periodic routing messages.
  7. 18017

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

    Articolo

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

    Core based trees (CBT). di Ballardie, Tony

    Articolo

    Core based trees (CBT).
  9. 18019

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

    Articolo

    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. di Shaikh, Aman

    Articolo

    Routing stability in congested networks experimentation and analysis.

Strumenti per la ricerca: