45 results Refine Results
  1. 1
    出版 1980
    主題 “...System design Congresses....”
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Tutorial, computer system requirements : /
  2. 2
    出版 1997
    主題 “...System design Methodology Congresses....”
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings /
  3. 3
    出版 1989
    主題 “...System design....”
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /
  4. 4
    出版 1989
    主題 “...System design Congresses....”
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences.
  5. 5
    出版 2004
    主題 “...System design....”
    Connect to electronic version
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barselona, Spain, March 29-April 2, 2004 : proceedings /
  6. 6
    出版 1999
    主題
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Conceptual modeling : current issues and future directions /
  7. 7
    出版 2006
    主題 “...System design....”
    Connect to electronic resource
    電子 Conference Proceeding 電子書
    加到收藏夾
    Saved in:
    Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /
  8. 8
    出版 2006
    主題
    Connect to electronic resource
    電子 Conference Proceeding 電子書
    加到收藏夾
    Saved in:
    Architecting systems with trustworthy components international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers /
  9. 9
    出版 2009
    主題 “...System design Congresses....”
    Connect to electronic resource
    電子 Conference Proceeding 電子書
    加到收藏夾
    Saved in:
    Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /
  10. 10
    出版 1987
    主題
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Cognitive engineering in the design of human-computer interaction and expert systems : proceedings of the Second International Conference on Human-Computer Interaction, Honolulu, Hawaii, August 10-14, 1987, vol.II /
  11. 11
    出版 1997
    主題 “...System design Congresses....”
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /
  12. 12
    出版 2005
    主題 “...System design Congresses....”
    Connect to electronic resource
    電子 Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
  13. 13
    出版 1998
    主題 “...System design Congresses....”
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, proceedings /
  14. 14
    出版 2009
    主題
    Connect to electronic resource
    電子 Conference Proceeding 電子書
    加到收藏夾
    Saved in:
    Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings /
  15. 15
    出版 1989
    主題
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Systems prospects : the next ten years of systems research /
  16. 16
    出版 2008
    主題
    Connect to electronic resource
    電子 Conference Proceeding 電子書
    加到收藏夾
    Saved in:
    HCI and usability for education and work 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008 : proceedings /
  17. 17
    出版 1989
    主題
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Designing and using human-computer interfaces and knowledge based systems : proceedings of the Third International Conference on Human-Computer Interaction, Boston, Massachusetts, September 18-22, 1989, volume II /
  18. 18
    出版 2008
    主題 “...System design Congresses....”
    Connect to electronic resource
    電子 Conference Proceeding 電子書
    加到收藏夾
    Saved in:
    Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
  19. 19
    出版 2007
    主題 “...System design Congresses....”
    Connect to electronic resource
    電子 Conference Proceeding 電子書
    加到收藏夾
    Saved in:
    Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
  20. 20
    出版 1983
    主題
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /

檢索工具: