Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scis0000001 modularity [7 articles]

Recent papers added to scis0000001 library classified by the tag modularity. You can also see everyone's modularity.
  • Categorical Term Rewriting: Monads and Modularity
    by Christoph Lüth
  • Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts --
    (1998)
    by Radu Grosu, Thomas Stauner
  • Automatic Generation of Assumptions for Modular Verification of Software Specifications
    by Claudio, Javier Tuya
    posted to modularity verification by scis0000001 on 2007-05-01 21:59:02 as **
  • Asset Trees and Asset Graphs in Financial Markets
    Physica Scripta Volume T, Vol. 106 (2003), 48.
  • An Application Framework For Compositional Modularity
    No. CSTD-95-011. (, 1995)
    by Guruduth S Banavar
    posted to composition formation modularity by scis0000001 on 2006-11-25 14:25:45 as ** along with 1 person ekoenig
  • Continued fractions, modular symbols, and noncommutative geometry
    Selecta Math. (N.S.), Vol. 8, No. 3. (2002), pp. 475-521.
    by Yuri I Manin, Matilde Marcolli
  • Using Dependent Types to Express Modular Structure
    (1986), pp. 277-286.
    by David Macqueen
    posted to cct ct modularity type-theory by scis0000001 on 2006-10-08 13:54:10 as ** along with 1 person gkuan
  • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/scis0000001/tag/modularity

    RIS BibTeX