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

scis0000001 engineering [6 articles]

Recent papers added to scis0000001 library classified by the tag engineering. You can also see everyone's engineering.
  • Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
    Automated Software Engg., Vol. 8, No. 1. (January 2001), pp. 7-30.
    by Keith Williamson, Michael Healy, Richard Barker
    posted to category-theory dev engineering softwae-development synthesis by scis0000001 on 2007-04-12 11:17:17 as **
  • Applying Category Theory to Derive Engineering Software from Encoded Knowledge
    : Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000. Proceedings (2000), 484.
    by Michael Healy, Keith Williamson
    posted to category-theory dev engineering by scis0000001 on 2007-04-12 07:52:36 as **
  • The Role of Quantum Vacuum Forces in Microelectromechanical Systems
    (22 Aug 2006)
    by Jordan G Maclay
    posted to engineering quantum-vacuum by scis0000001 on 2007-03-19 14:04:57 as **
  • Engineering the Quantum Foam
    ArXiv Physics e-prints (June 2005)
    by RT Cahill
    posted to engineering quantum-vacuum by scis0000001 on 2007-03-15 14:35:28 as **
  • Engineering the Zero-Point Field and Polarizable Vacuum For Interstellar Flight
    (28 Nov 2001)
    by HE Puthoff, SR Little, M Ibison
    posted to engineering quantum-vacuum by scis0000001 on 2007-03-14 13:54:26 as **
  • Constraint-Based Retrieval of Engineering Design Cases: Context as Constraints
    (1996)
    by T Bilgic, M Fox
    posted to constraints context design engineering by scis0000001 on 2007-03-14 13:29:29 as **
  • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/scis0000001/tag/engineering

    RIS BibTeX