在您的搜尋 主題建議
Showing 81 - 100 results of 964 for search '"Lecture Notes in Computer Science"', 查詢時間: 0.05s Refine Results
  1. 81
    Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings /
    Conference Proceeding 圖書
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  2. 82
    Computer aided systems theory : CAST'94, 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers /
    Conference Proceeding 圖書
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  3. 83
    Ada in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  4. 84
    Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
    圖書
    由 Godefroid, Patrice
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  5. 85
    Computer aided systems theory--EUROCAST '93 : a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  6. 86
    Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings /
    Conference Proceeding 圖書
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  7. 87
    Advances in database technology--EDBT '96 : 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996 : proceedings /
    Conference Proceeding 圖書
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  8. 88
    FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings /
    Conference Proceeding 圖書
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  9. 89
    Petri nets: central models and their properties : advances in Petri nets 1986 part 1/
    Conference Proceeding 圖書
    出版 1987
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  10. 90
    Advanced database systems /
    圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  11. 91
    Advances in cryptology, ASIACRYPT '91 : International Conference on the Theory and Application of Cryptology, Fujiyoshida, Japan, November 11-14, 1991 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  12. 92
    Software configuration management : ICSE SCM-4 and SCM-5 workshops : selected papers /
    圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  13. 93
    Towards dynamic randomized algorithms in computational geometry /
    圖書
    由 Teillaud, Monique, 1961-
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  14. 94
    Active visual inference of surface shape /
    圖書
    由 Cipolla, Roberto
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  15. 95
    VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
    Conference Proceeding 圖書
    出版 1987
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  16. 96
    Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  17. 97
    A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /
    圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  18. 98
    Integrity primitives for secure information systems : final report of RACE Integrity Primitives Evaluation RIPE RACE (1040) /
    圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  19. 99
    Recent developments in computer vision : Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995 : invited session papers /
    Conference Proceeding 圖書
    出版 1996
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  20. 100
    Operating systems; proceedings of an international symposium held at Rocquencourt, April 23-25, 1974.
    Conference Proceeding 圖書
    出版 1974
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索 – 保存搜索